The following pages link to (Q3283891):
Displayed 11 items.
- Formalizing common sense: an operator-based approach to the Tibbles-Tib problem (Q948987) (← links)
- Schönfinkel-type operators for classical logic (Q993497) (← links)
- The logic of the ontological square (Q1005977) (← links)
- A logical model of genetic activities in Lukasiewicz algebras: The non- linear theory (Q1247272) (← links)
- Particle-free bodies and point-free spaces (Q1621830) (← links)
- The foundation of a generic theorem prover (Q1823013) (← links)
- Invariant fuzzy implications (Q2500760) (← links)
- Breadth-first search: some surprising results (Q2559927) (← links)
- Computerizing Mathematical Text with MathLang (Q2866734) (← links)
- THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC (Q5274882) (← links)
- Russell, presupposition, and the vicious-circle principle (Q5937845) (← links)