{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T17:37:21Z","timestamp":1782927441489,"version":"3.54.5"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[2005,8,1]],"date-time":"2005-08-01T00:00:00Z","timestamp":1122854400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2005,8]]},"DOI":"10.1007\/s11225-005-8468-5","type":"journal-article","created":{"date-parts":[[2005,10,6]],"date-time":"2005-10-06T15:23:12Z","timestamp":1128612192000},"page":"159-194","source":"Crossref","is-referenced-by-count":35,"title":["A Non-deterministic View on Non-classical Negations"],"prefix":"10.1007","volume":"80","author":[{"given":"Arnon","family":"Avron","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"8468_CR1","doi-asserted-by":"crossref","first-page":"231","DOI":"10.2307\/2274105","volume":"49","author":"A. ALMUKDAD","year":"1984","unstructured":"ALMUKDAD, A., and D. NELSON, \u2018Constructible falsity and inexact predicates\u2019, Journal of Symbolic Logic, 49:231\u2013333, 1984.","journal-title":"Journal of Symbolic Logic"},{"issue":"1","key":"8468_CR2","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/BF00215626","volume":"5","author":"O. ARIELI","year":"1996","unstructured":"ARIELI, O., and A. AVRON, \u2018Reasoning with logical bilattices\u2019, Journal of Logic, Language and Information, 5(1):25\u201363, 1996.","journal-title":"Journal of Logic, Language and Information"},{"issue":"1","key":"8468_CR3","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/S0004-3702(98)00032-0","volume":"102","author":"O. ARIELI","year":"1998","unstructured":"ARIELI, O., and A. AVRON, \u2018The value of four values\u2019, Artificial Intelligence, 102(1):97\u2013141, 1998.","journal-title":"Artificial Intelligence"},{"key":"8468_CR4","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1305\/ndjfl\/1093636612","volume":"27","author":"A. AVRON","year":"1986","unstructured":"AVRON, A., \u2018On an implication connective of RM\u2019, Notre Dame Journal of Formal Logic, 27:201\u2013209, 1986.","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"1","key":"8468_CR5","doi-asserted-by":"crossref","first-page":"276","DOI":"10.2307\/2274919","volume":"56","author":"A. AVRON","year":"1991","unstructured":"AVRON, A., \u2018Natural 3-valued logics: Characterization and proof theory\u2019, Journal of Symbolic Logic, 56(1):276\u2013294, 1991.","journal-title":"Journal of Symbolic Logic"},{"key":"8468_CR6","unstructured":"AVRON, A., \u2018Non-deterministic semantics for families of paraconsistent logics\u2019, To appear in Proceedings 3rd World Congress on Paraconsistency (WCP03)."},{"key":"8468_CR7","doi-asserted-by":"crossref","unstructured":"AVRON, A., and I. LEV, \u2018Non-deterministic matrices\u2019, in Proc. of the Thirty-fourth International Symposium on Multiple-valued Logic (ISMVL 2004), pp. 282\u2013287. IEEE Computer Society, 2004.","DOI":"10.1109\/ISMVL.2004.1319955"},{"key":"8468_CR8","doi-asserted-by":"crossref","unstructured":"AVRON, A., and I. LEV, \u2018Canonical propositional Gentzen-type systems\u2019, in R. Gor\u00e9, A. Leitsch, and T. Nipkow, (eds.), Proc. of the 1st International Joint Conference on Automated Reasoning (IJCAR 2001), number 2083 in Lecture Notes in AI, pp. 529\u2013544, Springer Verlag, 2001.","DOI":"10.1007\/3-540-45744-5_45"},{"key":"8468_CR9","unstructured":"AVRON, A., and I. LEV, \u2018Non-deterministic Multiple-valued Structures\u2019, To appear in the Journal of Logic and Computation"},{"key":"8468_CR10","first-page":"195","volume":"90\u201391","author":"D. BATENS","year":"1980","unstructured":"BATENS, D., \u2018Paraconsistent extensional propositional logics\u2019, Logique et Analyse, 90\u201391:195\u2013234, 1980.","journal-title":"Logique et Analyse"},{"key":"8468_CR11","first-page":"49","volume-title":"Frontiers of Paraconsistent Logic","author":"D. BATENS","year":"2000","unstructured":"BATENS, D., \u2018A survey of inconsistency-adaptive logics'\u2019, in D. Batens, C. Mortensen, G. Priest, and J. P. Van Bendegem, (eds.), Frontiers of Paraconsistent Logic, pp. 49\u201373, King's College Publications, Research Studies Press, Baldock, UK, 2000."},{"key":"8468_CR12","first-page":"29","volume":"33","author":"D. BATENS","year":"1999","unstructured":"BATENS, D., K. DE CLERCQ, and N. KURTONINA, \u2018Embedding and interpolation for some paralogics. The propositional case\u2019, Reports on Mathematical Logic, 33:29\u201344, 1999.","journal-title":"Reports on Mathematical Logic"},{"key":"8468_CR13","first-page":"30","volume-title":"Contemporary Aspects of Philosophy","author":"N. D. BELNAP","year":"1977","unstructured":"BELNAP, N. D., \u2018How computers should think'\u2019, in G. Ryle, (ed.), Contemporary Aspects of Philosophy, pp. 30\u201356, Oriel Press, Stocksfield, England, 1977."},{"key":"8468_CR14","first-page":"7","volume-title":"Modern Uses of Multiple-Valued Logic","author":"N. D. BELNAP","year":"1977","unstructured":"BELNAP, N. D., \u2018A useful four-valued logic\u2019, in G. Epstein and J. M. Dunn, (eds.), Modern Uses of Multiple-Valued Logic, pp. 7\u201337, Reidel, Dordrecht, 1977."},{"key":"8468_CR15","unstructured":"CARNIELLI, W. A., \u2018Possible-translations semantics for paraconsistent logics\u2019, in D. Batens, C. Mortensen, G. Priest, and J. P. Van Bendegem, (eds.), Frontiers of Paraconsistent Logic, Studies in Logic and Computation, pp. 149\u2013163, King's College Publications, Research Studies Press, 2000."},{"key":"8468_CR16","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1305\/ndjfl\/1022615617","volume":"40","author":"W. A. CARNIELLI","year":"1999","unstructured":"CARNIELLI, W. A., and J. MARCOS, \u2018Limits for paraconsistent calculi'\u2019, Notre Dame Journal of Formal Logic, 40:375\u2013390, 1999.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"8468_CR17","doi-asserted-by":"crossref","unstructured":"CARNIELLI, W. A., and J. MARCOS, \u2018A taxonomy of C-systems\u2019, in W. A. Carnielli, M. E. Coniglio, and I. L. M. D'Ottaviano, (eds.), Paraconsistency\u2014the logical way to the inconsistent, Lecture notes in pure and applied Mathematics, pp. 1\u201394, Marcell Dekker, 2002.","DOI":"10.1201\/9780203910139.pt1"},{"key":"8468_CR18","unstructured":"CRAWFORD, J. M., and D. W. ETHERINGTON, \u2018A non-deterministic semantics for tractable inference\u2019, in Proc. of the 15th International Conference on Artificial Intelligence and the 10th Conference on Innovative Applications of Artificial Intelligence, pp. 286\u2013291, MIT Press, Cambridge, 1998."},{"key":"8468_CR19","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1305\/ndjfl\/1093891487","volume":"15","author":"N. C. A. DA COSTA","year":"1974","unstructured":"DA COSTA, N. C. A., \u2018On the theory of inconsistent formal systems\u2019, Notre Dame Journal of Formal Logic, 15:497\u2013510, 1974.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"8468_CR20","first-page":"1349","volume":"270","author":"I. L. M. D'OTTAVIANO","year":"1970","unstructured":"D'OTTAVIANO, I. L. M., and N. C. A. DA COSTA, \u2018Sur un probl\u00e8me de Ja\u015bkowski'\u2019, Comptes Rendus de l'Academie de Sciences de Paris (A-B), (270):1349\u20131353, 1970.","journal-title":"Comptes Rendus de l'Academie de Sciences de Paris (A-B)"},{"key":"8468_CR21","first-page":"31","volume":"XIX(1-2)","author":"I. L. M. D'OTTAVIANO","year":"1985","unstructured":"D'OTTAVIANO, I. L. M., \u2018The completeness and compactness of a three-valued first-order logic\u2019, Revista Colombiana de Matematicas, XIX(1-2):31\u201342, 1985.","journal-title":"Revista Colombiana de Matematicas"},{"key":"8468_CR22","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/BF00373152","volume":"29","author":"J.M. DUNN","year":"1976","unstructured":"DUNN, J.M., \u2018Intuitive semantics for first-degree entailments and coupled trees\u2019, Philosophical Studies, 29:149\u2013168, 1976.","journal-title":"Philosophical Studies"},{"key":"8468_CR23","doi-asserted-by":"crossref","unstructured":"EPSTEIN, R. L., The semantic foundation of logic, volume I: propositional logics, chapter IX. Kluwer Academic Publisher, 1990.","DOI":"10.1007\/978-94-009-0525-2"},{"key":"8468_CR24","doi-asserted-by":"crossref","unstructured":"FITTING, M., \u2018Bilattices in logic programming\u2019, in G. Epstein, (ed.), Proc. of the 20th Int. Symp. on Multiple-Valued Logic, pp. 238\u2013246, IEEE Press, 1990.","DOI":"10.1109\/ISMVL.1990.122627"},{"key":"8468_CR25","doi-asserted-by":"crossref","first-page":"797","DOI":"10.1093\/logcom\/1.6.797","volume":"1","author":"M. FITTING","year":"1990","unstructured":"FITTING, M., \u2018Kleene's logic, generalized\u2019, Journal of Logic and Computation, 1:797\u2013810, 1990.","journal-title":"Journal of Logic and Computation"},{"issue":"2","key":"8468_CR26","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/0743-1066(91)90014-G","volume":"11","author":"M. FITTING","year":"1991","unstructured":"FITTING, M., \u2018Bilattices and the semantics of logic programming\u2019, Journal of Logic Programming, 11(2):91\u2013116, 1991.","journal-title":"Journal of Logic Programming"},{"key":"8468_CR27","doi-asserted-by":"crossref","first-page":"113","DOI":"10.3233\/FI-1994-201234","volume":"20","author":"M. FITTING","year":"1994","unstructured":"FITTING, M., \u2018Kleene's three-valued logics and their children\u2019, Fundamenta Informaticae, 20:113\u2013131, 1994.","journal-title":"Fundamenta Informaticae"},{"key":"8468_CR28","first-page":"68","volume-title":"The Collected Works of Gerhard Gentzen","author":"G. GENTZEN","year":"1969","unstructured":"GENTZEN, G., \u2018Investigations into logical deduction\u2019, in M. E. Szabo, (ed.), The Collected Works of Gerhard Gentzen, pp. 68\u2013131, North Holland, Amsterdam, 1969."},{"key":"8468_CR29","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J. Y. GIRARD","year":"1987","unstructured":"GIRARD, J. Y., \u2018Linear Logic'\u2019, Theoretical Computer Science, 50:1\u2013102, 1987.","journal-title":"Theoretical Computer Science"},{"key":"8468_CR30","unstructured":"GINSBERG, M. L., \u2018Multiple-valued logics\u2019, in M. L. Ginsberg, (ed.), Readings in Non-Monotonic Reasoning, pp. 251\u2013258, Los-Altos, CA, 1987."},{"key":"8468_CR31","first-page":"256","volume":"4","author":"M. L. GINSBERG","year":"1988","unstructured":"GINSBERG, M. L., \u2018Multivalued logics: A uniform approach to reasoning in AI\u2019, Computer Intelligence, 4:256\u2013316, 1988.","journal-title":"Computer Intelligence"},{"key":"8468_CR32","volume-title":"Systematic Software Development Using VDM 18","author":"C. B. JONES","year":"1986","unstructured":"JONES, C. B., Systematic Software Development Using VDM. Prentice-Hall International, U.K., 1986."},{"key":"8468_CR33","doi-asserted-by":"crossref","unstructured":"PEARCE, D., \u2018From Here to There: Stable Negation in Logic Programming\u2019, in D. M. Gabbay and H. Wansing, (eds.), What is Negation?, pp. 161\u2013181, Kluwer Academic Publishers, 1999.","DOI":"10.1007\/978-94-015-9309-0_8"},{"key":"8468_CR34","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1305\/ndjfl\/1093893524","volume":"9","author":"A. R. RAGGIO","year":"1968","unstructured":"RAGGIO, A. R., \u2018Propositional sequence-calculi for inconsistent systems\u2019, Notre Dame Journal of Formal Logic, 9:359\u2013366, 1968.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"8468_CR35","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1016\/0020-0255(89)90003-0","volume":"47","author":"L. I. ROZONER","year":"1989","unstructured":"ROZONER, L. I., \u2018On interpretation of inconsistent theories\u2019, Information Sciences, 47:243\u2013266, 1989.","journal-title":"Information Sciences"},{"key":"8468_CR36","volume-title":"Beweistheorie 18","author":"K. SCH\u00dcTTE","year":"1960","unstructured":"SCH\u00dcTTE, K., Beweistheorie. Springer, Berlin, 1960."},{"key":"8468_CR37","unstructured":"TAKEUTI, G., Proof Theory. American Elsevier Publishing Company, 1975."},{"key":"8468_CR38","doi-asserted-by":"crossref","first-page":"104","DOI":"10.1007\/BF01969697","volume":"12","author":"F. VON KUTSCHERA","year":"1969","unstructured":"VON KUTSCHERA, F., \u2018Ein verallgemeinerter widerlegungsbegriff fur Gentzenkalkule\u2019, Archiv fur Mathematische Logik und Grundlagenforschung, 12:104\u2013118, 1969.","journal-title":"Archiv fur Mathematische Logik und Grundlagenforschung"},{"key":"8468_CR39","doi-asserted-by":"crossref","unstructured":"WANSING, H., The Logic of Information Structures, volume 681 of LNAI. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-56734-8"},{"key":"8468_CR40","doi-asserted-by":"crossref","unstructured":"WANSING, H., \u2018Negation'\u2019, in L. Goble, (ed.), The Blackwell Guide to Philosophical Logic, pp. 415\u2013436, Basil Blackwell Publishers, 2001.","DOI":"10.1111\/b.9780631206934.2001.00021.x"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-005-8468-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-005-8468-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-005-8468-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T05:23:13Z","timestamp":1586496193000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-005-8468-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,8]]},"references-count":40,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2005,8]]}},"alternative-id":["8468"],"URL":"https:\/\/doi.org\/10.1007\/s11225-005-8468-5","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,8]]}}}