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 7 items.
- Kripke models for classical logic (Q636371) (← links)
- An intuitionistic completeness theorem for classical predicate logic (Q708927) (← links)
- Krivine's intuitionistic proof of classical completeness (for countable languages) (Q1887656) (← links)
- Maximal ideals in countable rings, constructively (Q2104249) (← links)
- Soundness and completeness proofs by coinductive methods (Q2362498) (← links)
- Completeness, minimal logic and programs extraction (Q5940922) (← links)
- Maximal elements with minimal logic (Q6161463) (← links)
