Finite Hilbert Systems for Weak Kleene Logics.

Sun, 01 Dec 2024 00:00:00 +0100

Vitor Greati , Sérgio Marcelino , Umberto Rivieccio :
Finite Hilbert Systems for Weak Kleene Logics. Stud Logica 112(6): 1215-1241 (2024)