{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T02:13:48Z","timestamp":1743041628174,"version":"3.40.3"},"publisher-location":"Cham","reference-count":39,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030712570"},{"type":"electronic","value":"9783030712587"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-71258-7_3","type":"book-chapter","created":{"date-parts":[[2021,7,30]],"date-time":"2021-07-30T10:07:13Z","timestamp":1627639633000},"page":"39-69","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["On Axioms and Rexpansions"],"prefix":"10.1007","author":[{"given":"Carlos","family":"Caleiro","sequence":"first","affiliation":[]},{"given":"S\u00e9rgio","family":"Marcelino","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,7,31]]},"reference":[{"issue":"1","key":"3_CR1","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/S0004-3702(98)00032-0","volume":"102","author":"O Arieli","year":"1998","unstructured":"Arieli, O., & Avron, A. (1998). The value of the four values. Artificial Intelligence, 102(1), 97\u2013141.","journal-title":"Artificial Intelligence"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Avron, A. (2005a). Non-deterministic matrices and modular semantics of rules. In J.-Y. B\u00e9ziau (Ed.), Logica Universalis (pp. 149\u2013167). Birkh\u00e4user.","DOI":"10.1007\/3-7643-7304-0_9"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Avron, A. (2005b). A non-deterministic view on non-classical negations. Studia Logica, 80(2\u20133), 159\u2013194.","DOI":"10.1007\/s11225-005-8468-5"},{"issue":"2","key":"3_CR4","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1016\/j.ijar.2006.06.011","volume":"45","author":"A Avron","year":"2007","unstructured":"Avron, A. (2007). Non-deterministic semantics for logics with a consistency operator. International Journal of Approximate Reasoning, 45(2), 271\u2013287.","journal-title":"International Journal of Approximate Reasoning"},{"issue":"1","key":"3_CR5","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/s11787-006-0003-6","volume":"1","author":"A Avron","year":"2007","unstructured":"Avron, A., Ben-Naim, J., & Konikowska, B. (2007). Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics. Logica Universalis, 1(1), 41\u201370.","journal-title":"Logica Universalis"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Avron, A., Konikowska, B., & Zamansky, A. (2012). Modular construction of cut-free sequent calculi for paraconsistent logics. In Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012) (pp. 85\u201394).","DOI":"10.1109\/LICS.2012.20"},{"issue":"3","key":"3_CR7","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"},{"issue":"3","key":"3_CR8","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 multiple-valued structures. Journal of Logic and Computation, 15(3), 241\u2013261.","journal-title":"Journal of Logic and Computation"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Avron, A., & Zamansky, A. (2011). Non-deterministic semantics for logical systems: A survey. In D. Gabbay & F. Guenthner (Eds.), Handbook of Philosophical Logic (Vol. 16, pp. 227\u2013304). Springer.","DOI":"10.1007\/978-94-007-0479-4_4"},{"issue":"1","key":"3_CR10","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1017\/S1755020318000321","volume":"12","author":"A Avron","year":"2019","unstructured":"Avron, A., & Zohar, Y. (2019). Rexpansions of non-deterministic matrices and their applications in non-classical logics. Review of Symbolic Logic, 12(1), 173\u2013200.","journal-title":"Review of Symbolic Logic"},{"issue":"4","key":"3_CR11","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1007\/s10817-013-9273-x","volume":"51","author":"M Baaz","year":"2013","unstructured":"Baaz, M., Lahav, O., & Zamansky, A. (2013). Finite-valued semantics for canonical labelled calculi. Journal of Automated Reasoning, 51(4), 401\u2013430.","journal-title":"Journal of Automated Reasoning"},{"issue":"90\u201391","key":"3_CR12","first-page":"195","volume":"23","author":"D Batens","year":"1980","unstructured":"Batens, D. (1980). Paraconsistent extensional propositional logics. Logique et Analyse, 23(90\u201391), 195\u2013234.","journal-title":"Logique et Analyse"},{"key":"3_CR13","unstructured":"Batens, D. (2000). A survey of inconsistency-adaptive logics. In Frontiers of Paraconsistent Logic (pp. 49\u201373). Research Studies Press."},{"key":"3_CR14","unstructured":"Belnap, N. (1977a). How a computer should think. In G. Ryle (Ed.), Contemporary Aspects of Philosophy (Vol. 2, pp. 30\u201355), Episteme. Oriel Press."},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Belnap, N. (1977b). A useful four-valued logic. In G. Epstein & J. M. Dunn (Eds.), Modern Uses of Multiple-Valued Logic (Vol. 2, pp. 5\u201337), Episteme. Oriel Press.","DOI":"10.1007\/978-94-010-1161-7_2"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Caleiro, C., Carnielli, W., Rasga, J., & Sernadas, C. (2005). Fibring of logics as a universal construction. In D. Gabbay & F. Guenthner (Eds.), Handbook of Philosophical Logic (2nd ed., Vol. 13, pp. 123\u2013187). Springer.","DOI":"10.1007\/1-4020-3521-7_2"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Caleiro, C., & Marcelino, S. (2019). Analytic calculi for monadic PNmatrices. Logic, Language, Information and Computation (WoLLIC 2019), LNCS. Springer. http:\/\/sqig.math.ist.utl.pt\/pub\/CaleiroC\/19-CM-axiomPNmatrices.pdf.","DOI":"10.1007\/978-3-662-59533-6_6"},{"issue":"7","key":"3_CR18","doi-asserted-by":"publisher","first-page":"2213","DOI":"10.1007\/s00500-018-3584-0","volume":"23","author":"C Caleiro","year":"2019","unstructured":"Caleiro, C., Marcelino, S., & Marcos, J. (2019). Combining fragments of classical logic: When are interaction principles needed? Soft Computing, 23(7), 2213\u20132231.","journal-title":"Soft Computing"},{"key":"3_CR19","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1016\/j.tcs.2015.07.016","volume":"603","author":"C Caleiro","year":"2015","unstructured":"Caleiro, C., Marcos, J., & Volpe, M. (2015). Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics. Theoretical Computer Science, 603, 84\u2013110.","journal-title":"Theoretical Computer Science"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Carnielli, W., & Coniglio, M. (2016). Paraconsistent logic: consistency, contradiction and negation. In Logic, Epistemology, and the Unity of Science (Vol. 40). Springer.","DOI":"10.1007\/978-3-319-33205-5"},{"key":"3_CR21","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1305\/ndjfl\/1022615617","volume":"40","author":"W Carnielli","year":"1999","unstructured":"Carnielli, W., & Marcos, J. (1999). Limits for paraconsistent calculi. Notre Dame Journal of Formal Logic, 40, 375\u2013390.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"3_CR22","doi-asserted-by":"crossref","unstructured":"Carnielli, W., & Marcos, J. (2002). A taxonomy of C-systems. In W. Carnielli, M. Coniglio, & I. D\u2019Ottaviano (Eds.), Paraconsistency: The Logical Way to the Inconsistent (Vol. 228, pp. 1\u201394), Lecture Notes in Pure and Applied Mathematics. Marcel Dekker.","DOI":"10.1201\/9780203910139.pt1"},{"issue":"1","key":"3_CR23","first-page":"5:1","volume":"16","author":"A Ciabattoni","year":"2014","unstructured":"Ciabattoni, A., Lahav, O., Spendier, L., & Zamansky, A. (2014). Taming paraconsistent (and other) logics: An algorithmic approach. ACM Transactions on Computational Logic, 16(1), 5:1\u20135:23.","journal-title":"ACM Transactions on Computational Logic"},{"issue":"7","key":"3_CR24","doi-asserted-by":"publisher","first-page":"2243","DOI":"10.1007\/s00500-018-03707-4","volume":"23","author":"M Coniglio","year":"2019","unstructured":"Coniglio, M., & Golzio, A. (2019). Swap structures semantics for Ivlev-like modal logics. Soft Computing, 23(7), 2243\u20132254.","journal-title":"Soft Computing"},{"key":"3_CR25","unstructured":"G\u00f6del, K. (1932). Zum intuitionistischen aussagenkalk\u00fcl. In Mathematisch - naturwissenschaftliche klasse (Vol. 69, pp. 65\u201366). Anzeiger Wien: Akademie der Wissenschaften."},{"key":"3_CR26","unstructured":"Gottwald, S. (2001). A Treatise on Many-Valued Logics (Vol. 9), Studies in Logic and Computation. Research Studies Press."},{"issue":"3\u20134","key":"3_CR27","first-page":"114","volume":"17","author":"J Ivlev","year":"1988","unstructured":"Ivlev, J. (1988). A semantics for modal calculi. Bulletin of the Section of Logic, 17(3\u20134), 114\u2013121.","journal-title":"Bulletin of the Section of Logic"},{"issue":"1","key":"3_CR28","doi-asserted-by":"publisher","first-page":"77","DOI":"10.2307\/2273259","volume":"46","author":"J Kearns","year":"1981","unstructured":"Kearns, J. (1981). Modal semantics without possible worlds. Journal of Symbolic Logic, 46(1), 77\u201386.","journal-title":"Journal of Symbolic Logic"},{"key":"3_CR29","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1023\/A:1004222213212","volume":"27","author":"M Kracht","year":"1998","unstructured":"Kracht, M. (1998). On extensions of intermediate logics by strong negation. Journal of Philosophical Logic, 27, 49\u201373.","journal-title":"Journal of Philosophical Logic"},{"issue":"5","key":"3_CR30","doi-asserted-by":"publisher","first-page":"673","DOI":"10.1093\/jigpal\/jzw033","volume":"24","author":"S Marcelino","year":"2016","unstructured":"Marcelino, S., & Caleiro, C. (2016). Decidability and complexity of fibred logics without shared connectives. Logic Journal of the IGPL, 24(5), 673\u2013707.","journal-title":"Logic Journal of the IGPL"},{"key":"3_CR31","doi-asserted-by":"crossref","unstructured":"Marcelino, S., & Caleiro, C. (2017). Disjoint fibring of non-deterministic matrices. In R. de\u00a0Queiroz & J. Kennedy (Eds.), Logic, Language, Information and Computation (WoLLIC 2017) (Vol. 10388, pp. 242\u2013255), LNCS. Springer.","DOI":"10.1007\/978-3-662-55386-2_17"},{"key":"3_CR32","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-019-02142-8","author":"S Marcelino","year":"2019","unstructured":"Marcelino, S., & Caleiro, C. (2019). Axiomatizing non-deterministic many-valued generalized consequence relations. Synthese,. https:\/\/doi.org\/10.1007\/s11229-019-02142-8.","journal-title":"Synthese"},{"key":"3_CR33","first-page":"247","volume":"14","author":"D Nelson","year":"1948","unstructured":"Nelson, D. (1948). Constructible falsity. Journal of Symbolic Logic, 14, 247\u2013257.","journal-title":"Journal of Symbolic Logic"},{"key":"3_CR34","doi-asserted-by":"crossref","unstructured":"Odintsov, S. (2008). Constructive Negations and Paraconsistency (Vol. 26), Trends in Logic. Netherlands: Springer.","DOI":"10.1007\/978-1-4020-6867-6"},{"key":"3_CR35","doi-asserted-by":"crossref","unstructured":"Scott, D. (1974). Completeness and axiomatizability in many-valued logic. In L. Henkin, J. Addison, C. Chang, W. Craig, D. Scott, & R. Vaught (Eds.), Proceedings of the Tarski Symposium (Vol. XXV, pp. 411\u2013435), Proceedings of Symposia in Pure Mathematics. American Mathematical Society.","DOI":"10.1090\/pspum\/025\/0363802"},{"key":"3_CR36","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511565687","volume-title":"Multiple-Conclusion Logic","author":"D Shoesmith","year":"1978","unstructured":"Shoesmith, D., & Smiley, T. (1978). Multiple-Conclusion Logic. Cambridge: Cambridge University Press."},{"issue":"1\/2","key":"3_CR37","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/BF02121118","volume":"36","author":"D Vakarelov","year":"1977","unstructured":"Vakarelov, D. (1977). Notes on N-lattices and constructive logic with strong negation. Studia Logica: An International Journal for Symbolic Logic, 36(1\/2), 109\u2013125.","journal-title":"Studia Logica: An International Journal for Symbolic Logic"},{"key":"3_CR38","unstructured":"W\u00f3jcicki, R. (1998). Theory of Logical Calculi (Vol. 199), Synthese Library. Kluwer."},{"key":"3_CR39","first-page":"67","volume":"3","author":"A Wro\u0144ski","year":"1974","unstructured":"Wro\u0144ski, A. (1974). On the cardinality of matrices strongly adequate for the intuitionistic propositional logic. Reports on Mathematical Logic, 3, 67\u201372.","journal-title":"Reports on Mathematical Logic"}],"container-title":["Outstanding Contributions to Logic","Arnon Avron on Semantics and Proof Theory of Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-71258-7_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,30]],"date-time":"2021-07-30T10:13:07Z","timestamp":1627639987000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-71258-7_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030712570","9783030712587"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-71258-7_3","relation":{},"ISSN":["2211-2758","2211-2766"],"issn-type":[{"type":"print","value":"2211-2758"},{"type":"electronic","value":"2211-2766"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"31 July 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}