Standard sentence logic as graphs

MaRDI QIDQ2753615zbMATH OpenFDO

Authors Arturo Graziano Grappone

Publication date 11 December 2002

Published in Metalogicon (Search for Journal in Brave)

zbMATH Keywords

graphspropositional logic

Mathematics Subject Classification ID

Classical propositional logic (03B05)

Review text

The author describes a connection between vertexes of a given graph and propositional formulae. It is shown how all binary connectives of propositional classical logic may be represented in such a way.

Recommendations

• Diagonal logic
• Logic as a Vector System
• The existential graphs
• A graph calculus for predicate logic
• Logical squares for classical logic sentences

Cited in

(5)

• Reasoning with sentences and diagrams
• Connectives in the topos of directed graphs
• Diagonal logic
• Logic as a Vector System
• Representing formulas of propositional logic by cographs, permutations and tables

This page was built for publication: Standard sentence logic as graphs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2753615)