An intuitiomstic completeness theorem for intuitionistic predicate logic

DOI10.2307/2272955MaRDI QIDQ4126319zbMATH OpenOpenAlexFDO

Authors Wim Veldman

Publication date 1976

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2272955

Mathematics Subject Classification ID

Intermediate logics (03B55) Categoricity and completeness of theories (03C35)

Cited in

(33)

• Validity and quantification in intuitionism
• Negationless intuitionism
• Representing scope in intuitionistic deductions
• Second-order logic and the power set
• A semantic hierarchy for intuitionistic logic
• The creating subject, the Brouwer-Kripke schema, and infinite proofs
• A reinterpretation of the semilattice semantics with applications
• Observations on the trivial world
• Classifying material implications over minimal logic
• Semantical completeness of first-order predicate logic and the weak fan theorem
• Variation on a trivialist argument of Paul Kabay
• A Constructive Semantic Approach to Cut Elimination in Type Theories with Axioms
• Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus
• A theory of local negation: The model and some applications
• Intuitionistic completeness of first-order logic
• Brouwer and Fraenkel on Intuitionism
• An application of constructive completeness
• Truth-maker semantics for intuitionistic logic
• Constants in Kripke Models for Intuitionistic Logic
• Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations
• Intuitive counterexamples for constructive fallacies
• Constructive reflectivity principles for regular theories
• On the unification of classical, intuitionistic and affine logics
• Gödel and intuitionism
• Constructivism and Metamathematics
• Material dialogues for first-order logic in constructive type theory
• Should pluralists be pluralists about pluralism?
• Kripke models for classical logic
• Material dialogues for first-order logic in constructive type theory: extended version
• Two-dimensional Kripke semantics. II: Stability and completeness
• Bi-connexive logic, bilateralism, and negation inconsistency
• Core Tarski and Core McGee
• Cut-free Gentzen calculus for multimodal CK

This page was built for publication: An intuitiomstic completeness theorem for intuitionistic predicate logic

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