Algebraizations of Propositional Logic and Monadic Logic
Article Sidebar
Main Article Content
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.
Downloads
Article Details
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.
How to Cite
References
A. M. Al-Odhari, " Features of Propositional Logic", Pure Mathematical Sciences, Vol. 10, 2021, no. 1, 35 – 44, HIKARI Ltd, www.m-ikari.com,https://doi.org/10.12988/pms.2021.91275. [CrossRef]
M. Al-Odhari, "Existential and Universal Quantifier Operators on Boolean Algebras and Their Properties", I.J. of Mathematical Achieve, 12 (5) (2021), 37-44.
A. M. Al-Odhari, "Some Characteristics of Monadic and Simple Monadic Algebras", I.J. of Mathematical Achieve, 13 (4) (2022), 1-6.
A. Arnold, and I. Guessarian, "Mathematics for Computer Science". Prentice Hall Europe-Masson, 1996.
G. Boole, An investigation into laws of thought, 1854. www.gutenberg.org.
S. Burris, and H. P. A. Sankappanavar, "Course in Universal Algebra", Springer-Verlag, New York, 1981. https://doi.org/10.1007/978-1-4613-8130-3 [CrossRef]
P. A. Fejer, and D. Simovici, "Mathematical, Foundations of Computer Science", Springer-Verlag New York, Inc, 1991. [CrossRef]
G. Forbes, "Modern Logic", Oxford University Press, Oxford, 1994.
R. L. Goodstein, "Boolean Algebra", Pergman Press Ltd,1963.
P. R. Halmos," Basic concepts of algebraic logic", American Mathematical Monthly, 53 (1956), 363-387. https://doi.org/10.1080/00029890.1956.11988821 [CrossRef]
P. R. Halmos" Algebraic logic, I. Monadic Boolean Algebras", Composition Mathematica, 12 (1955),217-249.
P.R Halmos, The representation of Monadic Boolean Algebras, Duke Mathematical Journal, 26 (1959), 447-454. https://doi.org/10.1215/s0012-7094-59-02642-0 [CrossRef]
P. R. Halmos, "Free monadic algebras", Proceeding of the American Mathematical Society, 10 (1959), 219-227. https://doi.org/10.1090/s0002-9939-1959-0106198-3 [CrossRef]
P. R. Halmos, "Lecture on Boolean Algebra", D. Van No strand, Princeton,1963.
P. R. Halmos, "Algebraic logic", Chelsea, New York Mathematics, 12 (1962),217-249.
A. G. Hamilton, "Logic for Mathematicians", 17University Press, Cambridge, 1978.
H. Jung, "Boolean Algebras, Boolean Rings and Stone's Representation Theorem", (2017). http://mathsci.kaist.ac.kr › ~htjung › Boolean
H. Kahane, Logic and Philosophy. Wadsworth, Inc.1990.
M. Katetov, translated by M. Basch, "Algebraic Methods of Mathematical Logic", Ladislav Rieger, 1967.
Y. I. Manin, "A Course of Mathematical Logic for Mathematicians", Springer, New York, Dordrecht, Heidelberg, London, 2010. https://doi.org/10.1007/978-1-4419-0615-1 [CrossRef]
A. W. Miller, "Introduction to Mathematical Logic", arXiv:math/ 9601203V1[math.LO] 16 (1996) Jan 1996.
H. Pospessel, Introduction to Logic Propositional Logic, Prentice-Hall, Inc.
W. V. Quine, "Philosophy of Logic", Harvard University Press, Cambridge, Massachusetts and London England, 1986.
W. V. Quine, "Methods of Logic", Holt, Rinehart and Winston, Inc, 1959.
L. Rieger, Algebraic Methods of Mathematical Logic, Academic Press Inc, 1967. https://doi.org/10.1016/c2013-0-12370-7 [CrossRef]
U. Schoning, "Logic for Computer Scientists", Birkhauser Boston Basel Berlin, 1989. https://doi.org/10.1007/978-0-8176-4763-6 [CrossRef]
A. Yasuhara, Recursive Function Theory and Logic, Academic Press, Inc, 1971.