Computability and logic: 3rd ed.
Computability and logic: 3rd ed.
Constraint diagrams: visualizing invariants in object-oriented models
Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Situation-theoretic account of valid reasoning with Venn diagrams
Logical reasoning with diagrams
Logic and Visual Information
Modeling Heterogeneous Systems
DIAGRAMS '02 Proceedings of the Second International Conference on Diagrammatic Representation and Inference
Corresponding Regions in Euler Diagrams
DIAGRAMS '02 Proceedings of the Second International Conference on Diagrammatic Representation and Inference
VL '99 Proceedings of the IEEE Symposium on Visual Languages
A Survey of Reasoning Systems Based on Euler Diagrams
Electronic Notes in Theoretical Computer Science (ENTCS)
The semantics of augmented constraint diagrams
Journal of Visual Languages and Computing
Towards Overcoming Deficiencies in Constraint Diagrams
VLHCC '07 Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing
Evaluating and generalizing constraint diagrams
Journal of Visual Languages and Computing
Diagrammatic Reasoning System with Euler Circles: Theory and Experiment Design
Diagrams '08 Proceedings of the 5th international conference on Diagrammatic Representation and Inference
Openproof - A Flexible Framework for Heterogeneous Reasoning
Diagrams '08 Proceedings of the 5th international conference on Diagrammatic Representation and Inference
Exploring Human Factors in Formal Diagram Usage
Engineering Interactive Systems
The Advent of Formal Diagrammatic Reasoning Systems
ICFCA '09 Proceedings of the 7th International Conference on Formal Concept Analysis
Defining euler diagrams: simple or what?
Diagrams'06 Proceedings of the 4th international conference on Diagrammatic Representation and Inference
Syllogisms in Rudimentary Linear Logic, Diagrammatically
Journal of Logic, Language and Information
Hi-index | 0.00 |
The main goal of this paper is to present the basis for a heterogeneous Euler/Venn diagram and First Order Logic (FOL) reasoning system. We will begin by defining a homogeneous reasoning system for Euler/Venn diagrams including named constants and show this system to be sound and complete. Then we will propose a heterogeneous rule of inference allowing the extraction of formulas of FOL from an Euler/Venn diagram. In defining this rule we will attempt to capture the ''explicit'' information content of an Euler/Venn diagram in a way similar to the Observe rule in the Hyperproof [J. Barwise, and J. Etchemendy, Hyperproof, CSLI Publications, Stanford, 1994] system. Two definitions for this heterogeneous rule will be presented, one syntactically based, which is intended to be intuitive and motivational, and a second based upon a framework employing information types to model heterogeneous reasoning previously presented [N. Swoboda, and G. Allwein, Modeling heterogeneous systems, in: Hegarty et al. [7] pp. 131-145]. Lastly we will explore the relationships between these two notions.