Finite Hilbert systems for Weak Kleene logics.

Mon, 01 Jan 2024 00:00:00 +0100

Vitor Greati, Sérgio Marcelino, Umberto Rivieccio:
Finite Hilbert systems for Weak Kleene logics. CoRR abs/2401.03265 (2024)