scientific article

zbMath0464.03051MaRDI QIDQ3914981

Georg Kreisel

Publication date: 1981

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

zbMATH Keywords

functional incompleteness

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Metamathematics of constructive systems (03F50) Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)

Related Items

Propositional quantification in the topological semantics for \(\mathbf S4\), On a second order propositional operator in intuitionistic logic, Pitts' quantifiers are not topological quantification, The pleasures of anticipation: Enriching intuitionistic logic, Second order propositional operators over Cantor space