Pages that link to "Item:Q3259069"
From MaRDI portal
The following pages link to Elementary completeness properties of intuitionistic logic with a note on negations of prenex formulae (Q3259069):
Displaying 8 items.
- On theorems of Gödel and Kreisel: Completeness and Markov's principle (Q1333319) (← links)
- Jean van Heijenoort's contributions to proof theory and its history (Q1942094) (← links)
- Meaning-preserving translations of non-classical logics into classical logic: between pluralism and monism (Q2078975) (← links)
- Reflexive intermediate propositional logics (Q2505130) (← links)
- THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC (Q5274882) (← links)
- On the Mints Hierarchy in First-Order Intuitionistic Logic (Q5892381) (← links)
- Semantical analysis of the logic of bunched implications (Q6115849) (← links)
- Why classical logic is privileged: justification of logics based on translatability (Q6180141) (← links)
