Pages that link to "Item:Q3128482"
From MaRDI portal
The following pages link to Une Preuve Formelle et Intuitionniste du Théorème de Complétude de la Logique Classique (Q3128482):
Displaying 20 items.
- Kripke models for classical logic (Q636371) (← links)
- An intuitionistic completeness theorem for classical predicate logic (Q708927) (← links)
- A simple proof of a completeness result for \(leads\)-\(to\) in the UNITY logic (Q1186571) (← links)
- Simple proof of the completeness theorem for second-order classical and intuitionistic logic by reduction to first-order mono-sorted logic (Q1884882) (← links)
- Krivine's intuitionistic proof of classical completeness (for countable languages) (Q1887656) (← links)
- Completeness of second-order intuitionistic propositional logic with respect to phase semantics for proof-terms (Q2000674) (← links)
- Maximal ideals in countable rings, constructively (Q2104249) (← links)
- Soundness and completeness proofs by coinductive methods (Q2362498) (← links)
- Unified Classical Logic Completeness (Q3192180) (← links)
- (Q3322096) (← links)
- Satisfaction and Friendliness Relations within Classical Logic: Proof-Theoretic Approach (Q3623837) (← links)
- (Q3762316) (← links)
- Intuitionistic completeness for first order classical logic (Q4254637) (← links)
- Classical logic as limit completion (Q4657754) (← links)
- (Q4806272) (← links)
- (Q4870286) (← links)
- (Q5119550) (← links)
- Almost all Classical Theorems are Intuitionistic (Q5871575) (← links)
- Completeness, minimal logic and programs extraction (Q5940922) (← links)
- Maximal elements with minimal logic (Q6161463) (← links)
