Algebraic Description of Monadic Second Order Logic


Abstract views: 0 / PDF downloads: 0

Authors

  • Kahtan H. Alzubaidy Department of Mathematics, Faculty of Science, University of Benghazi, Libya
  • Nabila M. Bennour Department of Mathematics, Faculty of Science, University of Benghazi, Libya

Keywords:

Boolean algebras, Monadic logics, Dyadic logics, Second order logics

Abstract

A direct algebraic description of monadic second order logic in terms of Boolean algebras of unary and binary relations are given by extending the method of [1].

Downloads

Published

14-09-2025

How to Cite

Kahtan H. Alzubaidy, & Nabila M. Bennour. (2025). Algebraic Description of Monadic Second Order Logic. International Journal of Mathematics And Its Applications, 13(3), 83–90. Retrieved from https://ijmaa.in/index.php/ijmaa/article/view/1611

Issue

Vol. 13 No. 3 (2025)

Section

Research Article

License

Copyright (c) 2025 International Journal of Mathematics And its Applications

Creative Commons License

This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.