Implicative twist-structures
From MaRDI portal
Publication:2449455
DOI10.1007/s00012-014-0272-5zbMath1386.06011OpenAlexW2144447804MaRDI QIDQ2449455
Publication date: 8 May 2014
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00012-014-0272-5
Heyting algebras (lattice-theoretic aspects) (06D20) Structure and representation theory of distributive lattices (06D05) Other algebras related to logic (03G25) Abstract algebraic logic (03G27) Foundations, relations to logic and deductive systems (18A15)
Related Items
Representation of De Morgan and (semi-)Kleene lattices ⋮ Hoop twist-structures ⋮ A duality for two-sorted lattices ⋮ Twist structures and Nelson conuclei ⋮ An unexpected Boolean connective ⋮ Bilattices with implications ⋮ Semi-Nelson algebras ⋮ Fragments of quasi-Nelson: residuation ⋮ A Category of Ordered Algebras Equivalent to the Category of Multialgebras ⋮ Logic for abstract hoop twist-structures ⋮ Inference rules in Nelson's logics, admissibility and weak admissibility ⋮ Quasi-Nelson algebras and fragments
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Bilattices with implications
- \(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics
- Varieties of interlaced bilattices
- Nelson algebras through Heyting ones. I
- Residuated lattices. An algebraic glimpse at substructural logics
- Representation and duality for Hilbert algebras
- Theory of logical calculi. Basic theory of consequence operations
- Notes on \(\eta\)-lattices and constructive logic with strong negation
- On the structure of varieties with equationally definable principal congruences. III
- On the representation of \(\mathbf{N4}\)-lattices
- On the structure of varieties with equationally definable principal congruences. I
- A duality theory for bilattices
- Reasoning with logical bilattices
- Residuated bilattices
- Minimal varieties of involutive residuated lattices
- Topological duality for Tarski algebras
- Decomposability of free Tarski algebras
- Topological representation for implication algebras
- Paraconsistent Modal Logics
- The logic of distributive bilattices
- Constructive Logic with Strong Negation as a Substructural Logic
- Residuated Lattices as an Algebraic Semantics for Paraconsistent Nelson's Logic
- Constructible falsity and inexact predicates
- Algebraizable logics
- Modal twist-structures over residuated lattices
- Kripke Semantics for Modal Bilattice Logic
- On Generalized I-Algebras and 4-valued Modal Algebras
- Constructible falsity
