Algebraizations of Propositional Logic and Monadic Logic
Adel Mohammed Al-Odhari
Adel Mohammed Al-Odhari, Department of Mathematics, Faculty of Education, Humanities and Applied Sciences (Khwalan), Sana’a University, Sana’a, Yemen.
Manuscript received on 13 January 2023 | Revised Manuscript received on 11 February 2023 | Manuscript Accepted on 15 April 2023 | Manuscript published on 30 April 2023 | PP: 12-19 | Volume-3 Issue-1, April 2023 | Retrieval Number: 100.1/ijam.A1141043123 | DOI: 10.54105/ijam.A1141.043123
Open Access | Editorial and Publishing Policies | Cite | Mendeley | Indexing and Abstracting
© The Authors. Published by Lattice Science Publication (LSP). This is an open-access article under the CC-BY-NC-ND license (http://creativecommons.org/licenses/by-nc-nd/4.0/)
Abstract: In this paper, we introduce the language systems of propositional logic (LSPL), which involves no variables, and monadic predicate logic (LSMPL), which consists of predicates applied to single variables. We review the validity and dedication related to (LSPL) and (LSMPL) with their properties. After that, we investigate the connection between Boolean algebras with (LSPL) and (LSMPL) to make algebraizations methods out of logic.
Keywords: Propositional and Monadic Logic, Validity, Deduction, Boolean Algebra, Algebraizations of Propositional and Monadic Logic.
Scope of the Article: Logic