An intuitiomstic completeness theorem for intuitionistic predicate logic

Cited in

(30)

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