Hilbert-style presentations of two logics associated to tetravalent modal algebras
From MaRDI portal
Publication:456967
DOI10.1007/S11225-013-9489-0zbMATH Open1301.03022OpenAlexW2141705425MaRDI QIDQ456967FDOQ456967
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
Recommendations
Modal logic (including the logic of norms) (03B45) Paraconsistent logics (03B53) Other algebras related to logic (03G25)
Cites Work
- Modal logic
- Theory of logical calculi. Basic theory of consequence operations
- On Łukasiewicz's four-valued modal logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- The value of the four values
- Logics preserving degrees of truth from varieties of residuated lattices
- On the rules of intermediate logics
- Title not available (Why is that?)
- An abstract algebraic logic approach to tetravalent modal logics
- Title not available (Why is that?)
- On Generalized I-Algebras and 4-valued Modal Algebras
Cited In (9)
- A topological duality for tense modal pseudocomplemented De Morgan algebras
- An abstract algebraic logic approach to tetravalent modal logics
- Cut-free sequent calculus and natural deduction for the tetravalent modal logic
- Title not available (Why is that?)
- Non-deterministic logic of generalized classical truth values
- Monteiro's algebraic notion of maximal consistent theory for Tarskian logics
- Classical modal De Morgan algebras
- Paraconsistent and paracomplete logics based on \(k\)-cyclic modal pseudocomplemented De Morgan algebras
- On monadic operators on modal pseudocomplemented De Morgan algebras and tetravalent modal 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)
