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
fuzzy logicabstract algebraic logicsubstructural logicscategorical equivalenceodd Sugihara monoidsrelative Stone algebras
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)
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