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

zbMATH Keywords

substructural logicsweak commutativityresiduated framesknotted axiomsfinite embeddability propertystrong finite model propertyvarieties of residuated lattices

Mathematics Subject Classification ID

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)

The FEP for some varieties of fully distributive knotted residuated lattices ⋮ Finite embeddability property for residuated lattices via regular languages

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