A remark on a paper of van Alten
| Authors | |
|---|---|
| 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 | |
| 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: |