Residuated Structures, Concentric Sums and Finiteness Conditions

DOI10.1080/00927870802157814MaRDI QIDQ3543391zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

decidabilityfinite embeddability propertyhooplocally finite varietynatural orderresiduationsubstructural logics

Mathematics Subject Classification ID

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

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

Cites work

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

Cited in

(8)

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

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)