Residuated Structures, Concentric Sums and Finiteness Conditions

DOI10.1080/00927870802157814zbMATH Open1298.03117OpenAlexW2024181412MaRDI QIDQ3543391FDOQ3543391

Authors: Jeffrey S. Olson, J. G. Raftery 

Publication date: 2 December 2008

Published in: Communications in Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00927870802157814

Recommendations

• Semiconic idempotent residuated structures
• Residuated lattices. An algebraic glimpse at substructural logics
• On the structure of hoops
• Residuated frames with applications to decidability
• Representable idempotent commutative residuated lattices

zbMATH Keywords

decidabilitynatural ordersubstructural logicshoopresiduationlocally finite varietyfinite embeddability property

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) Quasivarieties (08C15) Distributive lattices (06D99)

Cites Work

• \(TW_+\) and \(RW_+\) are decidable
• Metamathematics of fuzzy logic
• Title not available (Why is that?)
• A structurally complete fragment of relevant logic
• The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
• On the structure of varieties with equationally definable principal congruences. I
• On closed elements in closure algebras
• THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES
• Algebras Whose Congruence Lattices are Distributive.
• Positive Sugihara monoids
• Varieties of commutative residuated integral pomonoids and their residuation subreducts
• On the structure of hoops
• Algebraic completeness results for R-mingle and its extensions
• The decidability of certain intermediate propositional logics
• Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
• Some Connections between Residual Finiteness, Finite Embeddability and the Word Problem
• The Gentzenization and decidability of RW
• Minimal varieties of residuated lattices
• From semirings to residuated Kleene lattices
• Brouwerian Semilattices
• Rule separation and embedding theorems for logics without weakening
• On the structure of varieties with equationally definable principal congruences. II
• Conservative extension in relevant implication
• Modalities in Ackermann's “rigorous implication”
• Representable idempotent commutative residuated lattices
• Equationally complete classes of commutative monoids with monus
• Implicational subreducts of \(n\)-potent commutative residuated lattices
• Subdirectly irreducible residuated semilattices and positive universal classes

Cited In (8)

• Amalgamation through quantifier elimination for varieties of commutative residuated lattices
• Residuated lattices. An algebraic glimpse at substructural logics
• Representable idempotent commutative residuated lattices
• Local and relativized local finiteness in t-norm based structures
• Semiconic idempotent residuated structures
• The variety of residuated lattices is generated by its finite simple members
• The subvariety lattice for representable idempotent commutative residuated lattices
• On the structure of finite integral commutative residuated chains

This page was built for publication: Residuated Structures, Concentric Sums and Finiteness Conditions

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