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, 2010, s. 173-178. ISBN 978-3-7084-0407-3.

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

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

V originále

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