A remark on a paper of van Alten

Warning

This publication doesn't include Faculty of Economics and Administration. It includes Faculty of Science. Official publication website can be found on muni.cz.
Authors

PASEKA Jan

Year of publication 2010
Type Article in Proceedings
Conference In Contributions to General Algebra 19 - Proceedings of the Olomouc Conference 2010 (AAA 79 + CYA 25)
MU Faculty or unit

Faculty of Science

Citation
Field General mathematics
Keywords Linear Logic; finite embeddability property; finite model property; (quantized) classical linear algebra; (quantized) intuitionistic linear algebra
Description In his paper The finite model property for knotted extensions of propositional linear logic van Alten shows that both the classical and intuitionistic propositional versions of Girards Linear Logic, when extended by a knotted structural rule, have the finite model property. The purpose of this remark is to show that quantized versions of these logics extended by a knotted structural rule have also the finite model property.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.