scientific article; zbMATH DE number 4195940

MaRDI QIDQ5202656zbMATH OpenFDO

Authors A. S. Troelstra

Publication date 1988

zbMATH Keywords

intuitionistic completeness proofintuitive intuitionistic validityvalidity in Beth models

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50)

Recommendations

• An intuitionistic completeness theorem for classical predicate logic
• scientific article; zbMATH DE number 4035828
• scientific article; zbMATH DE number 1169382
• Publication:3481700
• ON THE THEORY OF MODELS FOR INTUITIONISTIC LOGIC

Cited in

(10)

• Completeness theorems for some intermediate predicate calculi
• The fibrational formulation of intuitionistic predicate logic. I: Completeness according to Gödel, Kripke, and Läuchli. Part 2
• Halldén-completeness in super-intuitionistic predicate logics
• Formal analysis of Peterson's rules for checking validity of syllogisms with intermediate quantifiers
• Semantic completeness of first-order theories in constructive reverse mathematics
• On the foundations of mathematical economics
• scientific article; zbMATH DE number 4035828 (Why is no real title available?)
• scientific article; zbMATH DE number 19690 (Why is no real title available?)
• scientific article; zbMATH DE number 781275 (Why is no real title available?)
• Intuitionistic validity in \(T\)-normal Kripke structures

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 Q5202656)