The FEP for some varieties of fully distributive knotted residuated lattices
DOI10.1007/s00012-017-0466-8zbMath1420.06023OpenAlexW2765188020MaRDI QIDQ1686329
Riquelmi Cardona, Nikolaos Galatos
Publication date: 21 December 2017
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00012-017-0466-8
decidabilitysubstructural logicwell quasi orderfinite embeddability propertybetter quasi orderfully distributive knotted residuated lattice
Logical aspects of lattices and related structures (03G10) Ordered semigroups and monoids (06F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Varieties of lattices (06B20)
Related Items (4)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Residuated lattices. An algebraic glimpse at substructural logics
- A note on well quasi-orderings for powersets
- Distributive residuated frames and generalized bunched implication algebras
- The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
- Word problem for knotted residuated lattices.
- Cayley's and Holland's theorems for idempotent semirings and their applications to residuated lattices
- The finite model property for knotted extensions of propositional linear logic
- Residuated frames with applications to decidability
- The finite embeddability property for noncommutative knotted extensions of RL
- On the finite embeddability property for residuated ordered groupoids
- Ordering by Divisibility in Abstract Algebras
- Partial well‐ordering of sets of vectors
- Fine analysis of the quasi-orderings on the power set
This page was built for publication: The FEP for some varieties of fully distributive knotted residuated lattices
