A category equivalence for odd Sugihara monoids and its applications

DOI10.1016/j.jpaa.2012.02.006zbMath1279.03043OpenAlexW2053533462MaRDI QIDQ1934971

James G. Raftery, Nikolaos Galatos

Publication date: 30 January 2013

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jpaa.2012.02.006

zbMATH Keywords

fuzzy logicabstract algebraic logicsubstructural logicscategorical equivalenceodd Sugihara monoidsrelative Stone algebras

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Ordered semigroups and monoids (06F05) Quasivarieties (08C15) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Categories of algebras (08C05) Abstract algebraic logic (03G27) Distributive lattices (06D99)

Related Items (25)

Structural completeness in relevance logics ⋮ Group representation for even and odd involutive commutative residuated chains ⋮ Epimorphisms in varieties of residuated structures ⋮ Structure theorems for idempotent residuated lattices ⋮ VARIETIES OF DE MORGAN MONOIDS: COVERS OF ATOMS ⋮ Universal algebraic methods for non-classical logics ⋮ Abstract algebraic logic. An introductory chapter ⋮ The continuous weak order ⋮ A New Class of Uninorm Aggregation Operations for Fuzzy Theory ⋮ Complemented MacNeille completions and algebras of fractions ⋮ Skew metrics valued in Sugihara semigroups ⋮ Singly generated quasivarieties and residuated structures ⋮ Involutive uninorm logic with fixed point enjoys finite strong standard completeness ⋮ Involutive residuated lattices based on modular and distributive lattices. ⋮ Epimorphisms in varieties of subidempotent residuated structures ⋮ Varieties of De Morgan monoids: minimality and irreducible algebras ⋮ Sugihara algebras and Sugihara monoids: Multisorted dualities ⋮ Inconsistency lemmas in algebraic logic ⋮ The Hahn embedding theorem for a class of residuated semigroups ⋮ Sugihara algebras: admissibility algebras via the test spaces method ⋮ 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}}\) ⋮ Idempotent residuated structures: Some category equivalences and their applications ⋮ Craig interpolation for semilinear substructural logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Residuated lattices. An algebraic glimpse at substructural logics
• Positive Sugihara monoids
• On categories of algebras equivalent to a variety
• On categories of algebras equivalent to a quasivariety
• Cylindric algebras. Part II
• On an implication connective of RM
• Local deductions theorems
• The semantics and proof theory of linear logic
• A Kripke-style semantics for R-mingle using a binary accessibility relation
• Structural completeness of Gödel's and Dummett's propositional calculi
• Algebraic characterizations of various Beth definability properties
• Intuitionistic logic and implicit definability
• The Beth property in algebraic logic
• Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
• Minimal varieties of involutive residuated lattices
• Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
• The intersection property of amalgamations
• On the structural completeness of some pure implicational propositional calculi
• Minimal varieties of residuated lattices
• Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logics
• Residuated Lattices as an Algebraic Semantics for Paraconsistent Nelson's Logic
• Algebraizable logics
• THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES
• Idempotent residuated structures: Some category equivalences and their applications
• Substructural fuzzy logics
• Algebras Whose Congruence Lattices are Distributive.
• Epimorphisms and Dominions. IV
• Lattices With Involution
• Algebraic completeness results for R-mingle and its extensions
• Algebraic Completeness Results for Dummett's LC and Its Extensions
• Protoalgebraic logics

This page was built for publication: A category equivalence for odd Sugihara monoids and its applications