Header menu link for other important links
X
On extending venn diagram by augmenting names of individuals
L CHOUDHURY, M K CHAKRABORTY
Published in SPRINGER-VERLAG BERLIN
2004
Volume: 2980
   
Pages: 142 - 146
Abstract
This paper extends Shin's and Hammer'swork by bringing in the names of individuals within Venn diagram and proving thereby the soundness and completeness results. History: Beginning with Euler (1772) diagrams have evolved in the hands of Venn(1880) and Peirce(1896). Each had the aim of making the relationship between sets and binary properties of emptiness and non-emptiness more and more clear. In recent years Shin (1994). Hammer(1995) and House et al(2001) have regenerated interest in diagrams by formalizing the logic of diagrams.
About the journal
JournalData powered by TypesetLecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)
PublisherData powered by TypesetSPRINGER-VERLAG BERLIN
ISSN0302-9743