{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:10:31Z","timestamp":1706649031417},"reference-count":19,"publisher":"Duke University Press","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2008,10,1]]},"DOI":"10.1215\/00294527-2008-020","type":"journal-article","created":{"date-parts":[[2008,10,17]],"date-time":"2008-10-17T17:28:25Z","timestamp":1224264505000},"source":"Crossref","is-referenced-by-count":2,"title":["Weakening of Intuitionistic Negation for Many-valued Paraconsistent da Costa System"],"prefix":"10.1215","volume":"49","author":[{"given":"Zoran","family":"Majki\u0107","sequence":"first","affiliation":[]}],"member":"73","reference":[{"key":"1","unstructured":"[1] Anderson, A. R., and N. D. Belnap, Jr., Entailment. The Logic of Relevance and Necessity<\/i>, Princeton University Press, Princeton, 1975."},{"key":"2","unstructured":"[2] Arruda, A. I., \"Remarques sur les syst\u00e8mes $C\\sbn$\", Comptes Renduz de l'Academie de Sciences de Paris. S\u00e9ries A-B<\/i>, vol. 280 (1975), pp. A1253--A1256."},{"key":"3","unstructured":"[3] Batens, D., \"Dialectical dynamics within formal logics\", Logique et Analyse. Nouvelle S\u00e9rie<\/i>, vol. 29 (1986), pp. 161--73."},{"key":"4","unstructured":"[4] Batens, D., \"A survey of inconsistency-adaptive logics\", pp. 49--73 in Frontiers of Paraconsistent Logic (Proceedings of the First World Congress on Paraconsistency, Ghent, 1997)<\/i>, vol. 8 of Studies in Logic and Computation<\/i>, Research Studies Press Ltd., Baldock, 2000."},{"key":"5","unstructured":"[5] Birkhoff, G., Lattice Theory<\/i>, American Mathematical Society, New York, 1940. Corrected reprint as vol. 25 of American Mathematical Society Colloquium Publications, 1979."},{"key":"6","doi-asserted-by":"crossref","unstructured":"[6] Carnielli, W., M. E. Coniglio, and J. Marcos, \"Logics of formal inconsistency\", pp. 1--93 in Handbook of Philosophical Logic. Vol. 2<\/i>, 2d edition, edited by D. M. Gabbay and F. Guenthner, Kluwer Academic Publishers, Dordrecht, 2001.","DOI":"10.1007\/978-1-4020-6324-4_1"},{"key":"7","doi-asserted-by":"publisher","unstructured":"[7] Carnielli, W. A., and J. Marcos, \"Limits for paraconsistent calculi\", Notre Dame Journal of Formal Logic<\/i>, vol. 40 (1999), pp. 375--90.","DOI":"10.1305\/ndjfl\/1022615617"},{"key":"8","unstructured":"[8] Carnielli, W. A., and J. Marcos, \"A taxonomy of $\\bf C$\"-systems, pp. 1--94 in Paraconsistency. The Logical Way to the Inconsistent (S\u00e3o Sebasti\u00e3o, 2000)<\/i>, edited by W. A. Carnielli, M. E. Coniglio, and I. M. L. D'Ottaviano, vol. 228 of Lecture Notes in Pure and Applied Mathematics<\/i>, Marcel Dekker, New York, 2002."},{"key":"9","doi-asserted-by":"publisher","unstructured":"[9] da Costa, N. C. A., \"On the theory of inconsistent formal systems\", Notre Dame Journal of Formal Logic<\/i>, vol. 15 (1974), pp. 497--510. Erratum, vol. 16 (1975), p. 608.","DOI":"10.1305\/ndjfl\/1093891487"},{"key":"10","doi-asserted-by":"publisher","unstructured":"[10] da Costa, N. C. A., and E. H. Alves, \"A semantical analysis of the calculi $\\bf C\\sbn$\", Notre Dame Journal of Formal Logic<\/i>, vol. 18 (1977), pp. 621--30.","DOI":"10.1305\/ndjfl\/1093888132"},{"key":"11","unstructured":"[11] Do\u0161en, K., \"Negation as a modal operator\", Reports on Mathematical Logic<\/i>, no. 20 (1986), pp. 15--28."},{"key":"12","doi-asserted-by":"publisher","unstructured":"[12] Dunn, J. M., \"Positive modal logic\", Studia Logica<\/i>, vol. 55 (1995), pp. 301--317.","DOI":"10.1007\/BF01061239"},{"key":"13","doi-asserted-by":"publisher","unstructured":"[13] Dunn, J. M., and C. Zhou, \"Negation in the context of gaggle theory\", Studia Logica<\/i>, vol. 80 (2005), pp. 235--64.","DOI":"10.1007\/s11225-005-8470-y"},{"key":"14","doi-asserted-by":"publisher","unstructured":"[14] Gentzen, G., ``\u00dcber die Existenz unabh\u00e4ngiger Axiomensysteme zu unendlichen Satzsystemen,'' Mathematische Annalen<\/i>, vol. 107 (1933), pp. 329--50.","DOI":"10.1007\/BF01448897"},{"key":"15","doi-asserted-by":"publisher","unstructured":"[15] Hertz, P., ``\u00dcber Axiomensysteme f\u00fcr beliebige Satzsysteme,'' Mathematische Annalen<\/i>, vol. 101 (1929), pp. 457--514.","DOI":"10.1007\/BF01454856"},{"key":"16","unstructured":"[16] Ja\u015bkowski, S., \"A propositional calculus for inconsistent deductive systems\", Logic and Logical Philosophy<\/i>, no. 7 (1999), pp. 35--56. Translated from the Polish (``Rachunek zda\u0144 dla system\u00f3w dedukcyjnych sprzecznych,'' Studia Societatis Scientiarum Torunensis, Sectio A-1 (1948), pp. 57--77) by Olgierd Wojtasiewicz, Parainconsistency, Part I (Toru\u0144, 1998)."},{"key":"17","unstructured":"[17] Lopari\u0107, A., and E. H. Alves, \"The semantics of the systems $C\\sbn$\" of da Costa, pp. 161--72 in Proceedings of the Third Brazilian Conference on Mathematical Logic (Recife, 1979)<\/i>, Sociedade Brasileira de L\u00f3gica, S\\~ ao Paulo, 1980."},{"key":"19","doi-asserted-by":"crossref","unstructured":"[19] Restall, G., \"Constant domain quantified modal logics without Boolean negation\", The Australasian Journal of Logic<\/i>, vol. 3 (2005), pp. 45--62.","DOI":"10.26686\/ajl.v3i0.1772"},{"key":"18","doi-asserted-by":"publisher","unstructured":"[18] Majki\u0107, Z., ``Autoreferential semantics for many-valued modal logics,'' Journal ofApplied Non-Classical Logics<\/i>, vol. 18 (2008), pp. 79--125.","DOI":"10.3166\/jancl.18.79-125"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-2008-020","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:57:10Z","timestamp":1706648230000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-49\/issue-4\/Weakening-of-Intuitionistic-Negation-for-Many-valued-Paraconsistent-da-Costa\/10.1215\/00294527-2008-020.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,10,1]]},"references-count":19,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2008,10,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-2008-020","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2008,10,1]]}}}