{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,14]],"date-time":"2026-05-14T13:13:56Z","timestamp":1778764436399,"version":"3.51.4"},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2011,3,12]],"date-time":"2011-03-12T00:00:00Z","timestamp":1299888000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Log. Univers."],"published-print":{"date-parts":[[2011,4]]},"DOI":"10.1007\/s11787-011-0029-2","type":"journal-article","created":{"date-parts":[[2011,3,11]],"date-time":"2011-03-11T13:30:18Z","timestamp":1299850218000},"page":"165-176","source":"Crossref","is-referenced-by-count":5,"title":["Negation and Paraconsistent Logics"],"prefix":"10.1007","volume":"5","author":[{"given":"Soma","family":"Dutta","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mihir K.","family":"Chakraborty","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,3,12]]},"reference":[{"key":"29_CR1","doi-asserted-by":"crossref","first-page":"99","DOI":"10.2307\/j.ctv2x8v8c7.6","volume-title":"Paraconsistent Logic: Essays on the Inconsistent","author":"I.A. Arruda","year":"1989","unstructured":"Arruda I.A.: Aspects of the historical development of paraconsistent logic. In: Priest, G., Routley, R., Norman, J. (eds) Paraconsistent Logic: Essays on the Inconsistent, pp. 99\u2013129. Philosophia, M\u00fcnchen (1989)"},{"issue":"1","key":"29_CR2","doi-asserted-by":"crossref","first-page":"276","DOI":"10.2307\/2274919","volume":"56","author":"A. Avron","year":"1991","unstructured":"Avron A.: Natural 3-valued logics: characterization and proof theory. J. Symb. Log. 56(1), 276\u2013294 (1991)","journal-title":"J. Symb. Log."},{"key":"29_CR3","doi-asserted-by":"crossref","unstructured":"Carnielli, A.W., Marcos, J.: A taxonomny of C systems. In: Carnielli, W.A., Coniglio, M.E., D\u2018Ottavino, I.M.L. (eds.) Paraconsistency\u2014the logical Way to the Inconsistent Lecture Notes in Pure Applied and Mathematics, vol. 228, pp. 1\u201394. Marcel Dekker, New York (2002)","DOI":"10.1201\/9780203910139"},{"key":"29_CR4","first-page":"1","volume-title":"Handbook of Philosophical Logic, vol. 14","author":"A.W. Carnielli","year":"2003","unstructured":"Carnielli A.W., Coniglio M.E., Marcos J.: Logics of formal inconsistency. In: Gabbay, D., Guenthner, F. (eds) Handbook of Philosophical Logic, vol. 14, pp. 1\u201393. Kluwer Academic Publishers, Netherlands (2003)"},{"key":"29_CR5","doi-asserted-by":"crossref","first-page":"299","DOI":"10.3233\/FI-1997-323405","volume":"32","author":"M.K. Chakraborty","year":"1997","unstructured":"Chakraborty M.K., Basu S.: Graded consequence and some metalogical notions generalized. Fundamenta informaticae 32, 299\u2013311 (1997)","journal-title":"Fundamenta informaticae"},{"issue":"1","key":"29_CR6","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.fss.2003.10.011","volume":"144","author":"D. Dubois","year":"2004","unstructured":"Dubois D., Prade H.: Possibilistic logic, a retrospective and prospective view. Fuzzy Sets Syst. 144(1), 3\u201323 (2004)","journal-title":"Fuzzy Sets Syst."},{"key":"29_CR7","doi-asserted-by":"crossref","first-page":"331","DOI":"10.2307\/2214128","volume":"7","author":"J. Michael Dunn","year":"1993","unstructured":"Michael Dunn J.: Star and perp: two treatments of negation. Philos. Perspect. Lang. Log. 7, 331\u2013357 (1993)","journal-title":"Philos. Perspect. Lang. Log."},{"key":"29_CR8","doi-asserted-by":"crossref","unstructured":"Michale Dunn, J.: A comparative study of various model theoretic treatments of negation: a history of formal negation. In: Gabbay, D.M., Wansing H. (eds.) What is Negation? pp. 23\u201351 (1999)","DOI":"10.1007\/978-94-015-9309-0_2"},{"key":"29_CR9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-94-017-0460-1_1","volume-title":"Handbook of Philosophical Logic, vol. 6","author":"J. Michael Dunn","year":"2002","unstructured":"Michael Dunn J., Restall G.: Relevance logic. In: Gabbay, D., Guenthner, F. (eds) Handbook of Philosophical Logic, vol. 6, 2nd edn, pp. 1\u2013136. Kluwer Academic Publishers, Dordrecht (2002)","edition":"2"},{"key":"29_CR10","unstructured":"Gentzen G. (1969). Investigations into logical deductions. In: The Collected Papers of Gentzen G., Szabo M.E. (eds). North Holland Publications, Amsterdam, pp 68\u2013131"},{"key":"29_CR11","unstructured":"Goswami, S.: Relevant logic: philosophy and applications. Ph.D thesis submitted at Jadavpur University (2009)"},{"key":"29_CR12","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1093\/acprof:oso\/9780199265176.003.0005","volume-title":"The Law of Non-Contradiction.","author":"G. Restall","year":"2004","unstructured":"Restall G.: Laws of non-contradiction, laws of the excluded middle, and logics. In: Priest, G., Beall, J.C., Garb-Armour, J.C. (eds) The Law of Non-Contradiction., pp. 73\u201384. Oxford University Press, New York (2004)"},{"key":"29_CR13","doi-asserted-by":"crossref","first-page":"3","DOI":"10.2307\/j.ctv2x8v8c7.4","volume-title":"Paraconsistent Logic: Essays on the Inconsistent.","author":"G. Priest","year":"1989","unstructured":"Priest G., Routley R.: A preliminary history of paraconsistent and dialethic approaches. In: Priest, G., Routley, R., Norman, J. (eds) Paraconsistent Logic: Essays on the Inconsistent., pp. 3\u201375. Philosophia, M\u00fcnchen (1989)"},{"key":"29_CR14","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1007\/978-94-009-9056-2_2","volume-title":"Modern Logic\u2014A Survey.","author":"S.J. Surma","year":"1981","unstructured":"Surma S.J.: The growth of logic out of the foundational research in mathematics. In: Agazzi, E. (eds) Modern Logic\u2014A Survey., pp. 15\u201333. D. Reidel Publishing co., Dordrecht (1981)"},{"key":"29_CR15","doi-asserted-by":"crossref","unstructured":"Tarski, A.: Fundamentale begriffe der metodologie der deduktiven wissenschaften, monatshefte fuer mathematik und physik. XXXVII, 361\u2013404 (1930)","DOI":"10.1007\/BF01696782"},{"key":"29_CR16","unstructured":"Tarski, A.: Methodology of deductive sciences. In: Logic, Semantics, Mathematics, pp. 60\u2013109. Clarendon Press, Oxford (1956)"}],"container-title":["Logica Universalis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-011-0029-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11787-011-0029-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-011-0029-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,5]],"date-time":"2024-04-05T03:51:17Z","timestamp":1712289077000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11787-011-0029-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,3,12]]},"references-count":16,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2011,4]]}},"alternative-id":["29"],"URL":"https:\/\/doi.org\/10.1007\/s11787-011-0029-2","relation":{},"ISSN":["1661-8297","1661-8300"],"issn-type":[{"value":"1661-8297","type":"print"},{"value":"1661-8300","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,3,12]]}}}