{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T00:29:39Z","timestamp":1725582579228},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642208942"},{"type":"electronic","value":"9783642208959"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-20895-9_28","type":"book-chapter","created":{"date-parts":[[2011,4,25]],"date-time":"2011-04-25T00:40:34Z","timestamp":1303692034000},"page":"254-259","source":"Crossref","is-referenced-by-count":5,"title":["Gentzen-Type Refutation Systems for Three-Valued Logics with an Application to Disproving Strong Equivalence"],"prefix":"10.1007","author":[{"given":"Johannes","family":"Oetsch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans","family":"Tompits","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"28_CR1","volume-title":"Aristotle\u2019s syllogistic from the standpoint of modern formal logic","author":"J. \u0141ukasiewicz","year":"1957","unstructured":"\u0141ukasiewicz, J.: Aristotle\u2019s syllogistic from the standpoint of modern formal logic, 2nd edn. Clarendon Press, Oxford (1957)","edition":"2"},{"key":"28_CR2","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1007\/BF01988049","volume":"3","author":"G. Kreisel","year":"1957","unstructured":"Kreisel, G., Putnam, H.: Eine Unableitbarkeitsbeweismethode f\u00fcr den Intuitionistischen Aussagenkalk\u00fcl. Archiv f\u00fcr Mathematische Logik und Grundlagenforschung\u00a03, 74\u201378 (1957)","journal-title":"Archiv f\u00fcr Mathematische Logik und Grundlagenforschung"},{"key":"28_CR3","first-page":"54","volume":"2","author":"R. W\u00f3jcicki","year":"1973","unstructured":"W\u00f3jcicki, R.: Dual counterparts of consequence operations. Bulletin of the Section of Logic\u00a02, 54\u201357 (1973)","journal-title":"Bulletin of the Section of Logic"},{"key":"28_CR4","first-page":"22","volume-title":"3rd Annual Symposium on Logics in Computer Science","author":"M. Tiomkin","year":"1988","unstructured":"Tiomkin, M.: Proving unprovability. In: 3rd Annual Symposium on Logics in Computer Science, pp. 22\u201327. IEEE, Los Alamitos (1988)"},{"key":"28_CR5","unstructured":"Bonatti, P.A.: A Gentzen system for non-theorems. Technical Report CD-TR 93\/52, Christian Doppler Labor f\u00fcr Expertensysteme, Technische Universit\u00e4t Wien (1993)"},{"key":"28_CR6","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1007\/BF01054714","volume":"53","author":"V. Goranko","year":"1994","unstructured":"Goranko, V.: Refutation systems in modal logic. Studia Logica\u00a053, 299\u2013324 (1994)","journal-title":"Studia Logica"},{"key":"28_CR7","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/978-94-017-2798-3_4","volume-title":"Proof Theory of Modal Logic","author":"T. Skura","year":"1996","unstructured":"Skura, T.: Refutations and proofs in S4. In: Proof Theory of Modal Logic, pp. 45\u201351. Kluwer, Dordrecht (1996)"},{"key":"28_CR8","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/s11787-009-0009-y","volume":"3","author":"T. Skura","year":"2009","unstructured":"Skura, T.: A refutation theory. Logica Universalis\u00a03, 293\u2013302 (2009)","journal-title":"Logica Universalis"},{"key":"28_CR9","first-page":"179","volume":"23","author":"U. Wybraniec-Skardowska","year":"2005","unstructured":"Wybraniec-Skardowska, U.: On the notion and function of the rejection of propositions. Acta Universitatis Wratislaviensis Logika\u00a023, 179\u2013202 (2005)","journal-title":"Acta Universitatis Wratislaviensis Logika"},{"key":"28_CR10","doi-asserted-by":"publisher","first-page":"999","DOI":"10.1002\/int.20304","volume":"23","author":"R. Caferra","year":"2008","unstructured":"Caferra, R., Peltier, N.: Accepting\/rejecting propositions from accepted\/rejected propositions: A unifying overview. International Journal of Intelligent Systems\u00a023, 999\u20131020 (2008)","journal-title":"International Journal of Intelligent Systems"},{"key":"28_CR11","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1145\/505372.505374","volume":"3","author":"P.A. Bonatti","year":"2002","unstructured":"Bonatti, P.A., Olivetti, N.: Sequent calculi for propositional nonmonotonic logics. ACM Transactions on Computational Logic\u00a03, 226\u2013278 (2002)","journal-title":"ACM Transactions on Computational Logic"},{"key":"28_CR12","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1145\/377978.377987","volume":"2","author":"U. Egly","year":"2001","unstructured":"Egly, U., Tompits, H.: Proof-complexity results for nonmonotonic reasoning. ACM Transactions on Computational Logic\u00a02, 340\u2013387 (2001)","journal-title":"ACM Transactions on Computational Logic"},{"issue":"1","key":"28_CR13","doi-asserted-by":"publisher","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. Journal of Symbolic Logic\u00a056 (1), 276\u2013294 (1991)","journal-title":"Journal of Symbolic Logic"},{"key":"28_CR14","first-page":"65","volume":"32","author":"K. G\u00f6del","year":"1932","unstructured":"G\u00f6del, K.: Zum intuitionistischen Aussagenkalk\u00fcl. Anzeiger Akademie der Wissenschaften Wien, mathematisch-naturwissenschaftliche Klasse\u00a032, 65\u201366 (1932)","journal-title":"Anzeiger Akademie der Wissenschaften Wien, mathematisch-naturwissenschaftliche Klasse"},{"key":"28_CR15","doi-asserted-by":"publisher","first-page":"526","DOI":"10.1145\/383779.383783","volume":"2","author":"V. Lifschitz","year":"2001","unstructured":"Lifschitz, V., Pearce, D., Valverde, A.: Strongly equivalent logic programs. ACM Transactions on Computational Logic\u00a02, 526\u2013541 (2001)","journal-title":"ACM Transactions on Computational Logic"},{"key":"28_CR16","unstructured":"Bryll, G., Maduch, M.: Aksjomaty odrzucone dla wielowarto\u015bciowych logik \u0141ukasiewicza. In: Zeszyty Naukowe Wy\u017cszej Szk\u0142y Pedagogigicznej w Opolu, Matematyka VI, Logika i algebra, pp. 3\u201317 (1968)"},{"key":"28_CR17","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1109\/ISMVL.2001.924586","volume-title":"31st IEEE International Symposium on Multiple-Valued Logic","author":"A. Avron","year":"2001","unstructured":"Avron, A.: Classical Gentzen-type methods in propositional many-valued logics. In: 31st IEEE International Symposium on Multiple-Valued Logic, pp. 287\u2013298. IEEE, Los Alamitos (2001)"},{"key":"28_CR18","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing\u00a09, 365\u2013385 (1991)","journal-title":"New Generation Computing"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-20895-9_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T01:17:13Z","timestamp":1558574233000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-20895-9_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642208942","9783642208959"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-20895-9_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}