Published April 30, 2023 | Version CC BY-NC-ND 4.0
Journal article Open

Algebraizations of Propositional Logic and Monadic Logic

Authors/Creators

  • 1. Department of Mathematics, Faculty of Education, Humanities and Applied Sciences (Khwalan), Sana'a University, Sana'a, Yemen.

Description

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.

Notes

Published By: Lattice Science Publication (LSP) © Copyright: All rights reserved.

Files

A1141043123.pdf

Files (1.2 MB)

Name Size Download all
md5:7e0ee8beb9771f5b52cf86842f7c29bd
1.2 MB Preview Download

Additional details

Related works

Is cited by
Journal article: 2582-8932 (ISSN)

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.
  • 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
  • P. A. Fejer, and D. Simovici, "Mathematical, Foundations of Computer Science", Springer-Verlag New York, Inc, 1991.
  • 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.
  • 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
  • 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
  • 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
  • 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
  • U. Schoning, "Logic for Computer Scientists", Birkhauser Boston Basel Berlin, 1989. https://doi.org/10.1007/978-0-8176-4763-6
  • A. Yasuhara, Recursive Function Theory and Logic, Academic Press, Inc, 1971.

Subjects

ISSN: 2582-8932 (Online)
https://portal.issn.org/resource/ISSN/2582-8932
Retrieval Number: 100.1/ijam.A1141043123
https://www.ijam.latticescipub.com/portfolio-item/A1141043123/
Journal Website
https://www.ijam.latticescipub.com/
Publisher: Lattice Science Publication (LSP)
https://www.latticescipub.com/