Pages that link to "Item:Q4163532"
From MaRDI portal
The following pages link to An intuitionistically plausible interpretation of intuitionistic logic (Q4163532):
Displaying 6 items.
- Intuitionistic completeness of first-order logic (Q392280) (← links)
- Validity and quantification in intuitionism (Q1153139) (← links)
- Modal companions of intermediate propositional logics (Q1194106) (← links)
- The creating subject, the Brouwer-Kripke schema, and infinite proofs (Q1788337) (← links)
- An application of constructive completeness (Q4647571) (← links)
- Gödel and Intuitionism (Q5250219) (← links)