A remark on a paper of van Alten
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14310%2F10%3A00046579" target="_blank" >RIV/00216224:14310/10:00046579 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
A remark on a paper of van Alten
Original language 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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
BA - General mathematics
OECD FORD branch
—
Result continuities
Project
—
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2010
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
In Contributions to General Algebra 19 - Proceedings of the Olomouc Conference 2010 (AAA 79 + CYA 25)
ISBN
978-3-7084-0407-3
ISSN
—
e-ISSN
—
Number of pages
6
Pages from-to
—
Publisher name
Verlag Johannes Heyn
Place of publication
Klagenfurt
Event location
Olomouc
Event date
Jan 1, 2010
Type of event by nationality
CST - Celostátní akce
UT code for WoS article
—