Skip to main content

On Boolean Algebraic Structure of Proofs: Towards an Algebraic Semantics for the Logic of Proofs


We present algebraic semantics for the classical logic of proofs based on Boolean algebras. We also extend the language of the logic of proofs in order to have a Boolean structure on proof terms and equality predicate on terms. Moreover, the completeness theorem and certain generalizations of Stone’s representation theorem are obtained for all proposed algebras.

This is a preview of subscription content, access via your institution.


  1. Artemov, S., Operational modal logic, Technical Report MSI 95–29, Cornell University, 1995.

  2. Artemov, S., Explicit provability and constructive semantics, Bulletin of Symbolic Logic 7(1):1–36, 2001.

    Article  Google Scholar 

  3. Artemov, S., The ontology of justifications in the logical setting, Studia Logica 100(1–2):17–30, 2012.

    Article  Google Scholar 

  4. Artemov, S., and M. Fitting, Justification Logic: Reasoning with Reasons Cambridge University Press, 2019.

    Book  Google Scholar 

  5. Artemov, S., and M. Fitting, Justification logic, in E. N. Zalta, (ed.), The Stanford Encyclopedia of Philosophy, Spring 2021 edition.

  6. Baur, M., and T. Studer, Semirings of evidence, in M. Dastani, H. Dong, and L. van der Torre, (eds.), Logic and Argumentation, Springer, Cham, 2020, pp. 42–57.

  7. Baur, M., and T. Studer, Semirings of evidence, Journal of Logic and Computation, 2021.

    Article  Google Scholar 

  8. Blackburn, P., M. de Rijke, and Y. Venema, Modal Logic, vol. 53 of Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, 2001.

  9. Brezhnev, V. N., On explicit counterparts of modal logics, Technical Report CFIS 2000–05, Cornell University, 2000.

  10. Brünnler, K., R. Goetschi, and R. Kuznets, A syntactic realization theorem for justification logics, in L. D. Beklemishev, V. Goranko, and V. Shehtman, (eds.), Advances in Modal Logic, vol. 8, College Publications, 2010, pp. 39–58.

  11. Chagrov, A. V., and M. Zakharyaschev, Modal Logic, vol.  35 of Oxford Logic Guides, Oxford University Press, 1997.

  12. Faroldi, F. L. G., and T. Protopopescu, A hyperintensional logical framework for deontic reasons, Logic Journal of the IGPL 27(4):411–433, 2019.

    Article  Google Scholar 

  13. Fitting, M., The logic of proofs, semantically, Annals of Pure and Applied Logic 132(1):1–25, 2005.

    Article  Google Scholar 

  14. Fitting, M., Modal logics, justification logics, and realization, Annals of Pure and Applied Logic 167(8):615–648, 2016.

    Article  Google Scholar 

  15. Ghari, M., Justification Logics in a Fuzzy Setting, ArXiv e-prints, 2014. 1407.4647.

  16. Ghari, M., Pavelka-style fuzzy justification logies, Logic Journal of the IGPL 24(5):743–773, 2016.

    Article  Google Scholar 

  17. Ghari, M., Labeled sequent calculus for justification logics, Annals of Pure and Applied Logic 168(1):72–111, 2017., 1401.1065v1.

  18. Goetschi, R., and R. Kuznets, Realization for justification logics via nested sequents: modularity through embedding, Annals of Pure and Applied Logic 163(9):1271–1298, 2012.

    Article  Google Scholar 

  19. Kuznets, R., and T. Studer, Justifications, ontology, and conservativity, in T. Bolander, T. Braüner, S. Ghilardi, and L. Moss, (eds.), Advances in Modal Logic vol. 9, College Publications, 2012, pp. 437–458.

  20. Kuznets, R., and T. Studer, Logics of Proofs and Justifications, College Publications, 2019.

    Google Scholar 

  21. Lehmann, E., and T. Studer, Subset models for justification logic, in R. Iemhoff, M. Moortgat, and R. de Queiroz, (eds.), Logic, Language, Information, and Computation, Springer, Berlin, 2019, pp. 433–449.

  22. Mkrtychev, A., Models for the logic of proofs, in S. Adian, and A. Nerode, (eds.), Logical Foundations of Computer Science, 4th International Symposium, LFCS’97, Yaroslavl, Russia, July 6–12, 1997, Proceedings, vol. 1234 of Lecture Notes in Computer Science Springer, 1997, pp. 266–275.

  23. Ono, H., Proof Theory and Algebra in Logic, Short Textbooks in Logic Springer, Singapore, 2019.

  24. Pacuit, E., A note on some explicit modal logics, in Proceedings of the 5th Panhellenic Logic Symposium University of Athens, Athens, Greece, 2005, pp. 117–125.

  25. Pischke, N., A note on strong axiomatization of Gödel justification logic, Studia Logica 108(4):687–724, 2020.

    Article  Google Scholar 

  26. Pischke, N., On intermediate justification logics, ArXiv e-prints, 2020., 2005.13854.

  27. Pischke, N., Gödel justification logics and realization, Logic Journal of the IGPL, 2021.

    Article  Google Scholar 

  28. Renne, B., Propositional Games with Explicit Strategies, Technical Report TR–2005012, CUNY Ph.D. Program in Computer Science, 2005.

  29. Rubtsova, N., Evidence reconstruction of epistemic modal logic \({\sf S5}\), in D. Grigoriev, J. Harrison, and E. A. Hirsch, (eds.), Computer Science—Theory and Applications, First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8–12, 2006, Proceedings, vol. 3967 of Lecture Notes in Computer Science, Springer, 2006, pp. 313–321.

  30. Standefer, S., Tracking reasons with extensions of relevant logics, Logic Journal of the IGPL 27(4):543–569, 2019.

    Article  Google Scholar 

Download references


We would like to thank the referees for their comments. The presentation of the paper has been considerably improved as a result of those comments. We also wish to express our deep gratitude to Nicholas Pischke for reading an earlier draft of the paper and providing many precious suggestions. The research of the first author was in part supported by a grant from IPM and carried out in IPM-Isfahan Branch. The research of the second author was in part supported by a grant from IPM (No.99030420) and carried out in IPM-Isfahan Branch.

Author information

Authors and Affiliations


Corresponding author

Correspondence to Meghdad Ghari.

Additional information

Publisher's Note

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

Presented by Heinrich Wansing

Rights and permissions

Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Farahmand Parsa, A., Ghari, M. On Boolean Algebraic Structure of Proofs: Towards an Algebraic Semantics for the Logic of Proofs. Stud Logica (2023).

Download citation

  • Received:

  • Published:

  • DOI:


  • Logic of proofs
  • Algebraic semantics
  • Completeness
  • Representation theorem