Pages that link to "Item:Q3499752"
From MaRDI portal
The following pages link to Intuitionistic vs. Classical Tautologies, Quantitative Comparison (Q3499752):
Displayed 3 items.
- In the full propositional logic, 5/8 of classical tautologies are intuitionistically valid (Q408542) (← links)
- Tautologies over implication with negative literals (Q3583801) (← links)
- Quantitative Comparison of Intuitionistic and Classical Logics - Full Propositional System (Q3605535) (← links)