Hilbert-style presentations of two logics associated to tetravalent modal algebras

DOI10.1007/S11225-013-9489-0MaRDI QIDQ456967zbMATH OpenOpenAlexFDO

Authors Marcelo E. Coniglio, Martín Figallo

Publication date 26 September 2014

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-013-9489-0

zbMATH Keywords

contrapositive implicationHilbert calculiparaconsistent modal logicstetravalent modal algebras

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Paraconsistent logics (03B53) Other algebras related to logic (03G25)

Recommendations

• An abstract algebraic logic approach to tetravalent modal logics
• scientific article; zbMATH DE number 1236085
• Several characterizations of the 4-valued modal algebra
• scientific article; zbMATH DE number 6316274
• scientific article; zbMATH DE number 1054876

Cites work

• scientific article; zbMATH DE number 3603256 (Why is no real title available?)
• scientific article; zbMATH DE number 2019859 (Why is no real title available?)
• scientific article; zbMATH DE number 3895063 (Why is no real title available?)
• A new four-valued approach to modal logic
• An abstract algebraic logic approach to tetravalent modal logics
• Logics preserving degrees of truth from varieties of residuated lattices
• Modal logic
• On Generalized I-Algebras and 4-valued Modal Algebras
• On the rules of intermediate logics
• On Łukasiewicz's four-valued modal logic
• The value of the four values
• Theory of logical calculi. Basic theory of consequence operations

Cited in

(9)

• Non-deterministic logic of generalized classical truth values
• scientific article; zbMATH DE number 3895063 (Why is no real title available?)
• An abstract algebraic logic approach to tetravalent modal logics
• Classical modal De Morgan algebras
• Paraconsistent and paracomplete logics based on \(k\)-cyclic modal pseudocomplemented De Morgan algebras
• Cut-free sequent calculus and natural deduction for the tetravalent modal logic
• Monteiro's algebraic notion of maximal consistent theory for Tarskian logics
• On monadic operators on modal pseudocomplemented De Morgan algebras and tetravalent modal algebras
• A topological duality for tense modal pseudocomplemented De Morgan algebras

This page was built for publication: Hilbert-style presentations of two logics associated to tetravalent modal algebras

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