Positive Sugihara monoids

DOI10.1007/s00012-007-2022-4zbMath1128.03054OpenAlexW1984616877MaRDI 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

zbMATH Keywords

retractrelevance logicprojectivestructural completenessresiduationSugihara monoiddeductive varietymingleprimitive variety

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Ordered semigroups and monoids (06F05) Quasivarieties (08C15) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items

Almost structural completeness; an algebraic approach, Representable idempotent commutative residuated lattices, Structural completeness in relevance logics, Admissibility in De Morgan algebras, Epimorphisms in varieties of residuated structures, A category equivalence for odd Sugihara monoids and its applications, The algebraic significance of weak excluded middle laws, VARIETIES OF DE MORGAN MONOIDS: COVERS OF ATOMS, Semilinear De Morgan monoids and epimorphisms, Singly generated quasivarieties and residuated structures, Residuated Structures, Concentric Sums and Finiteness Conditions, Epimorphisms in varieties of subidempotent residuated structures, Varieties of De Morgan monoids: minimality and irreducible algebras, Sugihara algebras and Sugihara monoids: Multisorted dualities, The subvariety lattice for representable idempotent commutative residuated lattices, Implicational (semilinear) logics. I: A new hierarchy, FREE REPRESENTABLE IDEMPOTENT COMMUTATIVE RESIDUATED LATTICES, Categories of models of \(\mathbf{R}\)-mingle, On semiconic idempotent commutative residuated lattices, Two maximality results for the lattice of extensions of \(\vdash_{\mathbf{RM}}\), Algebraic semantics for the (↔, ¬¬)-fragment of IPC, Idempotent residuated structures: Some category equivalences and their applications, Semiconic idempotent residuated structures, Craig interpolation for semilinear substructural logics