Mathematical Logic: Foundations and Beyond

Main Article Content

Romi Bala
Hemant Pandey

Abstract

Mathematical logic serves as the cornerstone of formal reasoning, providing precise tools for analyzing the structure and validity of arguments. This paper offers a comprehensive exploration of key topics in mathematical logic, spanning from classical propositional and predicate logic to modal logic and non-classical logics. It examines the syntactic and semantic aspects of various logical systems, delves into proof theory and computational complexity, and explores applications in diverse fields such as mathematics, computer science, philosophy, and linguistics. By elucidating the fundamental principles and practical implications of mathematical logic, this paper highlights its pivotal role in advancing knowledge and addressing complex challenges across disciplines.

Downloads

Download data is not yet available.

Metrics

Metrics Loading ...

Article Details

How to Cite
Bala, R. ., & Pandey, H. . (2018). Mathematical Logic: Foundations and Beyond. Turkish Journal of Computer and Mathematics Education (TURCOMAT), 9(3), 1405–1411. https://doi.org/10.61841/turcomat.v9i3.14599
Section
Research Articles

References

Adams, R. M. (1974). Possible Worlds: An Introduction to Logic and Its Philosophy. Oxford University

Press.

Anderson, A. R., & Belnap, N. D. (1975). Entailment: The Logic of Relevance and Necessity (Vol. 1).

Princeton University Press.

Arora, S., & Barak, B. (2009). Computational Complexity: A Modern Approach. Cambridge University

Press.

Boole, G. (1854). The Laws of Thought. Dover Publications.

Boolos, G., Burgess, J., & Jeffrey, R. (2007). Computability and Logic (5th ed.). Cambridge University

Press.

Carnielli, W. A., & Coniglio, M. E. (2007). Introduction to Paraconsistent Logic. CRC Press.

Chang, C. C., & Keisler, H. J. (1990). Model Theory (3rd ed.). North-Holland.

Copi, I. M., Cohen, C., & McMahon, K. (2014). Introduction to Logic (14th ed.). Pearson.

Cori, R., & Lascar, D. (2000). Mathematical Logic: A Course with Exercises. Oxford University Press.

Cutland, N. (1980). Computability: An Introduction to Recursive Function Theory. Cambridge University

Press.

Dummett, M. (2000). Elements of Intuitionism (2nd ed.). Oxford University Press.

Ebbinghaus, H.-D., Flum, J., & Thomas, W. (2010). Mathematical Logic (2nd ed.). Springer.

Fisher, M. (1987). Temporal Logic: From Ancient Ideas to Artificial Intelligence. Springer.

Franzen, T. (2005). The Incompleteness Phenomenon: A New Course in Mathematical Logic. Oxford

University Press.

Frege, G. (1879). Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought. In

J. van Heijenoort (Ed.), From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931 (pp. 1–

. Harvard University Press.

Gödel, K. (1931). On formally undecidable propositions of Principia Mathematica and related systems I. In

S. Feferman et al. (Eds.), Kurt Gödel: Collected Works Volume I: Publications 1929-1936 (pp. 145–195).

Oxford University Press.

Hilbert, D. (1900). Mathematical Problems: Lecture delivered before the International Congress of

Mathematicians at Paris in 1900. Bulletin of the American Mathematical Society, 8(10), 437–479.

Hopcroft, J. E., Motwani, R., & Ullman, J. D. (2006). Introduction to Automata Theory, Languages, and

Computation (3rd ed.). Pearson.

Hughes, G. E., & Cresswell, M. J. (1996). A New Introduction to Modal Logic. Routledge.

Kripke, S. (1980). Naming and Necessity. Harvard University Press.

Kunen, K. (2011). Set Theory: An Introduction to Independence Proofs. Chapman & Hall/CRC.

Lukasiewicz, J. (2010). Aristotle's Syllogistic from the Standpoint of Modern Formal Logic (2nd ed.).

Cornell University Library.

Marker, D. (2002). A Course in Model Theory. Springer.

Priest, G. (2003). Modal Logic for Open Minds. Oxford University Press.

Priest, G., Tanaka, K., & Weber, Z. (2002). Paraconsistent Logic: Consistency, Contradiction and Negation.

Oxford University Press.

Robinson, J. A. (1965). A machine-oriented logic based on the resolution principle. Journal of the ACM,

(1), 23-41.

Robinson, J. A. (Ed.). (2001). Handbook of Automated Reasoning (Vol. 1-2). Elsevier.

Ross, T. J. (2004). Fuzzy Logic with Engineering Applications (3rd ed.). Wiley-Blackwell.

Ross, T. J. (2010). Fuzzy Logic: Intelligence, Control, and Information. CRC Press.

Shostak, R. (1979). Deciding formulas with the quantifier-free theory of the integers. Journal of the ACM,

(2), 351-361.

Sipser, M. (2012). Introduction to the Theory of Computation (3rd ed.). Cengage Learning.

Sperber, D., & Wilson, D. (1986). Relevance: Communication and Cognition. Wiley-Blackwell.

Troelstra, A. S., & Schwichtenberg, H. (2000). Basic Proof Theory. Cambridge University Press.