1 results
The finite model property for knotted extensions of propositional linear logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 1 / March 2005
- Published online by Cambridge University Press:
- 12 March 2014, pp. 84-98
- Print publication:
- March 2005
-
- Article
- Export citation
-
The logics considered here are the propositional Linear Logic and propositional Intuitionistic Linear Logic extended by a knotted structural rule:
. It is proved that the class of algebraic models for such a logic has the finite embeddability property, meaning that every finite partial subalgebra of an algebra in the class can be embedded into a finite full algebra in the class. It follows that each such logic has the finite model property with respect to its algebraic semantics and hence that the logic is decidable.
. It is proved that the class of algebraic models for such a logic has the 