On extending venn diagram by augmenting names of individuals

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 2980, Issue , 2004, Pages 142-146

  Choudhury, L ^a   Chakraborty, M K ^b  

^a JADAVPUR UNIVERSITY   (India)

^b UNIVERSITY OF CALCUTTA   (India)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; FORMAL LOGIC; SEMANTICS; THEOREM PROVING; HAMMERS;

COMPLETNESS THEOREM; SOUNDNESS THEOREM; VENN DIAGRAM; SOUNDNESS AND COMPLETENESS; VENN DIAGRAMS;

SET THEORY; GRAPHIC METHODS;

EID: 9444279012     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-25931-2_14     Document Type: Conference Paper

References (6)

1. Shin, Sun-Joo: The logical status of diagrams, CUP. 1994
2. Hammer, Eric M: Logic and visual information, CSLI Pub. 1995
3. Euler,L: Letters a une Princesse d'Allegmagne, 1772.
4. Peirce C.S: Collected papers of C.S. Peirce, vol iv, HUP, 1933.
5. Venn G: Symbolic Logic, 1881
6. Howse J,Molina F, Taylor J, Stuart K, Spider Diagrams a Diagrammatic Reasoning System, Journal of Visual Languages and Computing, vol.12,no.3,pp299-324,2001.