{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,5]],"date-time":"2025-12-05T17:36:36Z","timestamp":1764956196573,"version":"3.46.0"},"reference-count":0,"publisher":"Walter de Gruyter GmbH","issue":"3","license":[{"start":{"date-parts":[[2012,10,1]],"date-time":"2012-10-01T00:00:00Z","timestamp":1349049600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,10,1]]},"abstract":"<jats:title>Abstract.<\/jats:title>\n                  <jats:p>\n                    A paraconsistent logic is a logical system that attempts to deal with contradictions in a discriminating way. In an earlier paper [Notre Dame J. Form. Log. 49 (2008), 401\u2013424], we developed\nthe systems of weakening of intuitionistic negation logic, called\n                    <jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" xlink:href=\"jisys-2012-0011_4694d5cc579e97ca04404b29124defc7.png\"\/>\n                    and\n                    <jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" xlink:href=\"jisys-2012-0011_e9df0b1c56c464b0683327273582baa1.png\"\/>\n                    ,\nin the spirit of da\u00a0Costa's approach by preserving,\ndifferently from da\u00a0Costa, the fundamental properties of negation: antitonicity, inversion and additivity for\ndistributive lattices. Taking into account these results, we make some observations on the modified systems of\n                    <jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" xlink:href=\"jisys-2012-0011_4694d5cc579e97ca04404b29124defc7.png\"\/>\n                    and\n                    <jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" xlink:href=\"jisys-2012-0011_e9df0b1c56c464b0683327273582baa1.png\"\/>\n                    , and their paraconsistent properties.\n                  <\/jats:p>","DOI":"10.1515\/jisys-2012-0011","type":"journal-article","created":{"date-parts":[[2012,10,1]],"date-time":"2012-10-01T08:21:18Z","timestamp":1349079678000},"page":"255-270","source":"Crossref","is-referenced-by-count":1,"title":["Paraconsistent Logic and Weakening of Intuitionistic Negation"],"prefix":"10.1515","volume":"21","author":[{"given":"Zoran","family":"Majki\u0107","sequence":"first","affiliation":[{"name":"International Society for Research in Science and Technology, PO Box 2464, Tallahassee, FL 32316-2464, USA"}]}],"member":"374","published-online":{"date-parts":[[2012,10,2]]},"container-title":["Journal of Intelligent Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.degruyterbrill.com\/document\/doi\/10.1515\/jisys-2012-0011\/xml","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/www.degruyterbrill.com\/document\/doi\/10.1515\/jisys-2012-0011\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,5]],"date-time":"2025-12-05T17:31:46Z","timestamp":1764955906000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.degruyterbrill.com\/document\/doi\/10.1515\/jisys-2012-0011\/html"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10,1]]},"references-count":0,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2012,10,2]]},"published-print":{"date-parts":[[2012,10,1]]}},"alternative-id":["10.1515\/jisys-2012-0011"],"URL":"https:\/\/doi.org\/10.1515\/jisys-2012-0011","relation":{},"ISSN":["2191-026X","0334-1860"],"issn-type":[{"type":"electronic","value":"2191-026X"},{"type":"print","value":"0334-1860"}],"subject":[],"published":{"date-parts":[[2012,10,1]]}}}