{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,6,27]],"date-time":"2023-06-27T13:32:33Z","timestamp":1687872753126},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[2016,3,24]],"date-time":"2016-03-24T00:00:00Z","timestamp":1458777600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Log. Univers."],"published-print":{"date-parts":[[2016,6]]},"DOI":"10.1007\/s11787-016-0145-0","type":"journal-article","created":{"date-parts":[[2016,3,24]],"date-time":"2016-03-24T15:31:34Z","timestamp":1458833494000},"page":"215-231","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Singular Propositions, Negation and the Square of Opposition"],"prefix":"10.1007","volume":"10","author":[{"given":"Lopamudra","family":"Choudhury","sequence":"first","affiliation":[]},{"given":"Mihir Kumar","family":"Chakraborty","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,3,24]]},"reference":[{"key":"145_CR1","unstructured":"Barwise, J., Etchemendy, J.: Visual information and valid reasoning. In: Allwein, G., Barwise, J. (eds.) Logical Reasoning with Diagrams, pp. 3\u201325. Oxford University Press, Oxford (1990)"},{"key":"145_CR2","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/s11787-007-0023-x","volume":"2","author":"P. Bernhard","year":"2008","unstructured":"Bernhard P.: Visualization of the square of opposition. Logica Universalis 2, 31\u201341 (2008)","journal-title":"Logica Universalis"},{"key":"145_CR3","doi-asserted-by":"crossref","unstructured":"B\u00e9ziau, J.Y., Payette, G. (eds.) The square of opposition. In: A General Framework for Cognition. Peter Lang, Bern (2012)","DOI":"10.1007\/978-3-0348-0379-3"},{"issue":"1","key":"145_CR4","first-page":"96","volume":"5","author":"L. Choudhury","year":"2012","unstructured":"Choudhury L., Chakraborty M.K.: On representing Open Universe. Stud. Logic 5(1), 96\u2013112 (2012)","journal-title":"Stud. Logic"},{"key":"145_CR5","doi-asserted-by":"crossref","unstructured":"Choudhury, L., Chakraborty, M.K.: On extending Venn diagram by augmenting names of individuals. In: Blackwell, A., et\u00a0al. (eds.) Diagrams 2004, LNAI 2980, pp. 142\u2013146 (2004)","DOI":"10.1007\/978-3-540-25931-2_14"},{"key":"145_CR6","unstructured":"Choudhury, L., Chakraborty, M.K.: Comparison between spider diagrams and venn diagrams with individuals. In: Proceedings of the Workshop Euler Diagrams 2005. INRIA, Paris (2005)"},{"key":"145_CR7","unstructured":"Choudhury, L., Chakraborty, M.K.: Singular propositions and their negations in diagrams published in the proceedings of DLAC 2013. In: CEUR Workshop Proceedings, vol. 1132 (2013). http:\/\/ceur-ws.org\/"},{"key":"145_CR8","unstructured":"Euler, L.: Letters a une princesse d\u2019allemagne, Sur divers sujets de physique et de philosophie. Letters No. 102\u2013108, vol. 2. Basel Birkhauser (1761)"},{"key":"145_CR9","volume-title":"Logic and Visual Information","author":"E. Hammer","year":"1995","unstructured":"Hammer E.: Logic and Visual Information. CSLI Pubs., USA (1995)"},{"key":"145_CR10","volume-title":"Formal Languages and Their Relations to Automata","author":"J.E. Hopcroft","year":"1969","unstructured":"Hopcroft J.E., Ullman J.D.: Formal Languages and Their Relations to Automata. Addison-Wesley, London (1969)"},{"key":"145_CR11","volume-title":"A Natural History of Negation","author":"L.R. Horn","year":"2001","unstructured":"Horn L.R.: A Natural History of Negation. CSLI Pub, USA (2001)"},{"key":"145_CR12","unstructured":"Khomiskii, Y.: William of Sherwood, Singular Proposition and the Hexagon of Opposition. In: B\u00e9ziau, J.Y., Payette, G. (eds.) The Square of Opposition. A general Framework for Cognition, pp. 43\u201357. Peter Lang, Bern (2012)"},{"key":"145_CR13","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1111\/j.1551-6708.1987.tb00863.x","volume":"11","author":"J.H. Larkin","year":"1987","unstructured":"Larkin J.H., Simon H.A.: Why a diagram is (Sometimes) Worth Ten Thousand Words. Cognit. Sci. 11, 65\u201399 (1987)","journal-title":"Cognit. Sci."},{"key":"145_CR14","volume-title":"Logic, Language and Reality","author":"M.B. Krishna","year":"1990","unstructured":"Krishna M.B.: Logic, Language and Reality. Motilal Banarasidass. Pub, New Delhi (1990)"},{"key":"145_CR15","unstructured":"Peirce, C.S.: Collected Papers of C.S.Peirce. iv, HUP (1933)"},{"key":"145_CR16","volume-title":"Philosophy of Logical Atomism: Logic and Knowledge","author":"B. Russell","year":"1988","unstructured":"Russell B.: Philosophy of Logical Atomism: Logic and Knowledge. Unwin Hyman, London (1988)"},{"key":"145_CR17","unstructured":"Sharma, S.S.: Interpreting square of oppositions with the help of diagrams. In: B\u00e9ziau, J.Y., Payette, G. (eds.) The Square of Opposition. A general Framework for Cognition, pp. 174\u2013192. Peter Lang, Bern (2012)"},{"key":"145_CR18","volume-title":"The Logical Status of Diagrams","author":"S.J. Shin","year":"1994","unstructured":"Shin S.J.: The Logical Status of Diagrams. CUP, Cambridge (1994)"},{"key":"145_CR19","doi-asserted-by":"crossref","unstructured":"Stapleton, G.,Taylor J., Thompson S., Howse, J.: The expressiveness of spider diagrams augmented with constants. J. Vis. Lang. Comput. 20(1), 30\u201349 (2009)","DOI":"10.1016\/j.jvlc.2008.01.005"},{"issue":"6","key":"145_CR20","doi-asserted-by":"crossref","first-page":"975","DOI":"10.1093\/logcom\/exi041","volume":"15","author":"G. Stapleton","year":"2005","unstructured":"Stapleton G., Howse J., Taylor J.: A decidable constraint diagram reasoning system. J. Logic Comput. 15(6), 975\u20131008 (2005)","journal-title":"J. Logic Comput."},{"key":"145_CR21","unstructured":"Stapleton, G.: Incorporating negation into visual logics: a case study using Euler diagrams. Vis. Lang. Comput., 187\u2013194 (2007)"},{"key":"145_CR22","doi-asserted-by":"crossref","unstructured":"Swoboda N., Allwein, G.: Heterogeneous reasoning with Euler\/Venn diagrams containing named constants and FOL. Electron. Not. Theor. Comput. Sci. 134, 153\u2013187 (2005)","DOI":"10.1016\/j.entcs.2005.02.023"},{"key":"145_CR23","first-page":"392","volume":"64","author":"C. Tadeusz","year":"1955","unstructured":"Tadeusz C.: On certain peculiarities of singular propositions. Mind 64, 392\u2013395 (1955)","journal-title":"Mind"},{"issue":"59","key":"145_CR24","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1080\/14786448008626877","volume":"10","author":"J. Venn","year":"1880","unstructured":"Venn J.: On the diagrammatic and mechanical representation of propositions and reasoning. Philos. Mag. J. Sci. Ser. 5 10(59), 1\u201318 (1880)","journal-title":"Philos. Mag. J. Sci. Ser. 5"}],"container-title":["Logica Universalis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-016-0145-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11787-016-0145-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-016-0145-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,5]],"date-time":"2019-09-05T23:35:19Z","timestamp":1567726519000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11787-016-0145-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,3,24]]},"references-count":24,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2016,6]]}},"alternative-id":["145"],"URL":"https:\/\/doi.org\/10.1007\/s11787-016-0145-0","relation":{},"ISSN":["1661-8297","1661-8300"],"issn-type":[{"value":"1661-8297","type":"print"},{"value":"1661-8300","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,3,24]]}}}