The following pages link to (Q4663946):
Displayed 5 items.
- Universal logic and Aristotelian logic: formality and essence of logic (Q2354882) (← links)
- An Institutional Theory for #-Components (Q2873612) (← links)
- Universal Logic or Logics in Resemblance Families (Q5258974) (← links)
- A logical framework combining model and proof theory (Q5400853) (← links)
- On Dichotomy and Analogy: A Question on the Next “Unbloody” Revolution in Logic (Q6075152) (← links)