The following pages link to (Q2959882):
Displayed 6 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)
- Associative and commutative tree representations for Boolean functions (Q2514128) (← links)
- Asymptotic Properties of Combinatory Logic (Q2948454) (← links)
- Tautologies over implication with negative literals (Q3583801) (← links)