Pages that link to "Item:Q1301839"
From MaRDI portal
The following pages link to Implicational classes of De Morgan lattices (Q1301839):
Displayed 15 items.
- Reductio ad contradictionem: an algebraic perspective (Q295913) (← links)
- Endomorphisms of finite regular Kleene lattices (Q412011) (← links)
- On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions (Q1652877) (← links)
- An algebraic view of super-Belnap logics (Q1685564) (← links)
- The \(\mathbf{B}_4\)-valued propositional logic with unary logical connectives \(\sim_1/\sim_2/\neg\) (Q1712572) (← links)
- A non-finitely based quasi-variety of De Morgan algebras (Q1770609) (← links)
- Four-valued logics of truth, nonfalsity, exact truth, and material equivalence (Q1981990) (← links)
- Representation of De Morgan and (semi-)Kleene lattices (Q2153649) (← links)
- Compatibly involutive residuated lattices and the Nelson identity (Q2317520) (← links)
- Admissibility via natural dualities (Q2349950) (← links)
- Admissibility in De Morgan algebras (Q2391905) (← links)
- The B4-valued propositional Belnap-Dunn logic1 (Q2953495) (← links)
- Subquasivarieties of implicative locally-finite quasivarieties (Q3066295) (← links)
- An infinity of super-Belnap logics (Q4583174) (← links)
- THE LATTICE OF SUPER-BELNAP LOGICS (Q5880424) (← links)