The following pages link to Positive Sugihara monoids (Q995381):
Displaying 29 items.
- Almost structural completeness; an algebraic approach (Q278762) (← links)
- Structural completeness in relevance logics (Q295911) (← links)
- On positive affine monoids. (Q412561) (← links)
- The subvariety lattice for representable idempotent commutative residuated lattices (Q664314) (← links)
- On semiconic idempotent commutative residuated lattices (Q776990) (← links)
- Implicational (semilinear) logics. I: A new hierarchy (Q971883) (← links)
- Semiconic idempotent residuated structures (Q1047102) (← links)
- Positive theories of free monoids (Q1320694) (← links)
- Varieties of De Morgan monoids: minimality and irreducible algebras (Q1730847) (← links)
- A note on Sugihara algebras (Q1802378) (← links)
- On the lattice of quasivarieties of Sugihara algebras (Q1821123) (← links)
- A category equivalence for odd Sugihara monoids and its applications (Q1934971) (← links)
- Two maximality results for the lattice of extensions of \(\vdash_{\mathbf{RM}}\) (Q2082256) (← links)
- Epimorphisms in varieties of subidempotent residuated structures (Q2226977) (← links)
- Categories of models of \(\mathbf{R}\)-mingle (Q2311212) (← links)
- Admissibility in De Morgan algebras (Q2391905) (← links)
- Epimorphisms in varieties of residuated structures (Q2411405) (← links)
- Algebraic semantics for the (↔, ¬¬)-fragment of IPC (Q3117777) (← links)
- Craig interpolation for semilinear substructural logics (Q3144874) (← links)
- Representable idempotent commutative residuated lattices (Q3443137) (← links)
- Residuated Structures, Concentric Sums and Finiteness Conditions (Q3543391) (← links)
- FREE REPRESENTABLE IDEMPOTENT COMMUTATIVE RESIDUATED LATTICES (Q3601329) (← links)
- VARIETIES OF DE MORGAN MONOIDS: COVERS OF ATOMS (Q5107537) (← links)
- Singly generated quasivarieties and residuated structures (Q5119904) (← links)
- Sugihara algebras and Sugihara monoids: Multisorted dualities (Q5142337) (← links)
- Idempotent residuated structures: Some category equivalences and their applications (Q5246960) (← links)
- The algebraic significance of weak excluded middle laws (Q6094135) (← links)
- Semilinear De Morgan monoids and epimorphisms (Q6142014) (← links)
- Semiconic idempotent logic. I: Structure and local deduction theorems. (Q6539430) (← links)
