{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T10:59:24Z","timestamp":1777892364649,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540273264","type":"print"},{"value":"9783540318880","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11518655_53","type":"book-chapter","created":{"date-parts":[[2010,7,15]],"date-time":"2010-07-15T14:45:39Z","timestamp":1279205139000},"page":"625-637","source":"Crossref","is-referenced-by-count":5,"title":["Non-deterministic Semantics for Paraconsistent C-Systems"],"prefix":"10.1007","author":[{"given":"Arnon","family":"Avron","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"53_CR1","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1007\/3-540-45744-5_45","volume-title":"Automated Reasoning","author":"A. Avron","year":"2001","unstructured":"Avron, A., Lev, I.: Canonical Propositional Gentzen-Type Systems. In: Gor\u00e9, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol.\u00a02083, pp. 529\u2013544. Springer, Heidelberg (2001)"},{"key":"53_CR2","doi-asserted-by":"crossref","first-page":"282","DOI":"10.1109\/ISMVL.2004.1319955","volume-title":"Proceedings of the 34th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2004)","author":"A. Avron","year":"2004","unstructured":"Avron, A., Lev, I.: Non-deterministic Matrices. In: Proceedings of the 34th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2004), pp. 282\u2013287. IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"53_CR3","unstructured":"Avron, A., Lev, I.: Non-deterministic Multiple-valued Structures. To appear in the Journal of Logic and Computation"},{"key":"53_CR4","unstructured":"Batens, D., De Clercq, K., Kurtonina, N.: Embedding and Interpolation for Some Paralogics. The Propositional Case, Reports on Mathematical Logic 33, 29\u201344 (1999)"},{"key":"53_CR5","unstructured":"Batens, D., Mortensen, C., Priest, G., Van Bendegem, J.P. (eds.): Frontiers of Paraconsistent Logic. King\u2019s College Publications, Research Studies Press, Baldock (2000)"},{"key":"53_CR6","unstructured":"Bremer, M.: An Introduction to Paraconsistent Logics. Peter Lang GmbH (2005)"},{"key":"53_CR7","unstructured":"Carnielli, W.A.: Possible-translations Semantics for Paraconsistent Logics. [5], 149\u2013163"},{"key":"53_CR8","first-page":"286","volume-title":"Proc. of the 15th International Conference on Artificial Intelligence and the 10th Conference on Innovative Applications of Artificial Intelligence","author":"J.M. Crawford","year":"1998","unstructured":"Crawford, J.M., Etherington, D.W.: A Non-deterministic Semantics for Tractable Inference. In: Proc. of the 15th International Conference on Artificial Intelligence and the 10th Conference on Innovative Applications of Artificial Intelligence, pp. 286\u2013291. MIT Press, Cambridge (1998)"},{"key":"53_CR9","unstructured":"Carnielli, W.A., Marcos, J.: A Taxonomy of C-systems. [11], 1\u201394"},{"key":"53_CR10","volume-title":"To appear in Handbook of Philosophical Logic","author":"W.A. Carnielli","year":"2005","unstructured":"Carnielli, W.A., Coniglio, M.E., Marcos, J.: Logics of Formal Inconsistency. In: Gabbay, D., Guenthner, F. (eds.) To appear in Handbook of Philosophical Logic, 2nd edn. Kluwer Academic Publishers, Dordrecht (2005)","edition":"2"},{"key":"53_CR11","doi-asserted-by":"crossref","unstructured":"Carnielli, W.A., Coniglio, M.E., D\u2019ottaviano, I.L.M. (eds.): Paraconsistency\u00a0\u2014 the logical way to the inconsistent. Lecture Notes in Pure and Applied Mathematics. Marcel Dekker (2002)","DOI":"10.1201\/9780203910139"},{"key":"53_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":"53_CR13","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, North-Holland, Amsterdam (to appear)"},{"key":"53_CR14","volume-title":"Fundamentals in Man-Machine Communication: Speech, Vision, and Natural Language","author":"J.P. Delgrande","year":"1986","unstructured":"Delgrande, J.P., Mylopoulos, J.: Knowledge Representation: Features of Knowledge. In: Haton, J.P. (ed.) Fundamentals in Man-Machine Communication: Speech, Vision, and Natural Language, Cambridge University Press, Cambridge (1986); Bibel, W., et al.(eds.) Reprinted in Fundamentals of Artificial Intelligence pp. 1\u201336, Springer, Heidelberg (1987)"}],"container-title":["Lecture Notes in Computer Science","Symbolic and Quantitative Approaches to Reasoning with Uncertainty"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11518655_53.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:45:58Z","timestamp":1619505958000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11518655_53"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540273264","9783540318880"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/11518655_53","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}