A remark on a paper of van Alten

PASEKA, Jan. A remark on a paper of van Alten. In In Contributions to General Algebra 19 - Proceedings of the Olomouc Conference 2010 (AAA 79 + CYA 25). Klagenfurt: Verlag Johannes Heyn. s. 173-178. ISBN 978-3-7084-0407-3. 2010.

Základní údaje

• Originální název: A remark on a paper of van Alten
• Autoři: PASEKA, Jan (203 Česká republika, garant, domácí).
• Vydání: Klagenfurt, In Contributions to General Algebra 19 - Proceedings of the Olomouc Conference 2010 (AAA 79 + CYA 25), od s. 173-178, 6 s. 2010.
• Nakladatel: Verlag Johannes Heyn

Další údaje

• Originální jazyk: angličtina
• Typ výsledku: Stať ve sborníku
• Obor: 10101 Pure mathematics
• Stát vydavatele: Rakousko
• Utajení: není předmětem státního či obchodního tajemství
• Forma vydání: tištěná verze "print"
• Kód RIV: RIV/00216224:14310/10:00046579
• Organizační jednotka: Přírodovědecká fakulta
• ISBN: 978-3-7084-0407-3
• Klíčová slova anglicky: Linear Logic; finite embeddability property; finite model property; (quantized) classical linear algebra; (quantized) intuitionistic linear algebra

Anotace

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.

Návaznosti

• MSM0021622409, záměr: Název: Matematické struktury a jejich fyzikální aplikace

Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Matematické struktury a jejich fyzikální aplikace