Non-distributive Relatives of ETL and NFL


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.


  1. 1.

    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.

  2. 2.

    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.

    Google Scholar 

  3. 3.

    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.

  4. 4.

    Belnap, N. D., How a computer should think, in G. Ryle, (ed.), Contemporary aspects of philosophy, 1977, pp. 30–55.

  5. 5.

    Bimbó, K., and J. Dunn, Four-valued logic, Notre Dame Journal of Formal Logic 42(3):171–192, 2001.

    Article  Google Scholar 

  6. 6.

    Caleiro, C., S. Marcelino, and U. Rivieccio, Characterizing finite-valuedness, Fuzzy Sets and Systems 345:113–125, 2018.

    Article  Google Scholar 

  7. 7.

    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.

  8. 8.

    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.

    Article  Google Scholar 

  9. 9.

    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.

    Article  Google Scholar 

  10. 10.

    D’Agostino, M., Investigations into the complexity of some propositional calculi. Oxford University Computing Laboratory, Oxford, 1990.

    Google Scholar 

  11. 11.

    D’Agostino, M., Are tableaux an improvement on truth-tables?, Journal of Logic, Language and Information 1(3):235–252, 1992.

    Article  Google Scholar 

  12. 12.

    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.

    Article  Google Scholar 

  13. 13.

    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.

    Article  Google Scholar 

  14. 14.

    Dunn, J. M., Partiality and its dual, Studia Logica 66(1):5–40, 2000.

    Article  Google Scholar 

  15. 15.

    Engesser, K., D. M. Gabbay, and D. Lehmann, (eds.), Handbook of Quantum Logic and Quantum Structures. Elsevier, 1st edition, 2009.

  16. 16.

    Font, J. M., Belnap’s four-valued logic and De Morgan lattices, Logic Journal of the IGPL 5:1–29, 05 1997.

    Article  Google Scholar 

  17. 17.

    Font, J. M., and R. Jansana, A General Algebraic Semantics for Sentential Logics. Association for Symbolic Logic, 2nd edition, 2009.

  18. 18.

    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.

  19. 19.

    Hähnle, R., Many-valued logic and mixed integer programming, Annals of Mathematics and Artificial Intelligence 12(3-4):231–263, 1994.

    Article  Google Scholar 

  20. 20.

    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.

  21. 21.

    Hartonas, C., Modal and temporal extensions of non-distributive propositional logics, Logic Journal of the IGPL 24(2):156–185, 11 2015.

    Article  Google Scholar 

  22. 22.

    Kubyshkina, E., Conservative translations of four-valued logics in modal logic, Synthese, Feb 2019.

  23. 23.

    Marcelino, S., and C. Caleiro, Axiomatizing non-deterministic many-valued generalized consequence relations, Synthese, Feb 2019.

  24. 24.

    Mondadori, M., Classical Analytical Deduction. Università degli Studi di Ferrara, 1988.

  25. 25.

    Neto, A., and M. Finger, A KE tableau for a logic of formal inconsistency, in Proceedings of Tableaux, vol. 7, 2007.

  26. 26.

    Odintsov, S. P., and H. Wansing, Disentangling FDE-based paraconsistent modal logics, Studia Logica 105(6):1221–1254, 2017.

    Article  Google Scholar 

  27. 27.

    Omori, H., and H. Wansing, 40 years of FDE: an introductory overview, Studia Logica 105(6):1021–1049, 2017.

    Article  Google Scholar 

  28. 28.

    Pietz, A., and U. Rivieccio, Nothing but the truth, Journal of Philosophical Logic 42(1):125–135, 2013.

    Article  Google Scholar 

  29. 29.

    Priest, G., The logic of paradox, Journal of Philosophical Logic 8(1):219–241, 1979.

    Article  Google Scholar 

  30. 30.

    Priest, G., An Introduction to Non-Classical Logic. From If to Is. Cambridge University Press, 2nd edition, 2008.

  31. 31.

    Priest, G., Many-valued modal logics: a simple approach, The Review of Symbolic Logic 1(2):190–203, 2008.

    Article  Google Scholar 

  32. 32.

    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.

    Google Scholar 

  33. 33.

    Shramko, Y., D. Zaitsev, and A. Belikov, First-degree entailment and its relatives, Studia Logica 105(6):1291–1317, 2017.

    Article  Google Scholar 

  34. 34.

    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.

  35. 35.

    Smullyan, R. M., First-Order Logic. Dover Publications, Inc., N.Y., 1995.

    Google Scholar 

  36. 36.

    Wintein, S., and R. Muskens, A gentzen calculus for nothing but the truth, Journal of Philosophical Logic 45(4):451–465, 2016.

    Article  Google Scholar 

Download references


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’.

Author information



Corresponding author

Correspondence to Daniil Kozhemiachenko.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Kozhemiachenko, D. Non-distributive Relatives of ETL and NFL. Stud Logica 109, 137–165 (2021).

Download citation


  • Exactly true logic
  • Non-falsity logic
  • Non-distributive lattices
  • Analytic tableaux
  • ETL-like logic
  • NFL-like logic