Venn Diagram with Names of Individuals and Their Absence: A Non-classical Diagram Logic |
| |
| Authors: | Reetu Bhattacharjee Mihir Kr Chakraborty Lopamudra Choudhury |
| |
| Institution: | 1.Jadavpur University,Kolkata,India |
| |
| Abstract: | Venn diagram system has been extended by introducing names of individuals and their absence. Absence gives a kind of negation of singular propositions. We have offered here a non-classical interpretation of this negation. Soundness and completeness of the present diagram system have been established with respect to this interpretation. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
