scientific article; zbMATH DE number 6287635
From MaRDI portal
Publication:5411482
zbMath1286.03102MaRDI QIDQ5411482
Publication date: 23 April 2014
Full work available at URL: http://www.filozof.uni.lodz.pl/bulletin/pdf/39_34_10.pdf
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Notes on Craig interpolation for LJ with strong negation ⋮ Tableaux and restricted quantification for systems related to weak Kleene logic ⋮ Executability and connexivity in an interpretation of Griss ⋮ Falsification-aware calculi and semantics for normal modal logics including S4 and S5 ⋮ A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics ⋮ Proof theory of Nelson's paraconsistent logic: a uniform perspective