A Diagrammatic Calculus of Syllogisms

Authors:
Ruggero Pagnan
Affiliations:
DISI, University of Genova, Genova, Italy
Venue:
Journal of Logic, Language and Information
Year:
2012

Citing 3
Cited 1

Situation-theoretic account of valid reasoning with Venn diagrams

Logical reasoning with diagrams
Towards a model theory of Venn diagrams

Logical reasoning with diagrams
On the syllogistic structure of object-oriented programming

ICSE '01 Proceedings of the 23rd International Conference on Software Engineering

Syllogisms in Rudimentary Linear Logic, Diagrammatically

Journal of Logic, Language and Information

Quantified Score

Hi-index	0.00

Visualization

Abstract

A diagrammatic logical calculus for the syllogistic reasoning is introduced and discussed. We prove that a syllogism is valid if and only if it is provable in the calculus.