{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T09:07:01Z","timestamp":1742980021754,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":39,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540407874"},{"type":"electronic","value":"9783540452065"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45206-5_4","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T05:17:05Z","timestamp":1294377425000},"page":"4-16","source":"Crossref","is-referenced-by-count":3,"title":["Tableaux with Four Signs as a Unified Framework"],"prefix":"10.1007","author":[{"given":"Arnon","family":"Avron","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"4_CR1","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/BF00215626","volume":"5","author":"O. Arieli","year":"1996","unstructured":"Arieli, O., Avron, A.: Reasoning with logical bilattices. J. of Logic, Language and Information\u00a05(1), 25\u201363 (1996)","journal-title":"J. of Logic, Language and Information"},{"issue":"1","key":"4_CR2","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/S0004-3702(98)00032-0","volume":"102","author":"O. Arieli","year":"1998","unstructured":"Arieli, O., Avron, A.: The value of four values. Artificial Intelligence\u00a0102(1), 97\u2013141 (1998)","journal-title":"Artificial Intelligence"},{"key":"4_CR3","volume-title":"Entailment","author":"A.R. Anderson","year":"1975","unstructured":"Anderson, A.R., Belnap, N.D.: Entailment, vol.\u00a0I. Princeton University Press, Princeton (1975)"},{"key":"4_CR4","volume-title":"Entailment","author":"A.R. Anderson","year":"1992","unstructured":"Anderson, A.R., Belnap, N.D.: Entailment, vol.\u00a0II. Princeton University Press, Princeton (1992)"},{"key":"4_CR5","doi-asserted-by":"publisher","first-page":"231","DOI":"10.2307\/2274105","volume":"49","author":"A. Almukdad","year":"1984","unstructured":"Almukdad, A., Nelson, D.: Constructible falsity and inexact predicates. Journal of Symbolic Logic\u00a049, 231\u2013333 (1984)","journal-title":"Journal of Symbolic Logic"},{"key":"4_CR6","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1305\/ndjfl\/1093636612","volume":"27","author":"A. Avron","year":"1986","unstructured":"Avron, A.: On an implication connective of RM. Notre Dame Journal of Formal Logic\u00a027, 201\u2013209 (1986)","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"1","key":"4_CR7","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. J. of Symbolic Logic\u00a056(1), 276\u2013294 (1991)","journal-title":"J. of Symbolic Logic"},{"key":"4_CR8","doi-asserted-by":"publisher","first-page":"977","DOI":"10.1093\/logcom\/9.6.977","volume":"9","author":"A. Avron","year":"1999","unstructured":"Avron, A.: On the expressive power of three-valued and four-valued languages. Journal of Logic and Computation\u00a09, 977\u2013994 (1999)","journal-title":"Journal of Logic and Computation"},{"key":"4_CR9","series-title":"Studies in Fuzziness and Soft Computing","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/978-3-7908-1769-0_5","volume-title":"Beyond Two: Theory and Applications of Multiple-Valued Logic","author":"A. Avron","year":"2003","unstructured":"Avron, A.: Classical Gentzen-type methods in propositional many-valued logics. In: Fitting, M., Orlowska, E. (eds.) Beyond Two: Theory and Applications of Multiple-Valued Logic. Studies in Fuzziness and Soft Computing, vol.\u00a0114, pp. 117\u2013155. Physica Verlag, Heidelberg (2003)"},{"key":"4_CR10","doi-asserted-by":"publisher","first-page":"523","DOI":"10.1305\/ndjfl\/1093636764","volume":"27","author":"M. Baaz","year":"1986","unstructured":"Baaz, M.: Kripke-type semantics for da Costa\u2019s paraconsistent logic c\n                    \u03c9\n                  . Notre Dame Journal of Formal Logic\u00a027, 523\u2013527 (1986)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"4_CR11","first-page":"30","volume-title":"Contemporary Aspects of Philosophy","author":"N.D. Belnap","year":"1977","unstructured":"Belnap, N.D.: How computers should think. In: Ryle, G. (ed.) Contemporary Aspects of Philosophy, pp. 30\u201356. Oriel Press, Stocksfield (1977)"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Belnap, N.D.: A useful four-valued logic. In: Epstein, G., Dunn, J.M. (eds.) Modern Uses of Multiple-Valued Logic, pp. 7\u201337. Reidel, Dordrecht (1977)","DOI":"10.1007\/978-94-010-1161-7_2"},{"key":"4_CR13","volume-title":"Handbook of Automated Reasoning","author":"M. Baaz","year":"2000","unstructured":"Baaz, M., Ferm\u00fcller, C.G., Salzer, G.: Automated deduction for many-valued logics. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning. Elsevier Science Publishers, Amsterdam (2000)"},{"key":"4_CR14","first-page":"45","volume-title":"Partiality, Modality, and Nonmonotonicity","author":"D. Busch","year":"1996","unstructured":"Busch, D.: Sequent formalizations of three-valued logic. In: Partiality, Modality, and Nonmonotonicity. Studies in Logic, Language and Information, pp. 45\u201375. CSLI Publications, Stanford (1996)"},{"key":"4_CR15","series-title":"Lecture notes in pure and applied Mathematics","volume-title":"AAECC 1984","author":"W.A. Carnielli","year":"2002","unstructured":"Carnielli, W.A., Marcos, J.: A taxonomy of c-systems. In: Coniglio, M.E., Carnielli, W.A., D\u2019ottaviano, I.L.M. (eds.) AAECC 1984. Lecture notes in pure and applied Mathematics, Marcell Dekker, New York, vol.\u00a0228. Springer, Heidelberg (2002)"},{"key":"4_CR16","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1305\/ndjfl\/1093891487","volume":"15","author":"N.C.A. da Costa","year":"1974","unstructured":"da Costa, N.C.A.: On the theory of inconsistent formal systems. Notre Dame Journal of Formal Logic\u00a015, 497\u2013510 (1974)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"4_CR17","first-page":"1349","volume":"270","author":"I.L.M. D\u2019ottaviano","year":"1970","unstructured":"D\u2019ottaviano, I.L.M., da Costa, N.C.A.: Sur un problm\u0301e de Jaskowski. C. R.Acad. Sc. Paris, S\u00e9rie A\u00a0270, 1349\u20131353 (1970)","journal-title":"C. R.Acad. Sc. Paris, S\u00e9rie A"},{"issue":"1-2","key":"4_CR18","first-page":"31","volume":"XIX","author":"I.L.M. D\u2019ottaviano","year":"1985","unstructured":"D\u2019ottaviano, I.L.M.: The completeness and compactness of a three-valued firstorder logic. Revista Colombiana de Matematicas\u00a0XIX(1-2), 31\u201342 (1985)","journal-title":"Revista Colombiana de Matematicas"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Dunn, J.M.: Relevance logic and entailment, in [26], vol.\u00a0III, ch. 3, pp. 117\u2013224 (1986)","DOI":"10.1007\/978-94-009-5203-4_3"},{"key":"4_CR20","volume-title":"Propositional logics","author":"R.L. Epstein","year":"1990","unstructured":"Epstein, R.L.: The semantic foundation of logic. In: Propositional logics, vol.\u00a0I ch. IX. Kluwer Academic Publisher, Dordrecht (1990)"},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"Fitting, M.: Proof Methods for Modal and Intuitionistic Logics. Reidel, Dordrecht (1983)","DOI":"10.1007\/978-94-017-2794-5"},{"key":"4_CR22","first-page":"238","volume-title":"20th Int. Symp. on Multiple- Valued Logic","author":"M. Fitting","year":"1990","unstructured":"Fitting, M.: Bilattices in logic programming. In: Epstein, G. (ed.) 20th Int. Symp. on Multiple- Valued Logic, pp. 238\u2013246. IEEE Press, Los Alamitos (1990)"},{"key":"4_CR23","doi-asserted-by":"publisher","first-page":"797","DOI":"10.1093\/logcom\/1.6.797","volume":"1","author":"M. Fitting","year":"1990","unstructured":"Fitting, M.: Kleene\u2019s logic, generalized. Journal of Logic and Computation\u00a01, 797\u2013810 (1990)","journal-title":"Journal of Logic and Computation"},{"issue":"2","key":"4_CR24","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/0743-1066(91)90014-G","volume":"11","author":"M. Fitting","year":"1991","unstructured":"Fitting, M.: Bilattices and the semantics of logic programming. Journal of Logic Programming\u00a011(2), 91\u2013116 (1991)","journal-title":"Journal of Logic Programming"},{"key":"4_CR25","doi-asserted-by":"crossref","first-page":"113","DOI":"10.3233\/FI-1994-201234","volume":"20","author":"M. Fitting","year":"1994","unstructured":"Fitting, M.: Kleene\u2019s three-valued logics and their children. Fundamenta Informaticae\u00a020, 113\u2013131 (1994)","journal-title":"Fundamenta Informaticae"},{"key":"4_CR26","doi-asserted-by":"crossref","unstructured":"Gabbay, D.M., Guenthner, F.: Handbook of Philosophical Logic. D. Reidel Publishing company, Dordrecht (1986)","DOI":"10.1007\/978-94-009-5203-4"},{"key":"4_CR27","unstructured":"Ginsberg, M.L.: Multiple-valued logics. In: Ginsberg, M.L. (ed.) Readings in Non-Monotonic Reasoning, Los-Altos, CA, pp. 251\u2013258 (1987)"},{"key":"4_CR28","first-page":"256","volume":"4","author":"M.L. Ginsberg","year":"1988","unstructured":"Ginsberg, M.L.: Multivalued logics: a uniform approach to reasoning in AI. Computer Intelligence\u00a04, 256\u2013316 (1988)","journal-title":"Computer Intelligence"},{"key":"4_CR29","doi-asserted-by":"crossref","first-page":"529","DOI":"10.1007\/978-94-017-1754-0_9","volume-title":"Handbook of Tableau Methods","author":"R. H\u00e4hnle","year":"1999","unstructured":"H\u00e4hnle, R.: Tableaux for multiple-valued logics. In: D\u2019Agostino, M., Gabbay, D.M., H\u00e4hnle, R., Posegga, J. (eds.) Handbook of Tableau Methods, pp. 529\u2013580. Kluwer Publishing Company, Dordrecht (1999)"},{"key":"4_CR30","volume-title":"Systematic Software Development Using VDM","author":"C.B. Jones","year":"1986","unstructured":"Jones, C.B.: Systematic Software Development Using VDM. Prentice-Hall International, U.K (1986)"},{"key":"4_CR31","volume-title":"Polish Logic","author":"J. \u0141ukasiewicz","year":"1967","unstructured":"\u0141ukasiewicz, J.: On 3-valued logic. In: McCall, S. (ed.) Polish Logic. Oxford University Press, Oxford (1967)"},{"key":"4_CR32","first-page":"1","volume":"12","author":"A. Monteiro","year":"1967","unstructured":"Monteiro, A.: Construction des algebres de \u0141ukasiewicz trivalentes dans les algebres de Boole monadiques, i. Mat. Jap.\u00a012, 1\u201323 (1967)","journal-title":"Mat. Jap."},{"key":"4_CR33","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1305\/ndjfl\/1093893524","volume":"9","author":"A.R. Raggio","year":"1968","unstructured":"Raggio, A.R.: Propositional sequence-calculi for inconsistent systems. Notre Dame Journal of Formal logic\u00a09, 359\u2013366 (1968)","journal-title":"Notre Dame Journal of Formal logic"},{"key":"4_CR34","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1016\/0020-0255(89)90003-0","volume":"47","author":"L.I. Rozoner","year":"1989","unstructured":"Rozoner, L.I.: On interpretation of inconsistent theories. Information Sciences\u00a047, 243\u2013266 (1989)","journal-title":"Information Sciences"},{"key":"4_CR35","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1007\/3-540-16780-3_90","volume-title":"Proceedings of the 8th International Conference on Automated Deduction","author":"P.H. Schmitt","year":"1986","unstructured":"Schmitt, P.H.: Computational aspects of three-valued logic. In: Siekmann, J.H. (ed.) CADE 1986. LNCS, vol.\u00a0230, pp. 190\u2013198. Springer, Heidelberg (1986)"},{"key":"4_CR36","first-page":"9","volume":"29","author":"J. Slupecki","year":"1936","unstructured":"Slupecki, J.: Der volle dreiwertige aussagenkalk\u00fcl. Com. rend. Soc. Sci. Lett. de Varsovie\u00a029, 9\u201311 (1936)","journal-title":"Com. rend. Soc. Sci. Lett. de Varsovie"},{"key":"4_CR37","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/BF01969697","volume":"12","author":"F. von Kutschera","year":"1969","unstructured":"von Kutschera, F.: Ein verallgemeinerter widerlegungsbegriff f\u00fcr Gentzenkalk\u00fcle. Archiv fur Mathematische Logik und Grundlagenforschung\u00a012, 104\u2013118 (1969)","journal-title":"Archiv fur Mathematische Logik und Grundlagenforschung"},{"key":"4_CR38","series-title":"LNAI","volume-title":"The Logic of Information Structures","year":"1993","unstructured":"Wansing, H. (ed.): The Logic of Information Structures. LNCS (LNAI), vol.\u00a0681. Springer, Heidelberg (1993)"},{"key":"4_CR39","volume-title":"Lectures on Propositional Calculi","author":"R. W\u00f3jcicki","year":"1984","unstructured":"W\u00f3jcicki, R.: Lectures on Propositional Calculi. Ossolineum, Warsaw (1984)"}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning with Analytic Tableaux and Related Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45206-5_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,11]],"date-time":"2023-02-11T00:55:44Z","timestamp":1676076944000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-45206-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540407874","9783540452065"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45206-5_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}