Pages that link to "Item:Q708927"

The following pages link to An intuitionistic completeness theorem for classical predicate logic (Q708927):

Displaying 22 items.

• Läuchli's completeness theorem from a topos-theoretic perspective (Q969688) (← links)
• Completeness theorems for some intermediate predicate calculi (Q1061734) (← links)
• Completeness of intuitionistic predicate calculus with the concept of ''bar'' (Q1062671) (← links)
• A logic characterized by the class of connected models with nested domains (Q1264135) (← links)
• The fibrational formulation of intuitionistic predicate logic. I: Completeness according to Gödel, Kripke, and Läuchli. Part 2 (Q1317969) (← links)
• On theorems of Gödel and Kreisel: Completeness and Markov's principle (Q1333319) (← links)
• Reverse mathematics and completeness theorems for intuitionistic logic (Q1422103) (← links)
• A new semantics for intuitionistic predicate logic (Q1820768) (← links)
• A strong completeness theorem in intuitionistic quantified modal logic (Q1841473) (← links)
• Intuitionistic completeness and classical logic (Q1882403) (← 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)
• Semantical completeness of first-order predicate logic and the weak fan theorem (Q2350974) (← links)
• Unified Classical Logic Completeness (Q3192180) (← links)
• Intuitionistic completeness for first order classical logic (Q4254637) (← links)
• (Q4353623) (← links)
• The Semantic Completeness of a Global Intuitionistic Logic (Q4393167) (← links)
• Classical logic as limit completion (Q4657754) (← links)
• Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations (Q4999459) (← 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)
• A completeness proof for a regular predicate logic with undefined truth value (Q6100982) (← links)