An intuitiomstic completeness theorem for intuitionistic predicate logic
From MaRDI portal
Publication:4126319
DOI10.2307/2272955zbMath0355.02018OpenAlexW4238295494MaRDI QIDQ4126319
Publication date: 1976
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2272955
Related Items (29)
Brouwer and Fraenkel on Intuitionism ⋮ A theory of local negation: The model and some applications ⋮ Intuitionistic completeness of first-order logic ⋮ Intuitive counterexamples for constructive fallacies ⋮ Constants in Kripke Models for Intuitionistic Logic ⋮ Material dialogues for first-order logic in constructive type theory ⋮ Should pluralists be pluralists about pluralism? ⋮ Variation on a trivialist argument of Paul Kabay ⋮ Validity and quantification in intuitionism ⋮ Second-order logic and the power set ⋮ Kripke models for classical logic ⋮ Classifying material implications over minimal logic ⋮ A Constructive Semantic Approach to Cut Elimination in Type Theories with Axioms ⋮ Truth-maker semantics for intuitionistic logic ⋮ A semantic hierarchy for intuitionistic logic ⋮ An application of constructive completeness ⋮ The creating subject, the Brouwer-Kripke schema, and infinite proofs ⋮ CONSTRUCTIVE REFLECTIVITY PRINCIPLES FOR REGULAR THEORIES ⋮ A reinterpretation of the semilattice semantics with applications ⋮ Observations on the trivial world ⋮ Negationless intuitionism ⋮ Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus ⋮ Representing scope in intuitionistic deductions ⋮ Cut-free Gentzen calculus for multimodal CK ⋮ On the unification of classical, intuitionistic and affine logics ⋮ Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations ⋮ Gödel and Intuitionism ⋮ Constructivism and Metamathematics ⋮ Semantical completeness of first-order predicate logic and the weak fan theorem
This page was built for publication: An intuitiomstic completeness theorem for intuitionistic predicate logic
