The logics considered here are the propositional Linear Logic and
propositional Intuitionistic Linear Logic extended by a knotted
structural rule: γ, xn → y / γ, xm
→ y. 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.
Publié le : 2005-03-14
Classification:
Linear Logic,
finite embeddability property,
finite model property,
classical linear algebra,
intuitionistic linear algebra,
03B47,
06F05,
08A50
@article{1107298511,
author = {van Alten, C. J.},
title = {The finite model property for knotted extensions of propositional linear logic},
journal = {J. Symbolic Logic},
volume = {70},
number = {1},
year = {2005},
pages = { 84-98},
language = {en},
url = {http://dml.mathdoc.fr/item/1107298511}
}
van Alten, C. J. The finite model property for knotted extensions of propositional linear logic. J. Symbolic Logic, Tome 70 (2005) no. 1, pp. 84-98. http://gdmltest.u-ga.fr/item/1107298511/