Pages that link to "Item:Q3499752"
From MaRDI portal
The following pages link to Intuitionistic vs. Classical Tautologies, Quantitative Comparison (Q3499752):
Displaying 8 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)
- On the number of unary-binary tree-like structures with restrictions on the unary height (Q1745901) (← links)
- Tautologies over implication with negative literals (Q3583801) (← links)
- Quantitative Comparison of Intuitionistic and Classical Logics - Full Propositional System (Q3605535) (← links)
- (Q5020970) (← links)
- Almost all Classical Theorems are Intuitionistic (Q5871575) (← links)
