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

DOI10.1007/s11225-013-9489-0zbMath1301.03022OpenAlexW2141705425MaRDI QIDQ456967

Martín Figallo, Marcelo E. Coniglio

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) Other algebras related to logic (03G25) Paraconsistent logics (03B53)

Related Items (3)

Cut-free sequent calculus and natural deduction for the tetravalent modal logic ⋮ On monadic operators on modal pseudocomplemented De Morgan algebras and tetravalent modal algebras ⋮ Paraconsistent and paracomplete logics based on \(k\)-cyclic modal pseudocomplemented De Morgan algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Theory of logical calculi. Basic theory of consequence operations
• The value of the four values
• On Łukasiewicz's four-valued modal logic
• On the rules of intermediate logics
• Logics Preserving Degrees of Truth from Varieties of Residuated Lattices
• An abstract algebraic logic approach to tetravalent modal logics
• On Generalized I-Algebras and 4-valued Modal Algebras

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