A remark on a paper of van Alten

Varování

Publikace nespadá pod Ekonomicko-správní fakultu, ale pod Přírodovědeckou fakultu. Oficiální stránka publikace je na webu muni.cz.
Autoři

PASEKA Jan

Rok publikování 2010
Druh Článek ve sborníku
Konference In Contributions to General Algebra 19 - Proceedings of the Olomouc Conference 2010 (AAA 79 + CYA 25)
Fakulta / Pracoviště MU

Přírodovědecká fakulta

Citace
Obor Obecná matematika
Klíčová slova Linear Logic; finite embeddability property; finite model property; (quantized) classical linear algebra; (quantized) intuitionistic linear algebra
Popis 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.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.