ML-1994-08: Free Algebras Corresponding to Multiplicative Classical Linear Logic and some Extensions

ML-1994-08: Prijatelj, Andreja (1994) Free Algebras Corresponding to Multiplicative Classical Linear Logic and some Extensions. [Report]

[thumbnail of Full Text] Text (Full Text)
ML-1994-08.text.ps.gz

Download (109kB)
[thumbnail of Abstract] Text (Abstract)
ML-1994-08.abstract.txt

Download (408B)

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.

Item Type: Report
Report Nr: ML-1994-08
Series Name: Mathematical Logic and Foundations (ML)
Year: 1994
Date Deposited: 12 Oct 2016 14:40
Last Modified: 12 Oct 2016 14:40
URI: https://eprints.illc.uva.nl/id/eprint/1354

Actions (login required)

View Item View Item