Proof theory of paraconsistent weak Kleene logic
From MaRDI portal
Publication:2193974
DOI10.1007/s11225-019-09876-zzbMath1476.03031MaRDI QIDQ2193974
Francesco Paoli, Michele Pra Baldi
Publication date: 25 August 2020
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-019-09876-z
sequent calculi; paraconsistent weak Kleene logic; 3-valued logics; logics of variable inclusion; tableaux calculi
03F05: Cut-elimination and normal-form theorems
03B50: Many-valued logic
03B53: Paraconsistent logics