Semilinear substructural logics with the finite embeddability property
From MaRDI portal
Publication:1991589
DOI10.1007/s00012-018-0538-4zbMath1472.03021arXiv1608.04029OpenAlexW2962867016MaRDI QIDQ1991589
Publication date: 30 October 2018
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1608.04029
completenessfinite algebrasresiduated latticesfinite embeddability propertysemilinear substructural logics
Fuzzy logic; logic of vagueness (03B52) Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Ordered structures (06F99)
Related Items
Cites Work
- Unnamed Item
- The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
- Involutive uninorm logic with the \(n\)-potency axiom
- The finite embeddability property for residuated groupoids.
- Proof theory for fuzzy logics
- The finite model property for semilinear substructural logics
- THE STRUCTURE OF RESIDUATED LATTICES
- Substructural fuzzy logics
- On the finite embeddability property for residuated ordered groupoids