Pages that link to "Item:Q4126319"
From MaRDI portal
The following pages link to An intuitiomstic completeness theorem for intuitionistic predicate logic (Q4126319):
Displayed 29 items.
- Intuitionistic completeness of first-order logic (Q392280) (← links)
- Truth-maker semantics for intuitionistic logic (Q484121) (← links)
- Kripke models for classical logic (Q636371) (← links)
- Cut-free Gentzen calculus for multimodal CK (Q764259) (← links)
- Validity and quantification in intuitionism (Q1153139) (← links)
- Negationless intuitionism (Q1267080) (← links)
- Representing scope in intuitionistic deductions (Q1274448) (← links)
- Second-order logic and the power set (Q1702982) (← links)
- A semantic hierarchy for intuitionistic logic (Q1740610) (← links)
- The creating subject, the Brouwer-Kripke schema, and infinite proofs (Q1788337) (← links)
- A reinterpretation of the semilattice semantics with applications (Q2045003) (← links)
- Observations on the trivial world (Q2051134) (← links)
- Classifying material implications over minimal logic (Q2204373) (← links)
- Semantical completeness of first-order predicate logic and the weak fan theorem (Q2350974) (← links)
- Variation on a trivialist argument of Paul Kabay (Q2429989) (← links)
- A Constructive Semantic Approach to Cut Elimination in Type Theories with Axioms (Q3540178) (← links)
- Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus (Q3638285) (← links)
- A theory of local negation: The model and some applications (Q3728898) (← links)
- Brouwer and Fraenkel on Intuitionism (Q4527934) (← links)
- An application of constructive completeness (Q4647571) (← links)
- Constants in Kripke Models for Intuitionistic Logic (Q4857856) (← links)
- Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations (Q4999459) (← links)
- Intuitive counterexamples for constructive fallacies (Q5096872) (← links)
- CONSTRUCTIVE REFLECTIVITY PRINCIPLES FOR REGULAR THEORIES (Q5207556) (← links)
- On the unification of classical, intuitionistic and affine logics (Q5236553) (← links)
- Gödel and Intuitionism (Q5250219) (← links)
- Constructivism and Metamathematics (Q5258986) (← links)
- Material dialogues for first-order logic in constructive type theory (Q6160754) (← links)
- Should pluralists be pluralists about pluralism? (Q6180134) (← links)