scientific article
From MaRDI portal
Publication:3481700
zbMath0703.03039MaRDI QIDQ3481700
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
completeness theoremhigher-order intuitionistic logicsecond-order intuitionistic logiccut- elimination theorem for intuitionistic second-order sequent calculusmodified Beth modelstrange worlds
Cut-elimination and normal-form theorems (03F05) Metamathematics of constructive systems (03F50) Subsystems of classical logic (including intuitionistic logic) (03B20) Intuitionistic mathematics (03F55)
Related Items (4)
Explicit algebraic models for constructive and classical theories with non-standard elements ⋮ Inductively generated formal topologies. ⋮ Lindenbaum’s Lemma via Open Induction ⋮ A uniform semantic proof for cut-elimination and completeness of various first and higher order logics.
This page was built for publication:
