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
ncontraction (n >= 2) are given. As an application, the cardinality problem
of some onevariable linear fragments with ncontraction is solved.