{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:18:23Z","timestamp":1725491903956},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540730989"},{"type":"electronic","value":"9783540730996"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73099-6_14","type":"book-chapter","created":{"date-parts":[[2007,9,14]],"date-time":"2007-09-14T07:04:02Z","timestamp":1189753442000},"page":"165-182","source":"Crossref","is-referenced-by-count":1,"title":["A Sequent Calculus for Bilattice-Based Logic and Its Many-Sorted Representation"],"prefix":"10.1007","author":[{"given":"Ekaterina","family":"Komendantskaya","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"publisher","first-page":"1355","DOI":"10.1016\/B978-044450813-3\/50022-9","volume-title":"Handbook of Automated Reasoning","author":"M. Baaz","year":"2001","unstructured":"Baaz, M., Fremuller, C.G., Sazler, G.: Automated deduction for many-valued logics. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, vol.\u00a02, pp. 1355\u20131402. Elsevier, Amsterdam (2001)"},{"key":"14_CR2","unstructured":"Baldoni, M.: Normal Multimodal Logics: Automatic Deduction and Logic Programming extension. PhD thesis, Torino, Italy (2003)"},{"key":"14_CR3","unstructured":"Church, A.: Introduction to Mathematical Logic. Princeton (1944)"},{"key":"14_CR4","volume-title":"Mathematical Logic","author":"H.D. Ebbinghaus","year":"1984","unstructured":"Ebbinghaus, H.D., Flum, J., Thomas, W.: Mathematical Logic. Springer, Berlin (1984)"},{"key":"14_CR5","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1109\/ISMVL.1990.122627","volume-title":"The twentieth International Symposium on Multiple-Valued Logic","author":"M. Fitting","year":"1990","unstructured":"Fitting, M.: Bilattices in logic programming. In: Epstein, G. (ed.) The twentieth International Symposium on Multiple-Valued Logic, pp. 238\u2013246. IEEE, Washington (1990)"},{"key":"14_CR6","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, 91\u2013116 (1991)","journal-title":"Journal of logic programming"},{"key":"14_CR7","first-page":"234","volume":"15","author":"M. Fitting","year":"1992","unstructured":"Fitting, M.: Many-valued modal logics. Fundamenta informaticae\u00a015, 234\u2013235 (1992)","journal-title":"Fundamenta informaticae"},{"key":"14_CR8","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":"14_CR9","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/BF01053032","volume":"55","author":"M. Fitting","year":"1995","unstructured":"Fitting, M.: Tableaus for many-valued modal logic. Studia Logica\u00a055, 63\u201387 (1995)","journal-title":"Studia Logica"},{"key":"14_CR10","unstructured":"Fitting, M.: Bilattices are nice things. Self-Reference, pp. 53\u201377 (2006)"},{"key":"14_CR11","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1111\/j.1467-8640.1988.tb00280.x","volume":"4","author":"M.L. Ginsberg","year":"1988","unstructured":"Ginsberg, M.L.: Multivalued logics: a uniform approach to reasoning in artificial intelligence. Computational Intelligence\u00a04, 265\u2013316 (1988)","journal-title":"Computational Intelligence"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Gr\u00e4tzer, G.: General Lattice Theory. Birkauser Verlag, Basel, Switzerland (1978)","DOI":"10.1007\/978-3-0348-7633-9"},{"issue":"1","key":"14_CR13","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1023\/A:1005086415447","volume":"61","author":"R. H\u00e4hnle","year":"1998","unstructured":"H\u00e4hnle, R.: Commodious axiomatizations of quantifiers in multiple-valued logic. Studia Logica\u00a061(1), 101\u2013121 (1998)","journal-title":"Studia Logica"},{"issue":"2","key":"14_CR14","first-page":"69","volume":"IV","author":"R. H\u00e4hnle","year":"1997","unstructured":"H\u00e4hnle, R., Escalado-Imaz, G.: Deduction in many-valued logics: a survey. Mathware and soft computing\u00a0IV(2), 69\u201397 (1997)","journal-title":"Mathware and soft computing"},{"key":"14_CR15","first-page":"253","volume-title":"LICS","author":"M. Kifer","year":"1989","unstructured":"Kifer, M., Lozinskii, E.L.: RI: A logic for reasoning with inconsistency. In: LICS. Proceedings of the 4th IEEE Symposium on Logic in Computer Science, pp. 253\u2013262. IEEE Computer Press, Asilomar (1989)"},{"key":"14_CR16","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1016\/0743-1066(92)90007-P","volume":"12","author":"M. Kifer","year":"1991","unstructured":"Kifer, M., Subrahmanian, V.S.: Theory of generalized annotated logic programming and its applications. Journal of logic programming\u00a012, 335\u2013367 (1991)","journal-title":"Journal of logic programming"},{"key":"14_CR17","unstructured":"Komendantskaya, E.: A many-sorted semantics for many-valued annotated logic programs. In: Proceedings of the Fourth Irish Conference on the Mathematical Foundations of Computer Science and Information Technology (MFCSIT), pp. 225\u2013229, Cork, Ireland (August 1\u20135, 2006)"},{"key":"14_CR18","unstructured":"Komendantskaya, E., Power, J.: Fibrational semantics for many-valued logic programs (submitted, 2007)"},{"key":"14_CR19","unstructured":"Komendantskaya, E., Seda, A.K., Komendantsky, V.: On approximation of the semantic operators determined by bilattice-based logic programs. In: Proceedings of the Seventh International Workshop on First-Order Theorem Proving (FTP 2005), pp. 112\u2013130, Koblenz, Germany, (September 15\u201317, 2005)"},{"issue":"6","key":"14_CR20","doi-asserted-by":"publisher","first-page":"755","DOI":"10.1093\/logcom\/6.6.755","volume":"6","author":"J.J. Lu","year":"1996","unstructured":"Lu, J.J.: Logic programming with signs and annotations. Journal of Logic and Computation\u00a06(6), 755\u2013778 (1996)","journal-title":"Journal of Logic and Computation"},{"issue":"1","key":"14_CR21","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1023\/A:1005784309139","volume":"21","author":"J.J. Lu","year":"1998","unstructured":"Lu, J.J., Murray, N.V., Rosenthal, E.: A framework for automated reasoning in multiple-valued logics. Journal of Automated Reasoning\u00a021(1), 39\u201367 (1998)","journal-title":"Journal of Automated Reasoning"},{"key":"14_CR22","first-page":"375","volume":"11","author":"J.J. Lu","year":"2005","unstructured":"Lu, J.J., Murray, N.V., Rosenthal, E.: Deduction and search strategies for regular multiple-valued logics. Journal of Multiple-valued logic and soft computing\u00a011, 375\u2013406 (2005)","journal-title":"Journal of Multiple-valued logic and soft computing"},{"key":"14_CR23","first-page":"3","volume-title":"Many-Sorted logic and its Applications","author":"M. Manzano","year":"1993","unstructured":"Manzano, M.: Introduction to many-sorted logic. In: Meinke, K., Tucker, J.V. (eds.) Many-Sorted logic and its Applications, pp. 3\u201388. John Wiley and Sons, UK (1993)"},{"key":"14_CR24","series-title":"Lecture Notes in Computer Science","first-page":"226","volume-title":"Automated Deduction - Cade-13","author":"G. Salzer","year":"1996","unstructured":"Salzer, G.: MUltlog 1.0: Towards an expert system for many-valued logics. In: McRobbie, M.A., Slaney, J.K. (eds.) Automated Deduction - Cade-13. LNCS, vol.\u00a01104, pp. 226\u2013230. Springer, Heidelberg (1996)"},{"issue":"1\u20132","key":"14_CR25","first-page":"185","volume":"162","author":"G. Sazler","year":"2000","unstructured":"Sazler, G.: Optimal axiomatizations of finitely-valued logics. Information and Computation\u00a0162(1\u20132), 185\u2013205 (2000)","journal-title":"Information and Computation"}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning with Analytic Tableaux and Related Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73099-6_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:11:54Z","timestamp":1605762714000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73099-6_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540730989","9783540730996"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73099-6_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}