The following pages link to (Q3283891):
Displayed 8 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)
- The foundation of a generic theorem prover (Q1823013) (← links)
- Invariant fuzzy implications (Q2500760) (← links)
- Breadth-first search: some surprising results (Q2559927) (← links)
- Russell, presupposition, and the vicious-circle principle (Q5937845) (← links)