An intuitiomstic completeness theorem for intuitionistic predicate logic

DOI10.2307/2272955zbMATH Open0355.02018OpenAlexW4238295494MaRDI QIDQ4126319FDOQ4126319

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 (30)

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

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)