The finite embeddability property for noncommutative knotted extensions of RL
DOI10.1142/S0218196715500010zbMath1343.06010OpenAlexW2123390209MaRDI QIDQ5252302
Nikolaos Galatos, Riquelmi Cardona
Publication date: 29 May 2015
Published in: International Journal of Algebra and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1142/s0218196715500010
substructural logicsweak commutativityresiduated framesknotted axiomsfinite embeddability propertystrong finite model propertyvarieties of residuated lattices
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 (2)
Cites Work
- Extending intuitionistic linear logic with knotted structural rules
- Untersuchungen über das logische Schliessen. I
- The finite model property for knotted extensions of propositional linear logic
- ALGORITHMIC PROBLEMS IN VARIETIES
- Residuated frames with applications to decidability
- Some Connections between Residual Finiteness, Finite Embeddability and the Word Problem
This page was built for publication: The finite embeddability property for noncommutative knotted extensions of RL