Conceptual structures: information processing in mind and machine
Conceptual structures: information processing in mind and machine
Theoretical Computer Science
Proofs and types
Bounded linear logic: a modular approach to polynomial-time computability
Theoretical Computer Science
Linear logic: its syntax and semantics
Proceedings of the workshop on Advances in linear logic
Constraint diagrams: visualizing invariants in object-oriented models
Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Logical reasoning with diagrams
Logical reasoning with diagrams
Situation-theoretic account of valid reasoning with Venn diagrams
Logical reasoning with diagrams
Towards a model theory of Venn diagrams
Logical reasoning with diagrams
An algebraic correctness criterion for intuitionistic multiplicative proof-nets
Theoretical Computer Science
Logic and Visual Information
On the Completeness and Expressiveness of Spider Diagram Systems
Diagrams '00 Proceedings of the First International Conference on Theory and Application of Diagrams
Modeling Heterogeneous Systems
DIAGRAMS '02 Proceedings of the Second International Conference on Diagrammatic Representation and Inference
Towards a Formalization of Constraint Diagrams
HCC '01 Proceedings of the IEEE 2001 Symposia on Human Centric Computing Languages and Environments (HCC'01)
Constraint Diagrams: A Step Beyond UML
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
VL '99 Proceedings of the IEEE Symposium on Visual Languages
Reasoning with Spider Diagrams
VL '99 Proceedings of the IEEE Symposium on Visual Languages
SD2: A Sound and Complete Diagrammatic Reasoning System
VL '00 Proceedings of the 2000 IEEE International Symposium on Visual Languages (VL'00)
The Expressiveness of Spider Diagrams
Journal of Logic and Computation
ICCS '08 Proceedings of the 16th international conference on Conceptual Structures: Knowledge Visualization and Reasoning
Diagrammatic Reasoning System with Euler Circles: Theory and Experiment Design
Diagrams '08 Proceedings of the 5th international conference on Diagrammatic Representation and Inference
The Advent of Formal Diagrammatic Reasoning Systems
ICFCA '09 Proceedings of the 7th International Conference on Formal Concept Analysis
A Survey of Reasoning Systems Based on Euler Diagrams
Electronic Notes in Theoretical Computer Science (ENTCS)
Heterogeneous Reasoning with Euler/Venn Diagrams Containing Named Constants and FOL
Electronic Notes in Theoretical Computer Science (ENTCS)
The efficacy of euler and Venn diagrams in deductive reasoning: empirical findings
Diagrams'10 Proceedings of the 6th international conference on Diagrammatic representation and inference
A Diagrammatic Calculus of Syllogisms
Journal of Logic, Language and Information
A Diagrammatic Inference System with Euler Circles
Journal of Logic, Language and Information
Hi-index | 0.00 |
We present a reading of the traditional syllogistics in a fragment of the propositional intuitionistic multiplicative linear logic and prove that with respect to a diagrammatic logical calculus that we introduced in a previous paper, a syllogism is provable in such a fragment if and only if it is diagrammatically provable. We extend this result to syllogistics with complemented terms à la De Morgan, with respect to a suitable extension of the diagrammatic reasoning system for the traditional case and a corresponding reading of such De Morgan style syllogistics in the previously referred to fragment of linear logic.