Hilbert-style presentations of two logics associated to tetravalent modal algebras
From MaRDI portal
Publication:456967
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
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