scientific article

zbMath0439.03041MaRDI QIDQ3880841

Albert G. Dragalin

Publication date: 1979

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

proof theoryfirst and higher order intuitionistic logic and arithmetic

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Cut-elimination and normal-form theorems (03F05) First-order arithmetic and fragments (03F30) Second- and higher-order arithmetic and fragments (03F35) Intuitionistic mathematics (03F55) Proof theory and constructive mathematics (03Fxx) Proof theory and constructive mathematics (03F99)

Related Items (20)

Semantic characterization of intuitionistic logical connectives ⋮ Theories of propositional logics and the converse of substitution ⋮ Correspondence theory for modal Fairtlough-Mendler semantics of intuitionistic modal logic ⋮ The final cut ⋮ Cardinality reduction theorem for logics QHC and QH4 ⋮ On analogues of Herbrand's and Harrop's theorems for the joint logic of problems and propositions QHC ⋮ The consistency of some intuitionistic and constructive principles with a set theory ⋮ Theorem prover for intuitionistic logic based on the inverse method ⋮ Restricting Initial Sequents: The Trade-Offs Between Identity, Contraction and Cut ⋮ A semantic hierarchy for intuitionistic logic ⋮ The Skolemization of prenex formulas in intermediate logics ⋮ On arithmetic complexity of certain constructive logics ⋮ Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics ⋮ TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC ⋮ Certain partial conservativeness properties of intuitionistic set theory with the principle of double complement of sets ⋮ A survey of predicate realizability logic ⋮ Varieties of logical matrices ⋮ QUANTIFIED INTUITIONISTIC LOGIC OVER METRIZABLE SPACES ⋮ Correspondences between classical, intuitionistic and uniform provability ⋮ Gödel and Intuitionism

This page was built for publication: