{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:36:54Z","timestamp":1740123414076,"version":"3.37.3"},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"S22","license":[{"start":{"date-parts":[[2018,12,7]],"date-time":"2018-12-07T00:00:00Z","timestamp":1544140800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2018,12,7]],"date-time":"2018-12-07T00:00:00Z","timestamp":1544140800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100003977","name":"Israel Science Foundation","doi-asserted-by":"publisher","award":["817\/15"],"award-info":[{"award-number":["817\/15"]}],"id":[{"id":"10.13039\/501100003977","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2021,10]]},"DOI":"10.1007\/s11229-018-02045-0","type":"journal-article","created":{"date-parts":[[2018,12,7]],"date-time":"2018-12-07T13:41:52Z","timestamp":1544190112000},"page":"5353-5371","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Quasi-canonical systems and their semantics"],"prefix":"10.1007","volume":"198","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6831-3343","authenticated-orcid":false,"given":"Arnon","family":"Avron","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,12,7]]},"reference":[{"key":"2045_CR1","volume-title":"Entailment: The logic of relevance and necessity","author":"AR Anderson","year":"1975","unstructured":"Anderson, A. R., & Belnap, N. D. (1975). Entailment: The logic of relevance and necessity (Vol. I). Princeton: Princeton University Press."},{"issue":"1\u20132","key":"2045_CR2","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1080\/11663081.2014.911515","volume":"24","author":"A Avron","year":"2014","unstructured":"Avron, A. (2014). Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics. Journal of Applied Non-Classical Logics, 24(1\u20132), 12\u201334.","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"2045_CR3","unstructured":"Avron, A., Arieli, O. & Zamansky, A. (2018). Theory of Effective Propositional Paraconsitent Logics, volume\u00a075 of Studies in logic mathematical logic and foundations. College Publications"},{"key":"2045_CR4","first-page":"365","volume":"10","author":"A Avron","year":"2005","unstructured":"Avron, A., & Konikowska, B. (2005). Multi-valued calculi for logics based on non-determinism. Journal of the Interest Group in Pure and Applied Logic, 10, 365\u2013387.","journal-title":"Journal of the Interest Group in Pure and Applied Logic"},{"issue":"3","key":"2045_CR5","doi-asserted-by":"publisher","first-page":"517","DOI":"10.1093\/logcom\/exs039","volume":"23","author":"A Avron","year":"2013","unstructured":"Avron, A., Konikowska, B., & Zamansky, A. (2013). Cut-free sequent calculi for C-systems with generalized finite-valued semantics. Journal of Logic and Computation, 23(3), 517\u2013540.","journal-title":"Journal of Logic and Computation"},{"key":"2045_CR6","doi-asserted-by":"crossref","unstructured":"Avron, A., & Lev, I. (2001). Canonical propositional gentzen-type systems. In: Proceedings of the 1st international joint conference on automated reasoning (IJCAR 2001), LNAI 2083. Springer","DOI":"10.1007\/3-540-45744-5_45"},{"key":"2045_CR7","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1093\/logcom\/exi001","volume":"15","author":"A Avron","year":"2005","unstructured":"Avron, A., & Lev, I. (2005). Non-deterministic multi-valued structures. Journal of Logic and Computation, 15, 241\u2013261.","journal-title":"Journal of Logic and Computation"},{"key":"2045_CR8","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/978-94-007-0479-4_4","volume-title":"Handbook of philosophical logic","author":"A Avron","year":"2011","unstructured":"Avron, A., & Zamansky, A. (2011). Non-deterministic semantics for logical systems\u2014A survey. In D. Gabbay & F. Guenther (Eds.), Handbook of philosophical logic (Vol. 16, pp. 227\u2013304). Berlin: Springer."},{"key":"2045_CR9","first-page":"7","volume-title":"Modern uses of multiple-valued logics","author":"ND Belnap","year":"1977","unstructured":"Belnap, N. D. (1977). A useful four-valued logic. In J. M. Dunn & G. Epstein (Eds.), Modern uses of multiple-valued logics (pp. 7\u201337). Dordrecht: Reidel Publishing Company."},{"key":"2045_CR10","first-page":"119","volume-title":"Logical Foundations of Computer Science, number 7734 in Lecture Notes in Computer Science","author":"A Ciabattoni","year":"2013","unstructured":"Ciabattoni, A., Lahav, O., Spendier, L., & Zamansky, A. (2013). Automated support for the investigation of paraconsistent and other logics. In S. Artemov & A. Nerode (Eds.), Logical Foundations of Computer Science, number 7734 in Lecture Notes in Computer Science (pp. 119\u2013133). Berlin: Springer."},{"key":"2045_CR11","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/BF00373152","volume":"29","author":"JM Dunn","year":"1976","unstructured":"Dunn, J. M. (1976). Intuitive semantics for first-degree entailments and \u2018coupled trees\u2019. Philosophical Studies, 29, 149\u2013168.","journal-title":"Philosophical Studies"}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-018-02045-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11229-018-02045-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-018-02045-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,3]],"date-time":"2021-11-03T20:08:02Z","timestamp":1635970082000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11229-018-02045-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,12,7]]},"references-count":11,"journal-issue":{"issue":"S22","published-print":{"date-parts":[[2021,10]]}},"alternative-id":["2045"],"URL":"https:\/\/doi.org\/10.1007\/s11229-018-02045-0","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"type":"print","value":"0039-7857"},{"type":"electronic","value":"1573-0964"}],"subject":[],"published":{"date-parts":[[2018,12,7]]},"assertion":[{"value":"16 July 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"29 November 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 December 2018","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}