{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,13]],"date-time":"2025-05-13T23:19:30Z","timestamp":1747178370628,"version":"3.40.5"},"reference-count":57,"publisher":"Informa UK Limited","issue":"3-4","content-domain":{"domain":["www.tandfonline.com"],"crossmark-restriction":true},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[2023,10,2]]},"DOI":"10.1080\/11663081.2023.2244367","type":"journal-article","created":{"date-parts":[[2023,8,17]],"date-time":"2023-08-17T10:11:51Z","timestamp":1692267111000},"page":"606-640","update-policy":"https:\/\/doi.org\/10.1080\/tandf_crossmark_01","source":"Crossref","is-referenced-by-count":0,"title":["Sequent-type rejection systems for finite-valued non-deterministic logics"],"prefix":"10.1080","volume":"33","author":[{"given":"Martin","family":"Gius","sequence":"first","affiliation":[{"name":"Institute of Logic and Computation, Knowledge-based Systems Group, Technische Universit\u00e4t Wien, Vienna, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5673-2460","authenticated-orcid":false,"given":"Hans","family":"Tompits","sequence":"additional","affiliation":[{"name":"Institute of Logic and Computation, Knowledge-based Systems Group, Technische Universit\u00e4t Wien, Vienna, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","published-online":{"date-parts":[[2023,8,17]]},"reference":[{"key":"e_1_3_3_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(98)00032-0"},{"key":"e_1_3_3_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijar.2006.06.011"},{"key":"e_1_3_3_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11787-006-0003-6"},{"key":"e_1_3_3_5_1","doi-asserted-by":"crossref","unstructured":"Avron A. Ben-Naim J. & Konikowska B. (2009). Processing information from a set of sources. In Towards mathematical philosophy (pp. 165\u2013186). Springer.","DOI":"10.1007\/978-1-4020-9084-4_8"},{"key":"e_1_3_3_6_1","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzi030"},{"key":"e_1_3_3_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-009-9175-4"},{"key":"e_1_3_3_8_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exi001"},{"key":"e_1_3_3_9_1","doi-asserted-by":"crossref","unstructured":"Avron A. & Zamansky A. (2011). Non-deterministic semantics for logical systems. In D. Gabbay & F. Guenther (Eds.) Handbook of philosophical logic (2nd ed. Vol. 16 pp. 227\u2013304). Springer.","DOI":"10.1007\/978-94-007-0479-4_4"},{"key":"e_1_3_3_10_1","first-page":"29","article-title":"Embedding and interpolation for some paralogics: The propositional case","volume":"33","author":"Batens D.","year":"1999","unstructured":"Batens, D., De Clercq, K., & Kurtonina, N. (1999). Embedding and interpolation for some paralogics: The propositional case. Reports on Mathematical Logic, 33, 29\u201344.","journal-title":"Reports on Mathematical Logic"},{"key":"#cr-split#-e_1_3_3_11_1.1","doi-asserted-by":"crossref","unstructured":"Berger G. & Tompits H. (2014). On axiomatic rejection for the description logic","DOI":"10.1007\/978-3-319-08909-6_5"},{"key":"#cr-split#-e_1_3_3_11_1.2","doi-asserted-by":"crossref","unstructured":"ALC. In M. Hanus & R. Rocha (Eds.) Declarative programming and knowledge management-declarative programming days (KDPD 2013) revised selected papers (Vol. 8439 pp. 65-82). Springer.","DOI":"10.1007\/978-3-319-08909-6"},{"key":"e_1_3_3_12_1","unstructured":"Besnard P. & Schaub T. (1997). Circumscribing inconsistency. In M. E. Pollack (Ed.) Proceedings of the 15th international joint conference on artificial Intelligence (IJCAI '97) (pp. 150\u2013155). Morgan Kaufmann Publishers."},{"key":"e_1_3_3_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39071-5_27"},{"key":"e_1_3_3_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00153-011-0245-8"},{"key":"e_1_3_3_15_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exq061"},{"key":"e_1_3_3_16_1","unstructured":"Bogojeski M. & Tompits H. (2020). On sequent-type rejection calculi for many-valued logics. In M. Urba\u0144ski T. Skura & P. \u0141upkowski (Eds.) Reasoning: Games cognition logic (pp. 193\u2013207). College Publications."},{"key":"e_1_3_3_17_1","unstructured":"Bonatti P. A. (1993). A Gentzen system for non-theorems [Tech. Rep. No. CD-TR 93\/52]. Christian Doppler Labor f\u00fcr Expertensysteme Technische Universit\u00e4t Wien."},{"key":"e_1_3_3_18_1","doi-asserted-by":"crossref","unstructured":"Bonatti P. A. (1996). Sequent calculi for default and autoepistemic logics. In P. Miglioli U. Moscato D. Mundici & M. Ornaghi (Eds.) Proceedings of the fifth international conference on automated reasoning with analytic tableaux and related methods (TABLEAUX '96) (Vol. 1071 pp. 127\u2013142). Springer.","DOI":"10.1007\/3-540-61208-4_9"},{"key":"e_1_3_3_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/505372.505374"},{"key":"e_1_3_3_20_1","first-page":"3","article-title":"Aksjomaty odrzucone dla wielowarto\u015bciowych logik \u0141ukasiewicza","author":"Bryll G.","year":"1969","unstructured":"Bryll, G., & Maduch, M. (1969). Aksjomaty odrzucone dla wielowarto\u015bciowych logik \u0141ukasiewicza. Zeszyty Naukowe Wy\u017cszej Szko\u0142y Pedagogicznej w Opolu, Matematyka, VI, 3\u201319.","journal-title":"Zeszyty Naukowe Wy\u017cszej Szko\u0142y Pedagogicznej w Opolu, Matematyka"},{"key":"e_1_3_3_21_1","doi-asserted-by":"crossref","unstructured":"Carnielli W. A. Coniglio M. E. & Marcos J. (2007). Logics of formal inconsistency. In D. Gabbay & F. Guenther (Eds.) Handbook of philosophical logic (2nd ed. Vol. 14 pp. 1\u201393). Springer.","DOI":"10.1007\/978-1-4020-6324-4_1"},{"key":"e_1_3_3_22_1","doi-asserted-by":"crossref","unstructured":"Carnielli W. A. & Marcos J. (2002). A taxonomy of C-systems. In W. A. Carnielli M. E. Coniglio & I. M. L. D'Ottaviano (Eds.) Paraconsistency: The logical way to the inconsistent (Vol. 228 pp. 1\u201394). Routledge.","DOI":"10.1201\/9780203910139.pt1"},{"key":"e_1_3_3_23_1","unstructured":"da Costa N. C. A. (1963). Sistemas formais inconsistentes [Unpublished doctoral dissertation]. Universidade Federal do Parana."},{"key":"e_1_3_3_24_1","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093891487"},{"issue":"3","key":"e_1_3_3_25_1","first-page":"98","article-title":"Carnot's logic","volume":"22","author":"da Costa N. C. A.","year":"1993","unstructured":"da Costa, N. C. A., & B\u00e9ziau, J. Y. (1993). Carnot's logic. Bulletin of the Section of Logic, 22(3), 98\u2013105.","journal-title":"Bulletin of the Section of Logic"},{"key":"e_1_3_3_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00370199"},{"key":"e_1_3_3_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/377978.377987"},{"key":"e_1_3_3_28_1","doi-asserted-by":"crossref","unstructured":"Geibinger T. & Tompits H. (2020). Sequent-type calculi for systems of nonmonotonic paraconsistent logics. In F. Ricca & A. Russo (Eds.) Proceedings of the 36th international conference on logic programming (ICLP 2020) technical communications (Vol. 325 pp. 178\u2013191).\u00a0Open Publishing Association.","DOI":"10.4204\/EPTCS.325.23"},{"key":"e_1_3_3_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01201353"},{"key":"e_1_3_3_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01054714"},{"key":"e_1_3_3_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-15-2221-5"},{"key":"e_1_3_3_32_1","first-page":"170","article-title":"O logice tr\u00f3jwarto\u015bciowej","volume":"5","author":"\u0141ukasiewicz J.","year":"1920","unstructured":"\u0141ukasiewicz, J. (1920). O logice tr\u00f3jwarto\u015bciowej. Ruch filozoficzny, 5, 170\u2013171.","journal-title":"Ruch filozoficzny"},{"key":"e_1_3_3_33_1","article-title":"O sylogistyce Arystotelesa","volume":"44","author":"\u0141ukasiewicz J.","year":"1939","unstructured":"\u0141ukasiewicz, J. (1939). O sylogistyce Arystotelesa. Sprawozdania z Czynno\u015bci i Posiedze\u0144 Polskiej Akademii Umiej\u0229tno\u015bci, 44.","journal-title":"Sprawozdania z Czynno\u015bci i Posiedze\u0144 Polskiej Akademii Umiej\u0229tno\u015bci"},{"key":"e_1_3_3_34_1","volume-title":"Aristotle's syllogistic from the standpoint of modern formal logic","author":"\u0141ukasiewicz J.","year":"1957","unstructured":"\u0141ukasiewicz, J. (1957). Aristotle's syllogistic from the standpoint of modern formal logic (2nd ed.). Clarendon Press.","edition":"2"},{"key":"e_1_3_3_35_1","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198537878.001.0001","volume-title":"Many-valued logics","author":"Malinowski G.","year":"1993","unstructured":"Malinowski, G. (1993). Many-valued logics. Clarendon Press."},{"key":"e_1_3_3_36_1","doi-asserted-by":"crossref","unstructured":"Malinowski G. (2007). Many-valued logic and its philosophy. In D. Gabbay & J. Woods (Eds.) Handbook of the history of logic (Vol. 8 pp. 13\u201394). North-Holland.","DOI":"10.1016\/S1874-5857(07)80004-5"},{"key":"e_1_3_3_37_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(80)90011-9"},{"key":"e_1_3_3_38_1","doi-asserted-by":"publisher","DOI":"10.1002\/bltj.1956.35.issue-6"},{"key":"e_1_3_3_39_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(85)90042-6"},{"key":"e_1_3_3_40_1","doi-asserted-by":"crossref","unstructured":"Oetsch J. & Tompits H. (2011). Gentzen-type refutation systems for three-valued logics with an application to disproving strong equivalence. In J. P. Delgrande & W. Faber (Eds.) Proceedings of the 11th international conference on logic programming and nonmonotonic reasoning (LPNMR 2011) (Vol. 6645 pp. 254\u2013259). Springer.","DOI":"10.1007\/978-3-642-20895-9_28"},{"key":"e_1_3_3_41_1","doi-asserted-by":"publisher","DOI":"10.2307\/2370324"},{"key":"e_1_3_3_42_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00370190"},{"key":"e_1_3_3_43_1","doi-asserted-by":"publisher","DOI":"10.1080\/00029890.1952.11988183"},{"key":"e_1_3_3_44_1","doi-asserted-by":"publisher","DOI":"10.1080\/00029890.1955.11988710"},{"key":"e_1_3_3_45_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(80)90014-4"},{"key":"e_1_3_3_46_1","volume-title":"Many-valued logics","author":"Rosser J. B.","year":"1952","unstructured":"Rosser, J. B., & Turquette, A. R. (1952). Many-valued logics. North-Holland."},{"key":"e_1_3_3_47_1","doi-asserted-by":"publisher","DOI":"10.4064\/fm-60-1-23-33"},{"key":"e_1_3_3_48_1","doi-asserted-by":"publisher","DOI":"10.1002\/(ISSN)1521-3870"},{"key":"e_1_3_3_49_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01969991"},{"key":"e_1_3_3_50_1","first-page":"75","article-title":"A complete syntactic characterization of the intuitionistic logic","volume":"23","author":"Skura T.","year":"1989","unstructured":"Skura, T. (1989). A complete syntactic characterization of the intuitionistic logic. Reports on Mathematical Logic, 23, 75\u201380.","journal-title":"Reports on Mathematical Logic"},{"key":"e_1_3_3_51_1","first-page":"83","article-title":"Some results concerning refutation procedures","volume":"15","author":"Skura T.","year":"1993","unstructured":"Skura, T. (1993). Some results concerning refutation procedures. Acta Universitatis Wratislaviensis, Logika, 15, 83\u201395.","journal-title":"Acta Universitatis Wratislaviensis, Logika"},{"key":"e_1_3_3_52_1","volume-title":"Aspects of refutation procedures in the intuitionistic logic and related modal systems","author":"Skura T.","year":"1999","unstructured":"Skura, T.\u00a0(1999). Aspects of refutation procedures in the intuitionistic logic and related modal systems. Wydawnictwo Uniwersytetu Wroc\u0142awskiego."},{"key":"e_1_3_3_53_1","volume-title":"Refutation methods in modal propositional logic","author":"Skura T.","year":"2013","unstructured":"Skura, T. (2013). Refutation methods in modal propositional logic. Semper."},{"issue":"146","key":"e_1_3_3_54_1","first-page":"169","article-title":"Logics of rejection: Two systems of natural deduction","volume":"37","author":"Tamminga A. M.","year":"1994","unstructured":"Tamminga, A. M. (1994). Logics of rejection: Two systems of natural deduction. Logique et Analyse, 37(146), 169\u2013208.","journal-title":"Logique et Analyse"},{"key":"e_1_3_3_55_1","doi-asserted-by":"crossref","unstructured":"Tiomkin M. L. (1988). Proving unprovability. In Y. Gurevich (Ed.) Proceedings of the third annual symposium on logic in computer science (LICS '88) (pp. 22\u201326). IEEE Computer Society.","DOI":"10.1109\/LICS.1988.5097"},{"key":"e_1_3_3_56_1","doi-asserted-by":"crossref","unstructured":"Urquhart A. (1986). Many-valued logic. In D. Gabbay & F. Guenther (Eds.) Handbook of philosophical logic (Vol. III). D. Reidel Publishing Co.","DOI":"10.1007\/978-94-009-5203-4_2"},{"key":"e_1_3_3_57_1","unstructured":"Zach R. (1993). Proof theory of finite-valued logics [Unpublished master's thesis]. Technische Universit\u00e4t Wien Institut f\u00fcr Computersprachen."}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/11663081.2023.2244367","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,12,19]],"date-time":"2023-12-19T05:33:22Z","timestamp":1702964002000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.1080\/11663081.2023.2244367"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,8,17]]},"references-count":57,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2023,10,2]]}},"alternative-id":["10.1080\/11663081.2023.2244367"],"URL":"https:\/\/doi.org\/10.1080\/11663081.2023.2244367","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"type":"print","value":"1166-3081"},{"type":"electronic","value":"1958-5780"}],"subject":[],"published":{"date-parts":[[2023,8,17]]},"assertion":[{"value":"The publishing and review policy for this title is described in its Aims & Scope.","order":1,"name":"peerreview_statement","label":"Peer Review Statement"},{"value":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=tncl20","URL":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=tncl20","order":2,"name":"aims_and_scope_url","label":"Aim & Scope"},{"value":"2022-10-10","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-07-31","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-08-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}