Pages that link to "Item:Q1882403"
From MaRDI portal
The following pages link to Intuitionistic completeness and classical logic (Q1882403):
Displaying 27 items.
- Semantic completeness of first-order theories in constructive reverse mathematics (Q286708) (← links)
- Intuitionistic completeness of first-order logic (Q392280) (← links)
- Kripke models for classical logic (Q636371) (← links)
- Kripke semantics and proof systems for combining intuitionistic logic and classical logic (Q690929) (← links)
- An intuitionistic completeness theorem for classical predicate logic (Q708927) (← links)
- Incompleteness in intuitionistic metamathematics (Q1182705) (← links)
- Negationless intuitionism (Q1267080) (← links)
- Reverse mathematics and completeness theorems for intuitionistic logic (Q1422103) (← links)
- Correspondences between classical, intuitionistic and uniform provability (Q1575924) (← links)
- Krivine's intuitionistic proof of classical completeness (for countable languages) (Q1887656) (← links)
- Satisfiability is false intuitionistically: a question from Dana Scott (Q2193975) (← links)
- Proofs and countermodels in non-classical logics (Q2254557) (← links)
- Reflexive intermediate propositional logics (Q2505130) (← links)
- Failure of completeness in proof-theoretic semantics (Q2516584) (← links)
- Unified Classical Logic Completeness (Q3192180) (← links)
- (Q3322096) (← links)
- Combining Classical and Intuitionistic Implications (Q3525005) (← links)
- ON THE THEORY OF MODELS FOR INTUITIONISTIC LOGIC (Q3684111) (← links)
- Intuitionistic completeness for first order classical logic (Q4254637) (← links)
- Classical logic as limit completion (Q4657754) (← links)
- (Q4789047) (← links)
- Intuitionistic Logic and Computability Theory (Q4931589) (← links)
- Classical and Intuitionistic Arithmetic with Higher Order Comprehension Coincide on Inductive Well-Foundedness (Q5351967) (← links)
- (Q5411496) (← links)
- Completeness and incompleteness for intuitionistic logic (Q5502819) (← links)
- Almost all Classical Theorems are Intuitionistic (Q5871575) (← links)
- Semantic Incompleteness of Hilbert system for a Combination of Classical and Intuitionistic Propositional Logic (Q6058202) (← links)