The following pages link to Lewis Carroll's Formal Logic (Q4670615):
Displayed 9 items.
- In search of the ``birthday'' of elliptic functions (Q1038613) (← links)
- Guest editor's introduction: JvH100 (Q1942085) (← links)
- Toward a visual proof system: Lewis Carroll's method of trees (Q1942098) (← links)
- A new algorithmic decision for categorical syllogisms via Carroll's diagrams (Q2156461) (← links)
- Why make things simple when you can make them complicated? An appreciation of Lewis Carroll's symbolic logic (Q2239387) (← links)
- Beyond Syllogisms: Carroll’s (Marked) Quadriliteral Diagram (Q2948604) (← links)
- Lewis Carroll's visual logic (Q3429442) (← links)
- Lewis Carroll’s Diaries: The Private Journals of Charles Lutwidge Dodgson (Lewis Carroll)/The Logic Pamphlets of Charles Lutwidge Dodgson and Related Pieces (Q5207925) (← links)
- A novel algorithmic construction for deductions of categorical polysyllogisms by Carroll's diagrams (Q6089954) (← links)