scientific article; zbMATH DE number 3950527

MaRDI QIDQ3720600zbMATH OpenFDO

Authors Michael Unterhalt

Publication date 1986

zbMATH Keywords

intuitionistic predicate logicKripkeKripke modelspartial existencepartial functionssemantics

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55)

Recommendations

• A functional partial semantics for intensional logic
• scientific article; zbMATH DE number 1163568
• A new semantics for intuitionistic predicate logic
• scientific article; zbMATH DE number 6287649
• scientific article; zbMATH DE number 2121570

Cited in

(3)

• The Skolemization of existential quantifiers in intuitionistic logic
• On the proof theory of the existence predicate
• Gentzen calculi for the existence predicate

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3720600)