Completeness and cut-elimination theorems for high-order classical logic. Constructive method

zbMath0831.03031MaRDI QIDQ1901891

Albert G. Dragalin

Publication date: 3 January 1996

Published in: Russian Mathematics (Search for Journal in Brave)

zbMATH Keywords

completenesscut-eliminationdeducibilityaxiom of extensionalityBoolean-valued semanticsaxiom of convolutionHeyting-valued semantics

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Metamathematics of constructive systems (03F50) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Related Items

Explicit algebraic models for constructive and classical theories with non-standard elements