In this paper we devise non-distributive relatives of Exactly true logic (ETL) by Pietz and Riveccio and its dual Non-falsity logic (NFL) by Shramko, Zaitsev and Belikov. We consider two pre-orders which are algebraic counterparts of the ETL’s and NFL’s entailment relations on the de Morgan lattice 4. We generalise these pre-orders and determine which distributive properties that hold on 4 are not forced by either of the pre-orders. We then construct relatives of ETL and NFL but lack such distributive properties. For these logics we also devise a truth table semantics which uses non-distributive lattice M3 as their lattice of truth values. We also provide analytic tableaux systems which work with sequents of the form \(\phi \vdash \chi \). We then prove correctness and completeness results for these proof systems and provide a neat generalisation for non-distributive ETL- and NFL-like logics built over a certain family of non-distributive modular lattices.
This is a preview of subscription content, access via your institution.
Buy single article
Instant access to the full article PDF.
Tax calculation will be finalised during checkout.
Subscribe to journal
Immediate online access to all issues from 2019. Subscription will auto renew annually.
Tax calculation will be finalised during checkout.
Baaz, M., C. G. Fermüller, 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–1402.
Baaz, M., C. G. Fermüller, 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—Cade-13, Springer Berlin Heidelberg, 1996, pp. 226–230.
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–37.
Belnap, N. D., How a computer should think, in G. Ryle, (ed.), Contemporary aspects of philosophy, 1977, pp. 30–55.
Bimbó, K., and J. Dunn, Four-valued logic, Notre Dame Journal of Formal Logic 42(3):171–192, 2001.
Caleiro, C., S. Marcelino, and U. Rivieccio, Characterizing finite-valuedness, Fuzzy Sets and Systems 345:113–125, 2018.
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–280.
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–110, 2015.
Castiglioni, J. L., and R. C. Ertola-Biraben, Modal operators for meet-complemented lattices, Logic Journal of the IGPL 25(4):465–495, 06 2017.
D’Agostino, M., Investigations into the complexity of some propositional calculi. Oxford University Computing Laboratory, Oxford, 1990.
D’Agostino, M., Are tableaux an improvement on truth-tables?, Journal of Logic, Language and Information 1(3):235–252, 1992.
D’Agostino, M., and M. Mondadori, The taming of the cut. Classical refutations with analytic cut, Journal of Logic and Computation 4(3):285–319, 06 1994.
Dunn, J. M., Intuitive semantics for first-degree entailments and ‘coupled trees’, Philosophical Studies: An International Journal for Philosophy in the Analytic Tradition 29(3):149–168, 1976.
Dunn, J. M., Partiality and its dual, Studia Logica 66(1):5–40, 2000.
Engesser, K., D. M. Gabbay, and D. Lehmann, (eds.), Handbook of Quantum Logic and Quantum Structures. Elsevier, 1st edition, 2009.
Font, J. M., Belnap’s four-valued logic and De Morgan lattices, Logic Journal of the IGPL 5:1–29, 05 1997.
Font, J. M., and R. Jansana, A General Algebraic Semantics for Sentential Logics. Association for Symbolic Logic, 2nd edition, 2009.
Hähnle, R., A new translation from deduction into integer programming, in International Conference on Artificial Intelligence and Symbolic Mathematical Computing, Springer, 1992, pp. 262–275.
Hähnle, R., Many-valued logic and mixed integer programming, Annals of Mathematics and Artificial Intelligence 12(3-4):231–263, 1994.
Hähnle, R., Tableaux for many-valued logics, in M. D’Agostino, D. M. Gabbay, R. Hähnle, and J. Posegga, (eds.), Handbook of Tableaux Methods, Springer-Science+Business Media, B.V., 1999, pp. 529–580.
Hartonas, C., Modal and temporal extensions of non-distributive propositional logics, Logic Journal of the IGPL 24(2):156–185, 11 2015.
Kubyshkina, E., Conservative translations of four-valued logics in modal logic, Synthese, Feb 2019.
Marcelino, S., and C. Caleiro, Axiomatizing non-deterministic many-valued generalized consequence relations, Synthese, Feb 2019.
Mondadori, M., Classical Analytical Deduction. Università degli Studi di Ferrara, 1988.
Neto, A., and M. Finger, A KE tableau for a logic of formal inconsistency, in Proceedings of Tableaux, vol. 7, 2007.
Odintsov, S. P., and H. Wansing, Disentangling FDE-based paraconsistent modal logics, Studia Logica 105(6):1221–1254, 2017.
Omori, H., and H. Wansing, 40 years of FDE: an introductory overview, Studia Logica 105(6):1021–1049, 2017.
Pietz, A., and U. Rivieccio, Nothing but the truth, Journal of Philosophical Logic 42(1):125–135, 2013.
Priest, G., The logic of paradox, Journal of Philosophical Logic 8(1):219–241, 1979.
Priest, G., An Introduction to Non-Classical Logic. From If to Is. Cambridge University Press, 2nd edition, 2008.
Priest, G., Many-valued modal logics: a simple approach, The Review of Symbolic Logic 1(2):190–203, 2008.
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—Cade-13, Springer Berlin Heidelberg, 1996, pp. 688–702.
Shramko, Y., D. Zaitsev, and A. Belikov, First-degree entailment and its relatives, Studia Logica 105(6):1291–1317, 2017.
Shramko, Y., D. Zaitsev, and A. Belikov, The Fmla–Fmla axiomatizations of the exactly true and non-falsity logics and some of their cousins, Journal of Philosophical Logic, Nov 2018.
Smullyan, R. M., First-Order Logic. Dover Publications, Inc., N.Y., 1995.
Wintein, S., and R. Muskens, A gentzen calculus for nothing but the truth, Journal of Philosophical Logic 45(4):451–465, 2016.
The author would like to express his gratitude to his doctoral advisor professor Dmitryi Zaitsev for his fruitful advise and help as well as to professors Heinrich Wansing and Omori Hitoshi for their discussion of the earlier version of these results and kind permission on behalf of prof. Wansing to present the earlier version on a session of the research colloquium at Ruhr-Universität Bochum. The author also wishes to thank two anonymous referees whose detailed comments helped to enhance the quality of the paper. Author’s work was partially supported by RUB Research School scholarship ‘Ph.D.-Exchange’.
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
About this article
Cite this article
Kozhemiachenko, D. Non-distributive Relatives of ETL and NFL. Stud Logica 109, 137–165 (2021). https://doi.org/10.1007/s11225-020-09904-3
- Exactly true logic
- Non-falsity logic
- Non-distributive lattices
- Analytic tableaux
- ETL-like logic
- NFL-like logic