The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
From MaRDI portal
(Redirected from Publication:1771949)
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Decidability of theories and sets of sentences (03B25) Equational classes, universal algebra in model theory (03C05) Ordered semigroups and monoids (06F05) BCK-algebras, BCI-algebras (06F35) Partial algebras (08A55) Quasivarieties (08C15) Axiomatic model classes (08C10)
Recommendations
- On the finite embeddability property for residuated lattices, pocrims and BCK-algebras
- Completion and finite embeddability property for residuated ordered algebras.
- The finite embeddability property for residuated groupoids.
- scientific article; zbMATH DE number 2223007
- Representable pseudo-BCK-algebras and integral residuated lattices
- scientific article; zbMATH DE number 5289967
- On the finite embeddability property for residuated ordered groupoids
- scientific article; zbMATH DE number 3926917
- Closure operators and complete embeddings of residuated lattices
- Properties of LFI algebras and relations between LFI algebras and residuated lattices.
Cited in
(52)- Canonical formulas for \(k\)-potent commutative, integral, residuated lattices
- In memory of Willem Johannes Blok 1947-2003
- On the finite embeddability property for residuated ordered groupoids
- Modal MTL-algebras
- Semilinear substructural logics with the finite embeddability property
- Cayley's and Holland's theorems for idempotent semirings and their applications to residuated lattices
- Residuated frames with applications to decidability
- No non-trivial quasivariety of BCK-algebras has decidable first order theory
- The finite model property for semilinear substructural logics
- scientific article; zbMATH DE number 5289967 (Why is no real title available?)
- On the finite embeddability property for residuated lattices, pocrims and BCK-algebras
- Join-completions of partially ordered algebras
- Almost structural completeness; an algebraic approach
- Partial algebras and complexity of satisfiability and universal theory for distributive lattices, Boolean algebras and Heyting algebras
- On three implication-less fragments of t-norm based fuzzy logics
- On the finite embeddability property for quantum B-algebras
- On triangular norm based axiomatic extensions of the weak nilpotent minimum logic
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- Monoidal functional dependencies
- The finite model property for knotted extensions of propositional linear logic
- Characteristic inference rules
- On square-increasing ordered monoids and idempotent semirings
- Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
- Residuated Structures, Concentric Sums and Finiteness Conditions
- Archimedean classes in integral commutative residuated chains
- Alternative proof of standard completeness theorem for MTL
- Representable idempotent commutative residuated lattices
- Algebraic and categorical aspects of quantales
- Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids
- Extensions of Lambek calculi
- Fuzzy logics from substructural perspective
- Minimal varieties of representable commutative residuated lattices
- On categorical equivalence of weak monadic residuated distributive lattices and weak monadic c-differential residuated distributive lattices
- An algebraic glimpse at bunched implications and separation logic
- Finite embeddability property for residuated lattices via regular languages
- The finite embeddability property for residuated groupoids.
- Completion and finite embeddability property for residuated ordered algebras.
- Characteristic formulas of partial Heyting algebras
- Semiconic idempotent residuated structures
- The FEP for some varieties of fully distributive knotted residuated lattices
- Algebraic proof theory for LE-logics
- The finite embeddability property for noncommutative knotted extensions of \(\mathsf{RL}\).
- On some questions concerning the axiomatisation of WNM-algebras and their subvarieties
- Complexity of some language fragments of fuzzy logics
- On varieties of biresiduation algebras
- On two fragments with negation and without implication of the logic of residuated lattices
- Stable modal logics
- Word problem for knotted residuated lattices.
- Complexity of the universal theory of residuated ordered groupoids
- The subvariety lattice for representable idempotent commutative residuated lattices
- Cut elimination and strong separation for substructural logics: an algebraic approach
- Universal algebraic methods for non-classical logics
This page was built for publication: The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1771949)
