The finite model property for knotted extensions of propositional linear logic

DOI10.2178/jsl/1107298511zbMath1089.03015OpenAlexW2129792675MaRDI QIDQ3370755

Clint J. van Alten

Publication date: 8 February 2006

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2178/jsl/1107298511

zbMATH Keywords

algebraic semanticsfinite model propertyalgebraic modelsfinite embeddability propertyextensions of linear logicknotted structural rule

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (13)

Representable idempotent commutative residuated lattices ⋮ Structure theorems for idempotent residuated lattices ⋮ MOST SIMPLE EXTENSIONS OF ARE UNDECIDABLE ⋮ The FEP for some varieties of fully distributive knotted residuated lattices ⋮ Universal algebraic methods for non-classical logics ⋮ Finite embeddability property for residuated lattices via regular languages ⋮ Contextual deduction theorems ⋮ Residuated frames with applications to decidability ⋮ Word problem for knotted residuated lattices. ⋮ Join-completions of partially ordered algebras ⋮ Unnamed Item ⋮ Completion and finite embeddability property for residuated ordered algebras. ⋮ The finite embeddability property for noncommutative knotted extensions of RL

Cites Work

• Unnamed Item
• Decision problems for propositional linear logic
• Extending intuitionistic linear logic with knotted structural rules
• The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
• Rule separation and embedding theorems for logics without weakening
• The finite model property for various fragments of linear logic

This page was built for publication: The finite model property for knotted extensions of propositional linear logic