scientific article
From MaRDI portal
Publication:3018991
zbMath1228.03003MaRDI QIDQ3018991
Publication date: 27 July 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (16)
EF4, EF4-M and EF4-Ł: A companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes ⋮ Is `no' a force-indicator? Yes, sooner or later! ⋮ Correspondence analysis and automated proof-searching for first degree entailment ⋮ A modal theorem-preserving translation of a class of three-valued logics of incomplete information ⋮ A 4-valued framework encompassing intuitionistic and classical logic ⋮ Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework ⋮ 40 years of FDE: an introductory overview ⋮ Paraconsistent double negations as classical and intuitionistic negations ⋮ Being Consistent About Inconsistency: Toward the Rational Fusing of Inconsistent Propositional Logic Bases ⋮ Four-Valued Logics BD and DM4: Expansions ⋮ The Lvov-Warsaw School: A True Mythology ⋮ Hilbert-style presentations of two logics associated to tetravalent modal algebras ⋮ Classical negation and expansions of Belnap-Dunn logic ⋮ Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation ⋮ Dugundji's theorem revisited ⋮ An extended paradefinite logic combining conflation, paraconsistent negation, classical negation, and classical implication: how to construct Nice Gentzen-type sequent calculi
This page was built for publication: