{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:44:22Z","timestamp":1725493462985},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540759386"},{"type":"electronic","value":"9783540759393"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"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":[[2007]]},"DOI":"10.1007\/978-3-540-75939-3_1","type":"book-chapter","created":{"date-parts":[[2007,10,27]],"date-time":"2007-10-27T01:47:10Z","timestamp":1193449630000},"page":"1-24","source":"Crossref","is-referenced-by-count":9,"title":["Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency"],"prefix":"10.1007","author":[{"given":"Arnon","family":"Avron","sequence":"first","affiliation":[]},{"given":"Anna","family":"Zamansky","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1093\/logcom\/exi001","volume":"15","author":"A. Avron","year":"2005","unstructured":"Avron, A., Lev, I.: Non-deterministic Multi-valued Structures. Journal of Logic and Computation\u00a015, 241\u2013261 (2005)","journal-title":"Journal of Logic and Computation"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Avron, A.: Non-deterministic semantics for logics with a consistency operator. International Journal of Approximate Reasoning (forthcoming)","DOI":"10.1016\/j.ijar.2006.06.011"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Avron, A.: Non-deterministic Matrices and Modular Semantics of Rules. In: Beziau, J.-Y. (ed.) Logica Universalis, pp. 149\u2013167. Birkh\u0171ser Verlag (2005)","DOI":"10.1007\/3-7643-7304-0_9"},{"key":"1_CR4","unstructured":"Avron, A.: Non-deterministic Semantics for Families of Paraconsistent Logics. In: Beziau, J.-Y., Carnielli, W. (eds.) Paraconsistency with no Frontiers (to appear)"},{"key":"1_CR5","first-page":"296","volume-title":"Proceedings of the 35th IEEE International Symposium on Multiple-Valued Logics","author":"A. Avron","year":"2005","unstructured":"Avron, A., Zamansky, A.: Quantification in Non-deterministic Multi-valued Structures. In: Proceedings of the 35th IEEE International Symposium on Multiple-Valued Logics, pp. 296\u2013301. IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"1_CR6","unstructured":"Batens, D., Mortensen, C., Priest, G., van Bendegem, J.P. (eds.): Frontiers of Paraconsistent Logic, King s College Publications. Studies in Logic and Computation, vol.\u00a08. Research Studies Press (2000)"},{"key":"1_CR7","unstructured":"Bremer, M.: An Introduction to Paraconsistent Logics. Peter Lang GmbH (2005)"},{"key":"1_CR8","doi-asserted-by":"publisher","first-page":"115","DOI":"10.12775\/LLP.2000.008","volume":"8","author":"W.A. Carnielli","year":"2000","unstructured":"Carnielli, W.A., Marcos, J., de Amo, S.: Formal inconsistency and evolutionary databases. Logic and logical philosophy\u00a08, 115\u2013152 (2000)","journal-title":"Logic and logical philosophy"},{"key":"1_CR9","series-title":"Lecture notes in pure and applied mathematics","doi-asserted-by":"publisher","DOI":"10.1201\/9780203910139","volume-title":"Paraconsistency - the Logical Way to the Inconsistent","author":"W.A. Carnielli","year":"2002","unstructured":"Carnielli, W.A., Coniglio, M.E., D\u2019Ottaviano, I.M.L.: Paraconsistency - the Logical Way to the Inconsistent. Lecture notes in pure and applied mathematics, vol.\u00a0228. Marcel Dekker, New York (2002)"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Carnielli, W.A., Marcos, J.: A Taxonomy of C-systems. [9], pp. 1\u201394 (2002)","DOI":"10.1201\/9780203910139.pt1"},{"key":"1_CR11","volume-title":"Handbook of Philosophical Logic","author":"W.A. Carnielli","year":"2006","unstructured":"Carnielli, W.A., Coniglio, M.E., Marcos, J.: Logics of Formal Inconsistency. In: Gabbay, D., Guenther, F. (eds.) Handbook of Philosophical Logic, 2nd edn., Kluwer Academic Publishers, Dordrecht (2006)","edition":"2"},{"key":"1_CR12","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1305\/ndjfl\/1093891487","volume":"15","author":"N.C.A. Costa da","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":"1_CR13","doi-asserted-by":"publisher","first-page":"791","DOI":"10.1016\/B978-044451541-4\/50023-3","volume-title":"Philosophy of Logic","author":"N.C.A. Costa da","year":"2007","unstructured":"da Costa, N.C.A., Krause, D., Bueno, O.: Paraconsistent Logics and Paraconsistency: Technical and Philosophical Developments. In: Jacquette, D. (ed.) Philosophy of Logic, pp. 791\u2013911. North-Holland, Amsterdam (2007)"},{"key":"1_CR14","first-page":"109","volume-title":"Logic and Structure","author":"D. Dalen van","year":"1997","unstructured":"van Dalen, D.: Logic and Structure, pp. 109\u2013123. Springer, Heidelberg (1997)"},{"key":"1_CR15","unstructured":"Decker, H.: A Case for Paraconsistent Logic as Foundation of Future Information Systems. In: CAiSE Workshops, vol. 2, pp. 451\u2013461 (2005)"},{"key":"1_CR16","first-page":"65","volume-title":"A Mathematical Introduction to Logic","author":"H. Enderton","year":"1972","unstructured":"Enderton, H.: A Mathematical Introduction to Logic, pp. 65\u201397. Academic Press, London (1972)"},{"key":"1_CR17","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/978-1-4612-2360-3","volume-title":"First-Order Logic and Automated Theorem Proving","author":"M. Fitting","year":"1996","unstructured":"Fitting, M.: First-Order Logic and Automated Theorem Proving, pp. 109\u2013123. Springer, Heidelberg (1996)"},{"key":"1_CR18","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-94-017-0452-6_2","volume-title":"Handbook of Philosophical Logic","author":"H. Leblanc","year":"2001","unstructured":"Leblanc, H.: Alternatives to Standard First-order Semantics. In: Handbook of Philosophical Logic, 2nd edn., vol.\u00a02, pp. 53\u2013133. Kluwer academic publishers, Dordrecht (2001)","edition":"2"},{"key":"1_CR19","unstructured":"Shoenfield, J.R.: Mathematical Logic. Association for Symbolic Logic, 109\u2013123 (1967)"},{"key":"1_CR20","unstructured":"Zamansky, A., Avron, A.: Non-deterministic semantics for first-order paraconsistent logics. In: Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning, pp. 431\u2013440 (2006)"},{"key":"1_CR21","first-page":"296","volume-title":"ISMVL 2005","author":"A. Zamansky","year":"2005","unstructured":"Zamansky, A., Avron, A.: Quantification in non-deterministic multi-valued structures. In: ISMVL 2005. Proceedings of the 35th IEEE International Symposium on Multiple-Valued Logic, pp. 296\u2013301. IEEE Computer Society Press, Los Alamitos (2005)"}],"container-title":["Lecture Notes in Computer Science","Algebraic and Proof-theoretic Aspects of Non-classical Logics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75939-3_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T22:01:24Z","timestamp":1556920884000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75939-3_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540759386","9783540759393"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75939-3_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}