The Journal of Symbolic Logic

Research Article

The finite model property for knotted extensions of propositional linear logic

C. J. van Alten

School of Mathematics, University of the Witwatersrand, Johannesburg, Wits 2050, South Africa, E-mail: cvalten@maths.wits.ac.za

Abstract

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.

(Received April 05 2004)

(Revised July 10 2004)

Key words and phrases

  • Linear Logic;
  • finite embeddability property;
  • finite model property;
  • classical linear algebra;
  • intuitionistic linear algebra