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