Logical graph
A logical graph is a special type of diagrammatic structure in any one of several systems of graphical syntax that Charles Sanders Peirce developed for logic.
In his papers on qualitative logic, entitative graphs, and existential graphs, Peirce developed several versions of a graphical formalism, or a graph-theoretic formal language, designed to be interpreted for logic.
In the century since Peirce initiated this line of development, a variety of formal systems have branched out from what is abstractly the same formal base of graph-theoretic structures.
See also
- Charles Sanders Peirce bibliography
- Conceptual graph
- Laws of Form
- Minimal negation operator
- Peirce's law
- Propositional calculus
- Truth table
External links
- Bergman and Paavola (eds.), Commens Dictionary of Peirce's Terms
- Peirce's Existential Graphs — Readings and Links
- Leibniz's Splendid Theorem as Moving-Picture of Thought
- Shoup, Richard (ed.), Laws of Form Web Site
- Spencer-Brown, George (1973), Transcript Session One, AUM Conference, Esalen, CA
- Conceptual Graphs — Brief Summary
- Conceptual Graphs — Resource Hub
- Conceptual Structures — Home Page
 | This mathematical logic-related article is a stub. You can help Wikipedia by expanding it. |