The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
From MaRDI portal
Publication:1771949
DOI10.1007/s000120200000zbMath1058.06016OpenAlexW2003364215MaRDI QIDQ1771949
Willem J. Blok, Clint J. van Alten
Publication date: 19 April 2005
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s000120200000
BCK-algebras, BCI-algebras (06F35) Decidability of theories and sets of sentences (03B25) Ordered semigroups and monoids (06F05) Quasivarieties (08C15) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Equational classes, universal algebra in model theory (03C05) Partial algebras (08A55) Axiomatic model classes (08C10)
Related Items
Canonical formulas for \(k\)-potent commutative, integral, residuated lattices ⋮ On square-increasing ordered monoids and idempotent semirings ⋮ Almost structural completeness; an algebraic approach ⋮ Representable idempotent commutative residuated lattices ⋮ Alternative proof of standard completeness theorem for MTL ⋮ Characteristic formulas of partial Heyting algebras ⋮ Partial algebras and complexity of satisfiability and universal theory for distributive lattices, Boolean algebras and Heyting algebras ⋮ The FEP for some varieties of fully distributive knotted residuated lattices ⋮ Minimal varieties of representable commutative residuated lattices ⋮ Universal algebraic methods for non-classical logics ⋮ On categorical equivalence of weak monadic residuated distributive lattices and weak monadic c-differential residuated distributive lattices ⋮ On some questions concerning the axiomatisation of WNM-algebras and their subvarieties ⋮ Complexity of the universal theory of residuated ordered groupoids ⋮ Complexity of some language fragments of fuzzy logics ⋮ An algebraic glimpse at bunched implications and separation logic ⋮ Finite embeddability property for residuated lattices via regular languages ⋮ In memory of Willem Johannes Blok 1947-2003 ⋮ Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL ⋮ On varieties of biresiduation algebras ⋮ Cut elimination and strong separation for substructural logics: an algebraic approach ⋮ On triangular norm based axiomatic extensions of the weak nilpotent minimum logic ⋮ Modal MTL-algebras ⋮ Cayley's and Holland's theorems for idempotent semirings and their applications to residuated lattices ⋮ Residuated Structures, Concentric Sums and Finiteness Conditions ⋮ On three implication-less fragments of t-norm based fuzzy logics ⋮ The subvariety lattice for representable idempotent commutative residuated lattices ⋮ Semilinear substructural logics with the finite embeddability property ⋮ Residuated frames with applications to decidability ⋮ Word problem for knotted residuated lattices. ⋮ Join-completions of partially ordered algebras ⋮ Fuzzy logics from substructural perspective ⋮ Algebraic and Categorical Aspects of Quantales ⋮ On two fragments with negation and without implication of the logic of residuated lattices ⋮ Completion and finite embeddability property for residuated ordered algebras. ⋮ The finite embeddability property for residuated groupoids. ⋮ The finite model property for knotted extensions of propositional linear logic ⋮ STABLE MODAL LOGICS ⋮ On the finite embeddability property for residuated ordered groupoids ⋮ Archimedean classes in integral commutative residuated chains ⋮ Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies ⋮ Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids ⋮ Semiconic idempotent residuated structures ⋮ The finite model property for semilinear substructural logics ⋮ Characteristic inference rules ⋮ Extensions of Lambek Calculi ⋮ Monoidal functional dependencies
