Proof theory for minimal quantum logic. II (Q1340318)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Proof theory for minimal quantum logic. II |
scientific article; zbMATH DE number 701340
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Proof theory for minimal quantum logic. II |
scientific article; zbMATH DE number 701340 |
Statements
Proof theory for minimal quantum logic. II (English)
0 references
11 December 1994
0 references
This paper provides lengthy proofs of the two duality theorems and the cut-elimination theorem of Part I [ibid. 33, No. 1, 103-113 (1994; Zbl 0798.03062], which were presented there without proofs due to limitation of space.
0 references
Gentzen method
0 references
duality theorems
0 references
cut-elimination theorem
0 references
0.8814852237701416
0 references
0.8444264531135559
0 references
0.7600696086883545
0 references
