Representable idempotent commutative residuated lattices

DOI10.1090/S0002-9947-07-04235-3zbMATH Open1117.03070OpenAlexW1986245444MaRDI QIDQ3443137FDOQ3443137

Authors: J. G. Raftery 

Publication date: 31 May 2007

Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1090/s0002-9947-07-04235-3

Recommendations

• The subvariety lattice for representable idempotent commutative residuated lattices
• Minimal varieties of representable commutative residuated lattices
• Residuated Structures, Concentric Sums and Finiteness Conditions
• FREE REPRESENTABLE IDEMPOTENT COMMUTATIVE RESIDUATED LATTICES
• Local commutative residuated lattices

zbMATH Keywords

idempotentresiduated latticerelevance logicrepresentableresiduationlocally finite varietySugihara monoidminglerelative Stone algebra

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Other algebras related to logic (03G25) Ordered semigroups and monoids (06F05) Subdirect products and subdirect irreducibility (08B26) Varieties of lattices (06B20) Quasivarieties (08C15)

Cites Work

• The semantics and proof theory of linear logic
• Fragments of R-mingle
• Algebraic Analysis of Many Valued Logics
• A propositional calculus with denumerable matrix
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Adding involution to residuated structures
• The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
• On the structure of varieties with equationally definable principal congruences. I
• On conserving positive logics
• Algebraizable logics
• Title not available (Why is that?)
• THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES
• Algebras Whose Congruence Lattices are Distributive.
• Title not available (Why is that?)
• Positive Sugihara monoids
• Title not available (Why is that?)
• On the structure of hoops
• Equational bases for joins of residuated-lattice varieties
• Title not available (Why is that?)
• Algebraic completeness results for R-mingle and its extensions
• Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
• On the finite embeddability property for residuated ordered groupoids
• Minimal varieties of residuated lattices
• On formulas of one variable in intuitionistic propositional calculus
• On the lattice of quasivarieties of Sugihara algebras
• Rule separation and embedding theorems for logics without weakening
• Conservative extension in relevant implication
• The finite model property for knotted extensions of propositional linear logic
• Title not available (Why is that?)
• Subdirectly irreducible residuated semilattices and positive universal classes
• NONE OF THE VARIETY En, n>2, IS LOCALLY FINITE
• Independent Axioms for the Implicational Fragment of Sobociński's Three‐Valued Logic
• Constructing simple residuated lattices
• A remark on the s. c. free closure algebras

Cited In (32)

• The structure of finite commutative idempotent involutive residuated lattices
• Variety generated by conical residuated lattice-ordered idempotent monoids
• Cayley's and Holland's theorems for idempotent semirings and their applications to residuated lattices
• Semilinear De Morgan monoids and epimorphisms
• THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES
• Subdirectly irreducible residuated semilattices and positive universal classes
• Approximate positional analysis of fuzzy social networks
• Varieties of skew Boolean algebras with intersections
• Representable biresiduated lattices
• Implicational subreducts of \(n\)-potent commutative residuated lattices
• Idempotent residuated structures: Some category equivalences and their applications
• Characterization and computation of approximate bisimulations for fuzzy automata
• FREE REPRESENTABLE IDEMPOTENT COMMUTATIVE RESIDUATED LATTICES
• Conical residuated lattice-ordered idempotent monoids
• Residuated Structures, Concentric Sums and Finiteness Conditions
• Representable pseudo-BCK-algebras and integral residuated lattices
• Group representation for even and odd involutive commutative residuated chains
• Semilinear idempotent distributive \(\ell\)-monoids
• Minimal varieties of representable commutative residuated lattices
• Quasi-discriminator varieties
• On semiconic idempotent commutative residuated lattices
• Semiconic idempotent residuated structures
• Semiconic idempotent logic. II: Beth definability and deductive interpolation
• On the solvability of weakly linear systems of fuzzy relation equations
• Two maximality results for the lattice of extensions of \(\vdash_{\mathbf{RM}}\)
• Irreducible residuated semilattices and finitely based varieties
• Factor varieties
• Semiconic idempotent logic. I: Structure and local deduction theorems.
• Categories of models of \(\mathbf{R}\)-mingle
• The subvariety lattice for representable idempotent commutative residuated lattices
• Craig interpolation for semilinear substructural logics
• Structure theorems for idempotent residuated lattices

This page was built for publication: Representable idempotent commutative residuated lattices

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3443137)