Free Algebras Corresponding to Multiplicative Classical Linear Logic and some Extensions
Andreja Prijatelj

Abstract:
Free Algebras Corresponding to Multiplicative Classical Linear Logic and
 some Extensions.
Andreja Prijatelj

In this paper, constructions of free algebras corresponding to multiplicative 
classical linear logic, its affine variant and their extensions with 
n­contraction (n >= 2) are given. As an application, the cardinality problem 
of some one­variable linear fragments with n­contraction is solved.