scientific article; zbMATH DE number 6316274

MaRDI QIDQ5169613zbMATH OpenFDO

Authors Marcelo E. Coniglio, Martín Figallo

Publication date 11 July 2014

Full work available at URL http://www.filozof.uni.lodz.pl/bulletin/pdf/43_12_1.pdf

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50) Logical aspects of lattices and related structures (03G10) Other algebras related to logic (03G25)

Recommendations

• A new four-valued approach to modal logic
• Four-valued modal logic: Kripke semantics and duality
• On axiomatization of Łukasiewicz's four-valued modal logic
• On Łukasiewicz's four-valued modal logic
• Lattices of four-valued modal logics
• An interpretation of Łukasiewicz's 4-valued modal logic
• On four-valued regular logics
• A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes
• A four-valued hybrid logic with non-dual modal operators
• Modal extension of ideal paraconsistent four-valued logic and its subsystem

Cited in

(11)

• Cut-free sequent calculus and natural deduction for the tetravalent modal logic
• On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic
• scientific article; zbMATH DE number 4135915 (Why is no real title available?)
• An abstract algebraic logic approach to tetravalent modal logics
• Localization of tetravalent modal algebras
• Hilbert-style presentations of two logics associated to tetravalent modal algebras
• A 4-valued framework encompassing intuitionistic and classical logic
• Natural Deduction for Four-Valued both Regular and Monotonic Logics
• scientific article; zbMATH DE number 7503168 (Why is no real title available?)
• Classical modal De Morgan algebras
• Motivation and demotivation of a four-valued logic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5169613)