- Aristotle's syllogistic from the standpoint of modern formal logic.Jan Łukasiewicz - 1957 - New York: Garland.details
|
|
The existential graphs of Charles S. Peirce.Don D. Roberts - 1973 - The Hague,: Mouton.details
|
|
Formal Logic (1847).Augustus De Morgan - 2018 - Franklin Classics.details
|
|
What is a syllogism?Timothy J. Smiley - 1973 - Journal of Philosophical Logic 2 (1):136 - 154.details
|
|
Completeness of an ancient logic.John Corcoran - 1972 - Journal of Symbolic Logic 37 (4):696-702.details
|
|
Aristotle's natural deduction system.John Corcoran - 1974 - In Ancient logic and its modern interpretations. Boston,: Reidel. pp. 85--131.details
|
|
Linear Logic.Jean-Yves Girard - 1987 - Theoretical Computer Science 50:1–102.details
|
|
Logical reasoning with diagrams.Gerard Allwein & Jon Barwise (eds.) - 1996 - New York: Oxford University Press.details
|
|
The iconic logic of Peirce's graphs.Sun-Joo Shin - 2002 - Cambridge: MIT Press.details
|
|
(1 other version)Logic machines and diagrams.Martin Gardner - 1982 - Chicago: University of Chicago Press.details
|
|
Logic and Visual Information.Eric Hammer - 1995 - CSLI Publications.details
|
|
On the Diagrammatic and Mechanical Representation of Propositions and Reasonings.John Venn - 1880 - Philosophical Magazine 9 (59):1-18.details
|
|
The structure of multiplicatives.Vincent Danos & Laurent Regnier - 1989 - Archive for Mathematical Logic 28 (3):181-203.details
|
|
The Iconic Logic of Peirce's Graphs.Sun-joo Shin - 2003 - Transactions of the Charles S. Peirce Society 39 (1):127-133.details
|
|
Linear logic: its syntax and semantics.Jean-Yves Girard - 1995 - In Jean-Yves Girard, Yves Lafont & Laurent Regnier (eds.), Advances in linear logic. New York, NY, USA: Cambridge University Press. pp. 222--1.details
|
|
The Iconic Logic of Peirce's Graphs.Jesse Norman - 2004 - Mind 113 (452):783-787.details
|
|
Euler’s visual logic.Eric Hammer & Sun-Joo Shin - 1998 - History and Philosophy of Logic 19 (1):1-29.details
|
|
Reasoning with Sentences and Diagrams.Eric Hammer - 1994 - Notre Dame Journal of Formal Logic 35 (1):73-87.details
|
|
A Diagrammatic Inference System with Euler Circles.Koji Mineshima, Mitsuhiro Okada & Ryo Takemura - 2012 - Journal of Logic, Language and Information 21 (3):365-391.details
|
|
On the Insufficiency of Linear Diagrams for Syllogisms.Oliver Lemon & Ian Pratt - 1998 - Notre Dame Journal of Formal Logic 39 (4):573-580.details
|
|
Linear diagrams for syllogisms (with relationals).George Englebretsen - 1991 - Notre Dame Journal of Formal Logic 33 (1):37-69.details
|
|
(1 other version)A Diagrammatic Calculus of Syllogisms.Ruggero Pagnan - 2012 - Journal of Logic, Language and Information 21 (3):347-364.details
|
|
Situation-theoretic account of valid reasoning with Venn diagrams.Sun-Joo Shin - 1996 - In Gerard Allwein & Jon Barwise (eds.), Logical reasoning with diagrams. New York: Oxford University Press.details
|
|
Towards a model theory of diagrams.Hammer Eric & Danner Norman - 1996 - Journal of Philosophical Logic 25 (5):463 - 482.details
|
|
A diagrammatic treatment of syllogistic.M. B. Smyth - 1971 - Notre Dame Journal of Formal Logic 12 (4):483-488.details
|
|
Review of Sun-Joo Shin: The Logical Status of Diagrams. [REVIEW]Sun-joo Shin - 1997 - British Journal for the Philosophy of Science 48 (2):290-291.details
|
|
Struktura poprawnych trybów sylogizmun-terminowego.Krystyna Głazowska - 1958 - Studia Logica 8 (1):249 - 257.details
|
|
The structure of validn-term syllogisms.K. Głazowska - 1958 - Studia Logica 8 (1):257-257.details
|
|
A case study of the design and implementation of heterogeneous reasoning systems.Nik Swoboda & Gerard Allwein - 2002 - In L. Magnani, N. J. Nersessian & C. Pizzi (eds.), Logical and Computational Aspects of Model-Based Reasoning. Kluwer Academic Publishers. pp. 3--20.details
|
|