Pages that link to "Item:Q3499752"
From MaRDI portal
The following pages link to Intuitionistic vs. Classical Tautologies, Quantitative Comparison (Q3499752):
Displayed 5 items.
- In the full propositional logic, 5/8 of classical tautologies are intuitionistically valid (Q408542) (← links)
- 2-Xor revisited: satisfiability and probabilities of functions (Q727973) (← links)
- Generalised and quotient models for random and/or~trees and application to satisfiability (Q727977) (← links)
- Tautologies over implication with negative literals (Q3583801) (← links)
- Quantitative Comparison of Intuitionistic and Classical Logics - Full Propositional System (Q3605535) (← links)