An intuitiomstic completeness theorem for intuitionistic predicate logic

Cited in

(30)

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

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)