Pages that link to "Item:Q1102285"
From MaRDI portal
The following pages link to Computation of Aristotle's and Gergonne's syllogisms (Q1102285):
Displaying 8 items.
- Mechanizing logic. I: Map logic extended formally to relational arguments (Q759742) (← links)
- Three-membered domains for Aristotle's syllogistic (Q1181479) (← links)
- Equivalential structures for binary and ternary syllogistics (Q1711503) (← links)
- What problem did Ladd-Franklin (think she) solve(d)? (Q2075275) (← links)
- Granular reasoning using zooming in \& out. II. Aristotle's categorical syllogism (Q2843958) (← links)
- Aristotelian Syntax from a Computational–Combinatorial Point of View (Q3371150) (← links)
- Syllogistics of Some Theories (Q3784066) (← links)
- Aristotelian and Boolean properties of the Keynes-Johnson octagon of opposition (Q6623814) (← links)