Positive Sugihara monoids
From MaRDI portal
Publication:995381
DOI10.1007/s00012-007-2022-4zbMath1128.03054MaRDI QIDQ995381
James G. Raftery, Jeffrey S. Olson
Publication date: 3 September 2007
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00012-007-2022-4
retract; relevance logic; projective; structural completeness; residuation; Sugihara monoid; deductive variety; mingle; primitive variety
03G25: Other algebras related to logic
06F05: Ordered semigroups and monoids
08C15: Quasivarieties
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
Related Items
VARIETIES OF DE MORGAN MONOIDS: COVERS OF ATOMS, Singly generated quasivarieties and residuated structures, Sugihara algebras and Sugihara monoids: Multisorted dualities, Idempotent residuated structures: Some category equivalences and their applications, The algebraic significance of weak excluded middle laws, Semilinear De Morgan monoids and epimorphisms, Almost structural completeness; an algebraic approach, Structural completeness in relevance logics, The subvariety lattice for representable idempotent commutative residuated lattices, On semiconic idempotent commutative residuated lattices, Implicational (semilinear) logics. I: A new hierarchy, Semiconic idempotent residuated structures, Varieties of De Morgan monoids: minimality and irreducible algebras, A category equivalence for odd Sugihara monoids and its applications, Two maximality results for the lattice of extensions of \(\vdash_{\mathbf{RM}}\), Epimorphisms in varieties of subidempotent residuated structures, Categories of models of \(\mathbf{R}\)-mingle, Admissibility in De Morgan algebras, Epimorphisms in varieties of residuated structures, Algebraic semantics for the (↔, ¬¬)-fragment of IPC, Craig interpolation for semilinear substructural logics, Representable idempotent commutative residuated lattices, Residuated Structures, Concentric Sums and Finiteness Conditions, FREE REPRESENTABLE IDEMPOTENT COMMUTATIVE RESIDUATED LATTICES