Proof theory for minimal quantum logic. II (Q1340318)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Proof theory for minimal quantum logic. II |
scientific article |
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
