{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T17:30:11Z","timestamp":1742923811267,"version":"3.40.3"},"publisher-location":"Cham","reference-count":45,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319404172"},{"type":"electronic","value":"9783319404189"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-40418-9_5","type":"book-chapter","created":{"date-parts":[[2016,7,21]],"date-time":"2016-07-21T12:57:30Z","timestamp":1469105850000},"page":"49-76","source":"Crossref","is-referenced-by-count":0,"title":["A Survey of Annotated Logics"],"prefix":"10.1007","author":[{"given":"Seiki","family":"Akama","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,7,22]]},"reference":[{"unstructured":"Abe, J. M.: On the Foundations of Annotated Logics (in Portuguese). Ph.D. Thesis, University of S\u00e3o Paulo, Brazil (1992)","key":"5_CR1"},{"key":"5_CR2","first-page":"553","volume":"40","author":"JM Abe","year":"1994","unstructured":"Abe, J.M.: On annotated modal logics. Mathematica Japonica 40, 553\u201356 (1994)","journal-title":"Mathematica Japonica"},{"unstructured":"Abe, J.M.: Curry algebra $$P\\tau $$ . Logique et Analyse 161-162-163, 5\u201315 (1998)","key":"5_CR3"},{"volume-title":"Paraconsistent Intelligent Based-Systems","year":"2015","unstructured":"Abe, J.M. (ed.): Paraconsistent Intelligent Based-Systems. Springer, Heidelberg (2015)","key":"5_CR4"},{"unstructured":"Abe, J.M., Akama, S.: Annotated logics $$Q\\tau $$ and ultraproduct. Logique et Analyse 160, 335\u2013343 (1997) (published in 2000)","key":"5_CR5"},{"unstructured":"Abe, J.M., Akama, S.: On some aspects of decidability of annotated systems. In: Arabnia, H.R. (ed.) Proceedings of the International Conference on Artificial Intelligence, vol. II, pp. 789\u2013795. CREA Press (2001)","key":"5_CR6"},{"doi-asserted-by":"crossref","unstructured":"Abe, J.M., Akama, S.: Annotated temporal logics $$\\Delta \\tau $$ . In: Advances in Artificial Intelligence: Proceedings of IBERAIA-SBIA 2000, LNCS 1952, pp. 217\u2013226. Springer, Berlin (2000)","key":"5_CR7","DOI":"10.1007\/3-540-44399-1_23"},{"key":"5_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-17912-4","volume-title":"Introduction to Annotated Logics","author":"JM Abe","year":"2015","unstructured":"Abe, J.M., Akama, S., Nakamatsu, K.: Introduction to Annotated Logics. Springer, Heidelberg (2015)"},{"doi-asserted-by":"crossref","unstructured":"Akama, S., Abe, J.M.: Many-valued and annotated modal logics. In: Proceedings of the 28th International Symposium on Multiple-Valued Logic, pp. 114\u2013119. Fukuoka (1998)","key":"5_CR9","DOI":"10.1109\/ISMVL.1998.679316"},{"unstructured":"Akama, S., Abe, J.M.: Fuzzy annotated logics. In: Proceedings of IPMU\u20192000, pp. 504\u2013508. Madrid, Spain (2000)","key":"5_CR10"},{"unstructured":"Akama, S., Abe, J.M.: The degree of inconsistency in paraconsistent logics. In: Abe, J.M., da Silva Filho, J.I. (eds.) Logic, Artificial Intelligence and Robotics, pp. 13\u201323. IOS Press, Amsterdam (2001)","key":"5_CR11"},{"unstructured":"Akama, S., Abe, J.M., Murai, T.: On the relation of fuzzy and annotated logics. In: Proceedings of ASC\u20192003, pp. 46\u201351. Banff, Canada (2003)","key":"5_CR12"},{"unstructured":"Akama, S., Abe, J.M., Murai, T.: A tableau formulation of annotated logics. In: Cialdea Mayer, M., Pirri, F. (eds.) Proceedings of TABLEAUX\u20192003, pp. 1\u201313. Rome, Italy (2003)","key":"5_CR13"},{"doi-asserted-by":"crossref","unstructured":"Akama, S., Nakamatsu, K., Abe, J.M.: A natural deduction system for annotated predicate logic. In: Knowledge-Based Intelligent Information and Engineering Systems: Proceedings of KES 2007\u2014WIRN 2007, Part II, pp. 861\u2013868. Lecture Notes on Artificial Intelligence, vol. 4693. Springer, Berlin (2007)","key":"5_CR14","DOI":"10.1007\/978-3-540-74827-4_108"},{"key":"5_CR15","volume-title":"Entailment: The Logic of Relevance and Necessity I","author":"A Anderson","year":"1976","unstructured":"Anderson, A., Belnap, N.: Entailment: The Logic of Relevance and Necessity I. Princeton University Press, Princeton (1976)"},{"key":"5_CR16","volume-title":"Entailment: The Logic of Relevance and Necessity II","author":"A Anderson","year":"1992","unstructured":"Anderson, A., Belnap, N., Dunn, J.: Entailment: The Logic of Relevance and Necessity II. Princeton University Press, Princeton (1992)"},{"doi-asserted-by":"crossref","unstructured":"Batens, D.: Dynamic dialectical logics. In: Priest, G., Routley, R., Norman, J. (eds.) Paraconsistent Logic: Essay on the Inconsistent, pp 187\u2013217. Philosophia Verlag, M\u00fcnchen (1989)","key":"5_CR17","DOI":"10.2307\/j.ctv2x8v8c7.9"},{"key":"5_CR18","first-page":"57","volume":"145","author":"D Batens","year":"1994","unstructured":"Batens, D.: Inconsistency-adaptive logics and the foundation of non-monotonic logics. Logique et Analyse 145, 57\u201394 (1994)","journal-title":"Logique et Analyse"},{"key":"5_CR19","first-page":"45","volume":"173\u2013175","author":"D Batens","year":"2001","unstructured":"Batens, D.: A general characterization of adaptive logics. Logique et Analyse 173\u2013175, 45\u201368 (2001)","journal-title":"Logique et Analyse"},{"doi-asserted-by":"crossref","unstructured":"Belnap, N.D.: A useful four-valued logic. In: Dunn, J.M., Epstein, G. (eds.) Modern Uses of Multi-Valued Logic, pp. 8\u201337. Reidel, Dordrecht (1977)","key":"5_CR20","DOI":"10.1007\/978-94-010-1161-7_2"},{"unstructured":"Belnap, N.D.: How a computer should think. In: Ryle, G. (ed.) Contemporary Aspects of Philosophy, pp. 30\u201355. Oriel Press (1977)","key":"5_CR21"},{"key":"5_CR22","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/0304-3975(89)90126-6","volume":"68","author":"HA Blair","year":"1989","unstructured":"Blair, H.A., Subrahmanian, V.S.: Paraconsistent logic programming. Theor. Comput. Sci. 68, 135\u2013154 (1989)","journal-title":"Theor. Comput. Sci."},{"doi-asserted-by":"crossref","unstructured":"Carnielli, W.A., Coniglio, M.E., Marcos, J.: Logics of formal inconsistency. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn, vol. 14, pp. 1\u201393 Springer, Heidelberg (2007)","key":"5_CR23","DOI":"10.1007\/978-1-4020-6324-4_1"},{"key":"5_CR24","doi-asserted-by":"crossref","first-page":"443","DOI":"10.1305\/ndjfl\/1093891405","volume":"14","author":"NCA Costa da","year":"1974","unstructured":"da Costa, N.C.A.: $$\\alpha $$ -models and the system $$T$$ and $$T^*$$ . Notre Dame J. Form. Logic 14, 443\u2013454 (1974)","journal-title":"Notre Dame J. Form. Logic"},{"key":"5_CR25","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1305\/ndjfl\/1093891487","volume":"15","author":"NCA Costa da","year":"1974","unstructured":"da Costa, N.C.A.: On the theory of inconsistent formal systems. Notre Dame J. Form. Logic 15, 497\u2013510 (1974)","journal-title":"Notre Dame J. Form. Logic"},{"key":"5_CR26","first-page":"561","volume":"37","author":"NCA Costa da","year":"1991","unstructured":"da Costa, N.C.A., Abe, J.M., Subrahmanian, V.S.: Remarks on annotated logic. Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik 37, 561\u2013570 (1991)","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"},{"key":"5_CR27","doi-asserted-by":"crossref","first-page":"621","DOI":"10.1305\/ndjfl\/1093888132","volume":"18","author":"NCA Costa da","year":"1977","unstructured":"da Costa, N.C.A., Alves, E.H.: A semantical analysis of the calculi $$C_n$$ . Notre Dame J. Form. Logic 18, 621\u2013630 (1977)","journal-title":"Notre Dame J. Form. Logic"},{"doi-asserted-by":"crossref","unstructured":"da Costa, N.C.A., Henschen, L.J., Lu, J.J., Subrahmanian, V.S.: Automatic theorem proving in paraconsistent logics: foundations and implementation. In: Proceedings of the 10th International Conference on Automated Deduction, pp. 72\u201386, Springer, Berlin (1990)","key":"5_CR28","DOI":"10.1007\/3-540-52885-7_80"},{"doi-asserted-by":"crossref","unstructured":"da Costa, N.C.A., Subrahmanian: Paraconsistent logic as a formalism for reasoning about inconsistent knowledge. Artif. Intell. Med. 1, 167\u2013174 (1989)","key":"5_CR29","DOI":"10.1016\/0933-3657(89)90031-6"},{"doi-asserted-by":"crossref","unstructured":"da Costa, N.C.A., Subrahmanian, V.S., Vago, C.: The paraconsistent logic $$P{\\cal T}$$ . Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik 37, 139\u2013148 (1991)","key":"5_CR30","DOI":"10.1002\/malq.19910370903"},{"doi-asserted-by":"crossref","unstructured":"Dunn, J.M.: Relevance logic and entailment. In: Gabbay, D., Gunthner, F. (eds.) Handbook of Philosophical Logic, vol. III, pp. 117\u2013224. Reidel, Dordrecht (1986)","key":"5_CR31","DOI":"10.1007\/978-94-009-5203-4_3"},{"key":"5_CR32","first-page":"21","volume":"48","author":"M Eytan","year":"1975","unstructured":"Eytan, M.: Tableaux de Smullyan, ensebles de Hintikka et tour ya: un point de vue Algebriquem. Math. Sci. Hum. 48, 21\u201327 (1975)","journal-title":"Math. Sci. Hum."},{"key":"5_CR33","first-page":"55","volume":"1","author":"S Ja\u015bkowski","year":"1948","unstructured":"Ja\u015bkowski, S.: Propositional calculus for contradictory deductive systems (in Polish). Studia Societatis Scientiarun Torunesis, Sectio A 1, 55\u201377 (1948)","journal-title":"Studia Societatis Scientiarun Torunesis, Sectio A"},{"key":"5_CR34","first-page":"171","volume":"8","author":"S Ja\u015bkowski","year":"1949","unstructured":"Ja\u015bkowski, S.: On the discursive conjunction in the propositional calculus for inconsistent deductive systems (in Polish). Studia Societatis Scientiarun Torunesis, Sectio A 8, 171\u2013172 (1949)","journal-title":"Studia Societatis Scientiarun Torunesis, Sectio A"},{"doi-asserted-by":"crossref","unstructured":"Kifer, M., Lozinskii, E.L.: RI: a logic for reasoning with inconsistency. In: Proceedings of LICS4, pp. 253\u2013262 (1989)","key":"5_CR35","DOI":"10.1109\/LICS.1989.39180"},{"key":"5_CR36","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/BF00245460","volume":"9","author":"M Kifer","year":"1992","unstructured":"Kifer, M., Lozinskii, E.L.: A logic for reasoning with inconsistency. J. Autom. Reason. 9, 179\u2013215 (1992)","journal-title":"J. Autom. Reason."},{"unstructured":"Kifer, M., Subrahmanian, V.S.: On the expressive power of annotated logic programs. In: Proceedings of the 1989 North American Conference on Logic Programming, pp. 1069\u20131089 (1989)","key":"5_CR37"},{"key":"5_CR38","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1016\/0743-1066(92)90007-P","volume":"12","author":"M Kifer","year":"1992","unstructured":"Kifer, M., Subrahmanian, V.S.: Theory of generalized annotated logic programming. J. Logic Program. 12, 335\u2013367 (1992)","journal-title":"J. Logic Program."},{"key":"5_CR39","doi-asserted-by":"crossref","first-page":"694","DOI":"10.1305\/ndjfl\/1093883254","volume":"21","author":"C Mortensen","year":"1980","unstructured":"Mortensen, C.: Every quotient algebra for $$C_1$$ is trivial. Notre Dame J. Formal Logic 21, 694\u2013700 (1980)","journal-title":"Notre Dame J. Formal Logic"},{"volume-title":"Paraconsistent Logic: Essays on the Inconsistent","year":"1989","unstructured":"Priest, G., Routley, R., Norman, J. (eds.): Paraconsistent Logic: Essays on the Inconsistent. Philosopia Verlag, M\u00fcnchen (1989)","key":"5_CR40"},{"key":"5_CR41","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/BF00258428","volume":"8","author":"G Priest","year":"1979","unstructured":"Priest, G.: Logic of paradox. J. Philos. Logic 8, 219\u2013241 (1979)","journal-title":"J. Philos. Logic"},{"doi-asserted-by":"crossref","unstructured":"Priest, G.: Paraconsistent logic. In: Gabbay, D. Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn., pp. 287\u2013393. Kluwer, Dordrecht (2002)","key":"5_CR42","DOI":"10.1007\/978-94-017-0460-1_4"},{"doi-asserted-by":"crossref","unstructured":"Priest, G.: In Contradiction: A Study of the Transconsistent, 2nd edn. Oxford University Press, Oxford (2006)","key":"5_CR43","DOI":"10.1093\/acprof:oso\/9780199263301.001.0001"},{"unstructured":"Routley, R., Plumwood, V., Meyer, R.K., Brady, R.: Relevant Logics and Their Rivals, vol. 1. Ridgeview, Atascadero (1982)","key":"5_CR44"},{"unstructured":"Subrahmanian, V.: On the semantics of quantitative logic programs. In: Proceedings of the 4th IEEE Symposium on Logic Programming, pp. 173\u2013182 (1987)","key":"5_CR45"}],"container-title":["Intelligent Systems Reference Library","Towards Paraconsistent Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-40418-9_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,19]],"date-time":"2023-08-19T08:57:04Z","timestamp":1692435424000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-40418-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319404172","9783319404189"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-40418-9_5","relation":{},"ISSN":["1868-4394","1868-4408"],"issn-type":[{"type":"print","value":"1868-4394"},{"type":"electronic","value":"1868-4408"}],"subject":[],"published":{"date-parts":[[2016]]}}}