Cut‐Elimination Theorem for the Logic of Constant Domains (Q4304102)
From MaRDI portal
scientific article; zbMATH DE number 635964
Language | Label | Description | Also known as |
---|---|---|---|
English | Cut‐Elimination Theorem for the Logic of Constant Domains |
scientific article; zbMATH DE number 635964 |
Statements
Cut‐Elimination Theorem for the Logic of Constant Domains (English)
0 references
28 September 1995
0 references
cut-elimination
0 references
Gentzen-type system
0 references
logic of constant domains
0 references
intuitionistic Kripke models
0 references