{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:30:23Z","timestamp":1740123023849,"version":"3.37.3"},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2020,3,10]],"date-time":"2020-03-10T00:00:00Z","timestamp":1583798400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,3,10]],"date-time":"2020-03-10T00:00:00Z","timestamp":1583798400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100008835","name":"Research School, Ruhr University Bochum","doi-asserted-by":"publisher","award":["Ph.D. Exchange Scholarship"],"award-info":[{"award-number":["Ph.D. Exchange Scholarship"]}],"id":[{"id":"10.13039\/501100008835","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2021,2]]},"DOI":"10.1007\/s11225-020-09904-3","type":"journal-article","created":{"date-parts":[[2020,3,10]],"date-time":"2020-03-10T17:12:08Z","timestamp":1583860328000},"page":"137-165","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Non-distributive Relatives of ETL and NFL"],"prefix":"10.1007","volume":"109","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1533-8034","authenticated-orcid":false,"given":"Daniil","family":"Kozhemiachenko","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,3,10]]},"reference":[{"key":"9904_CR1","doi-asserted-by":"crossref","unstructured":"Baaz, M., C. G. Ferm\u00fcller, and G. Salzer, Automated deduction for many-valued logics, in A. Robinson, and A. Voronkov, (eds.), Handbook of Automated Reasoning, vol. 2, Elsevier Science B.V., 2001, pp. 1355\u20131402.","DOI":"10.1016\/B978-044450813-3\/50022-9"},{"key":"9904_CR2","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/3-540-61511-3_84","volume-title":"Automated Deduction\u2013Cade-13","author":"M Baaz","year":"1996","unstructured":"Baaz, M., C. G. Ferm\u00fcller, G. Salzer, and R. Zach. Multlog 1.0: Towards an expert system for many-valued logics, in M. A. McRobbie, and J. K. Slaney, (eds.), Automated Deduction\u2014Cade-13, Springer Berlin Heidelberg, 1996, pp. 226\u2013230."},{"key":"9904_CR3","doi-asserted-by":"crossref","unstructured":"Belnap, N. D., A useful four-valued logic, in J. M. Dunn, and G. Epstein, (eds.), Modern Uses of Multiple-Valued Logic, Dordrecht, Springer Netherlands, 1977, pp. 5\u201337.","DOI":"10.1007\/978-94-010-1161-7_2"},{"key":"9904_CR4","unstructured":"Belnap, N. D., How a computer should think, in G. Ryle, (ed.), Contemporary aspects of philosophy, 1977, pp. 30\u201355."},{"issue":"3","key":"9904_CR5","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1305\/ndjfl\/1063372199","volume":"42","author":"K Bimb\u00f3","year":"2001","unstructured":"Bimb\u00f3, K., and J. Dunn, Four-valued logic, Notre Dame Journal of Formal Logic 42(3):171\u2013192, 2001.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9904_CR6","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/j.fss.2017.10.014","volume":"345","author":"C Caleiro","year":"2018","unstructured":"Caleiro, C., S. Marcelino, and U. Rivieccio, Characterizing finite-valuedness, Fuzzy Sets and Systems 345:113\u2013125, 2018.","journal-title":"Fuzzy Sets and Systems"},{"key":"9904_CR7","doi-asserted-by":"crossref","unstructured":"Caleiro, C., and J. Marcos, Classic-like analytic tableaux for finite-valued logics, in International Workshop on Logic, Language, Information, and Computation, Springer, 2009, pp. 268\u2013280.","DOI":"10.1007\/978-3-642-02261-6_22"},{"key":"9904_CR8","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., J. Marcos, and M. Volpe, Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics, Theoretical Computer Science 603:84\u2013110, 2015.","journal-title":"Theoretical Computer Science"},{"issue":"4","key":"9904_CR9","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1093\/jigpal\/jzx011","volume":"25","author":"JL Castiglioni","year":"2017","unstructured":"Castiglioni, J. L., and R. C. Ertola-Biraben, Modal operators for meet-complemented lattices, Logic Journal of the IGPL 25(4):465\u2013495, 06 2017.","journal-title":"Logic Journal of the IGPL"},{"key":"9904_CR10","volume-title":"Investigations into the complexity of some propositional calculi","author":"M D\u2019Agostino","year":"1990","unstructured":"D\u2019Agostino, M., Investigations into the complexity of some propositional calculi. Oxford University Computing Laboratory, Oxford, 1990."},{"issue":"3","key":"9904_CR11","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/BF00156916","volume":"1","author":"M d\u2019Agostino","year":"1992","unstructured":"D\u2019Agostino, M., Are tableaux an improvement on truth-tables?, Journal of Logic, Language and Information 1(3):235\u2013252, 1992.","journal-title":"Journal of Logic, Language and Information"},{"issue":"3","key":"9904_CR12","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1093\/logcom\/4.3.285","volume":"4","author":"M d\u2019Agostino","year":"1994","unstructured":"D\u2019Agostino, M., and M. Mondadori, The taming of the cut. Classical refutations with analytic cut, Journal of Logic and Computation 4(3):285\u2013319, 06 1994.","journal-title":"Journal of Logic and Computation"},{"issue":"3","key":"9904_CR13","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/BF00373152","volume":"29","author":"JM Dunn","year":"1976","unstructured":"Dunn, J. M., Intuitive semantics for first-degree entailments and \u2018coupled trees\u2019, Philosophical Studies: An International Journal for Philosophy in the Analytic Tradition 29(3):149\u2013168, 1976.","journal-title":"Philosophical Studies: An International Journal for Philosophy in the Analytic Tradition"},{"issue":"1","key":"9904_CR14","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1026740726955","volume":"66","author":"JM Dunn","year":"2000","unstructured":"Dunn, J. M., Partiality and its dual, Studia Logica 66(1):5\u201340, 2000.","journal-title":"Studia Logica"},{"key":"9904_CR15","unstructured":"Engesser, K., D. M. Gabbay, and D. Lehmann, (eds.), Handbook of Quantum Logic and Quantum Structures. Elsevier, 1st edition, 2009."},{"key":"9904_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1093\/jigpal\/5.3.1-e","volume":"5","author":"JM Font","year":"1997","unstructured":"Font, J. M., Belnap\u2019s four-valued logic and De Morgan lattices, Logic Journal of the IGPL 5:1\u201329, 05 1997.","journal-title":"Logic Journal of the IGPL"},{"key":"9904_CR17","unstructured":"Font, J. M., and R. Jansana, A General Algebraic Semantics for Sentential Logics. Association for Symbolic Logic, 2nd edition, 2009."},{"key":"9904_CR18","doi-asserted-by":"crossref","unstructured":"H\u00e4hnle, R., A new translation from deduction into integer programming, in International Conference on Artificial Intelligence and Symbolic Mathematical Computing, Springer, 1992, pp. 262\u2013275.","DOI":"10.1007\/3-540-57322-4_18"},{"issue":"3\u20134","key":"9904_CR19","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/BF01530787","volume":"12","author":"R H\u00e4hnle","year":"1994","unstructured":"H\u00e4hnle, R., Many-valued logic and mixed integer programming, Annals of Mathematics and Artificial Intelligence 12(3-4):231\u2013263, 1994.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"9904_CR20","doi-asserted-by":"crossref","unstructured":"H\u00e4hnle, R., Tableaux for many-valued logics, in M. D\u2019Agostino, D. M. Gabbay, R. H\u00e4hnle, and J. Posegga, (eds.), Handbook of Tableaux Methods, Springer-Science+Business Media, B.V., 1999, pp. 529\u2013580.","DOI":"10.1007\/978-94-017-1754-0_9"},{"issue":"2","key":"9904_CR21","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1093\/jigpal\/jzv051","volume":"24","author":"C Hartonas","year":"2015","unstructured":"Hartonas, C., Modal and temporal extensions of non-distributive propositional logics, Logic Journal of the IGPL 24(2):156\u2013185, 11 2015.","journal-title":"Logic Journal of the IGPL"},{"key":"9904_CR22","doi-asserted-by":"crossref","unstructured":"Kubyshkina, E., Conservative translations of four-valued logics in modal logic, Synthese, Feb 2019.","DOI":"10.1007\/s11229-019-02139-3"},{"key":"9904_CR23","doi-asserted-by":"crossref","unstructured":"Marcelino, S., and C. Caleiro, Axiomatizing non-deterministic many-valued generalized consequence relations, Synthese, Feb 2019.","DOI":"10.1007\/s11229-019-02142-8"},{"key":"9904_CR24","unstructured":"Mondadori, M., Classical Analytical Deduction. Universit\u00e0 degli Studi di Ferrara, 1988."},{"key":"9904_CR25","unstructured":"Neto, A., and M. Finger, A KE tableau for a logic of formal inconsistency, in Proceedings of Tableaux, vol. 7, 2007."},{"issue":"6","key":"9904_CR26","doi-asserted-by":"publisher","first-page":"1221","DOI":"10.1007\/s11225-017-9753-9","volume":"105","author":"SP Odintsov","year":"2017","unstructured":"Odintsov, S. P., and H. Wansing, Disentangling FDE-based paraconsistent modal logics, Studia Logica 105(6):1221\u20131254, 2017.","journal-title":"Studia Logica"},{"issue":"6","key":"9904_CR27","doi-asserted-by":"publisher","first-page":"1021","DOI":"10.1007\/s11225-017-9748-6","volume":"105","author":"H Omori","year":"2017","unstructured":"Omori, H., and H. Wansing, 40 years of FDE: an introductory overview, Studia Logica 105(6):1021\u20131049, 2017.","journal-title":"Studia Logica"},{"issue":"1","key":"9904_CR28","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/s10992-011-9215-1","volume":"42","author":"A Pietz","year":"2013","unstructured":"Pietz, A., and U. Rivieccio, Nothing but the truth, Journal of Philosophical Logic 42(1):125\u2013135, 2013.","journal-title":"Journal of Philosophical Logic"},{"issue":"1","key":"9904_CR29","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/BF00258428","volume":"8","author":"G Priest","year":"1979","unstructured":"Priest, G., The logic of paradox, Journal of Philosophical Logic 8(1):219\u2013241, 1979.","journal-title":"Journal of Philosophical Logic"},{"key":"9904_CR30","doi-asserted-by":"crossref","unstructured":"Priest, G., An Introduction to Non-Classical Logic. From If to Is. Cambridge University Press, 2nd edition, 2008.","DOI":"10.1017\/CBO9780511801174"},{"issue":"2","key":"9904_CR31","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1017\/S1755020308080179","volume":"1","author":"G Priest","year":"2008","unstructured":"Priest, G., Many-valued modal logics: a simple approach, The Review of Symbolic Logic 1(2):190\u2013203, 2008.","journal-title":"The Review of Symbolic Logic"},{"key":"9904_CR32","doi-asserted-by":"publisher","first-page":"688","DOI":"10.1007\/3-540-61511-3_122","volume-title":"Automated Deduction\u2013Cade-13","author":"G Salzer","year":"1996","unstructured":"Salzer, G., Optimal axiomatizations for multiple-valued operators and quantifiers based on semi-lattices. in M. A. McRobbie, and J. K. Slaney, (eds.), Automated Deduction\u2014Cade-13, Springer Berlin Heidelberg, 1996, pp. 688\u2013702."},{"issue":"6","key":"9904_CR33","doi-asserted-by":"publisher","first-page":"1291","DOI":"10.1007\/s11225-017-9747-7","volume":"105","author":"Y Shramko","year":"2017","unstructured":"Shramko, Y., D. Zaitsev, and A. Belikov, First-degree entailment and its relatives, Studia Logica 105(6):1291\u20131317, 2017.","journal-title":"Studia Logica"},{"key":"9904_CR34","doi-asserted-by":"crossref","unstructured":"Shramko, Y., D. Zaitsev, and A. Belikov, The Fmla\u2013Fmla axiomatizations of the exactly true and non-falsity logics and some of their cousins, Journal of Philosophical Logic, Nov 2018.","DOI":"10.1007\/s10992-018-9494-x"},{"key":"9904_CR35","volume-title":"First-Order Logic","author":"RM Smullyan","year":"1995","unstructured":"Smullyan, R. M., First-Order Logic. Dover Publications, Inc., N.Y., 1995."},{"issue":"4","key":"9904_CR36","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1007\/s10992-015-9385-3","volume":"45","author":"S Wintein","year":"2016","unstructured":"Wintein, S., and R. Muskens, A gentzen calculus for nothing but the truth, Journal of Philosophical Logic 45(4):451\u2013465, 2016.","journal-title":"Journal of Philosophical Logic"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-020-09904-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-020-09904-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-020-09904-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,3,10]],"date-time":"2021-03-10T00:41:32Z","timestamp":1615336892000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-020-09904-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,3,10]]},"references-count":36,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2021,2]]}},"alternative-id":["9904"],"URL":"https:\/\/doi.org\/10.1007\/s11225-020-09904-3","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2020,3,10]]},"assertion":[{"value":"9 March 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 March 2020","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}