Academic literature on the topic 'Mathematical Logic'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Mathematical Logic.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Journal articles on the topic "Mathematical Logic"
Gehrke, Mai, Carol Walker, and Elbert Walker. "A Mathematical Setting for Fuzzy Logics." International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 05, no. 03 (June 1997): 223–38. http://dx.doi.org/10.1142/s021848859700021x.
Full textAustin, Keith, H. D. Ebbinghaus, J. Flum, W. Thomas, and A. S. Ferebee. "Mathematical Logic." Mathematical Gazette 69, no. 448 (June 1985): 147. http://dx.doi.org/10.2307/3616954.
Full textBala, Romi, and Hemant Pandey. "Mathematical Logic: Foundations and Beyond." Turkish Journal of Computer and Mathematics Education (TURCOMAT) 9, no. 3 (December 17, 2018): 1405–11. http://dx.doi.org/10.61841/turcomat.v9i3.14599.
Full textBagaria, Joan. "On Turing’s legacy in mathematical logic and the foundations of mathematics." Arbor 189, no. 764 (December 30, 2013): a079. http://dx.doi.org/10.3989/arbor.2013.764n6002.
Full textAustin, Keith, and Elliott Mendelson. "Introduction to Mathematical Logic." Mathematical Gazette 71, no. 458 (December 1987): 325. http://dx.doi.org/10.2307/3617078.
Full textSabbagh, G. "Conference on Mathematical Logic." Journal of Symbolic Logic 59, no. 1 (March 1994): 345. http://dx.doi.org/10.2307/2275271.
Full textUspensky, Vladimir A. "Kolmogorov and mathematical logic." Journal of Symbolic Logic 57, no. 2 (June 1992): 385–412. http://dx.doi.org/10.2307/2275276.
Full textSlater, Hartley. "Logic is not Mathematical." Polish Journal of Philosophy 6, no. 1 (2012): 69–86. http://dx.doi.org/10.5840/pjphil2012615.
Full textHarriss, E., and W. Hodges. "Logic for Mathematical Writing." Logic Journal of IGPL 15, no. 4 (July 25, 2007): 313–20. http://dx.doi.org/10.1093/jigpal/jzm022.
Full textShapiro, Stewart. "Logic, ontology, mathematical practice." Synthese 79, no. 1 (April 1989): 13–50. http://dx.doi.org/10.1007/bf00873255.
Full textDissertations / Theses on the topic "Mathematical Logic"
Wedin, Hanna. "Mathematical Induction." Thesis, Uppsala universitet, Algebra och geometri, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-414099.
Full textMoreno, Dávila Julio Moreno Davila Julio. "Mathematical programming for logic inference /." [S.l.] : [s.n.], 1990. http://library.epfl.ch/theses/?nr=784.
Full textCerami, Marco. "Fuzzy Description Logics from a Mathematical Fuzzy Logic point of view." Doctoral thesis, Universitat de Barcelona, 2012. http://hdl.handle.net/10803/113374.
Full textEl trabajo desarrollado en esta tesis es una propuesta de sistematizar la formalización de las Lógicas de la Descripción Fuzzy a partir de la Lógica Difusa Matemática. Para ello se define un lenguaje para las Lógicas de la Descripción Fuzzy que extiende el lenguaje de la primera tradición de esta disciplina para adaptarlo al lenguaje más propio de la Lógica Difusa Matemática. Desde el punto de vista semántico, la teoría de conjuntos borrosos cede el paso a una semántica algebraica, que es la que se utiliza en la Lógica Difusa Matemática y que resuelve las consecuencias poco intuitivas que tenía la semántica tradicional. A partir de esta formalización, se tratan temas que eran tradicionales en las Lógicas de la Descripción clásicas como son las jerarquías de inclusiones entre lenguajes de la descripción y la relación de las Lógicas de la Descripción Fuzzy con la Lógica Difusa de primer orden por un lado y la Lógica Difusa Multi-modal por el otro. En relación a problemas de decidibilidad se demuestra que la satisfacción y la subsunción de conceptos en el lenguaje ALE bajo una semántica basada en la Lógica del Producto son problemas decidibles. También se demuestra que la consistencia de bases de conocimiento en el lenguaje ALC bajo una semántica basada en la Lógica de Lukasiewicz es un problema indecidible. En relación a problemas de complejidad computacional se demuestra que satisfacción y validez de fórmulas en la Lógica Modal minimal de Lukasiewicz con valores finitos son problemas PSPACE-completos. También se demuestra que la satisfacción y subsunción de conceptos en el lenguaje IALCED bajo una semántica basada en cualquier lógica difusa con valores finitos son problemas PSPACE-completos. Otra contribución de nuestro trabajo es el estudio sistemático de algoritmos de decisión para la satisfacción y subsunción de conceptos en el lenguaje IALCED, respecto a modelos “witnessed", basados en una reducción de es- tos problemas a los problemas de satisfacción y consecuencia en la lógica proposicional correspondiente.
Greer, Deirdre C. Silvern Steven B. "Logic-mathematical processes in beginning reading." Auburn, Ala., 2005. http://repo.lib.auburn.edu/2005%20Summer/doctoral/GREER_DEIRDRE_28.pdf.
Full textFriend, Michèle Indira. "Second-order logic is logic." Thesis, University of St Andrews, 1997. http://hdl.handle.net/10023/14753.
Full textCollazo, Antonio. "The Mathematical Landscape." Scholarship @ Claremont, 2011. http://scholarship.claremont.edu/cmc_theses/116.
Full textFors, Mikael. "Elementary Discrete Sets in Martin-Löf Type Theory." Thesis, Uppsala universitet, Algebra och geometri, 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-175717.
Full textWiklund, Tilo. "Locally cartesian closed categories, coalgebras, and containers." Thesis, Uppsala universitet, Algebra och geometri, 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-197556.
Full textYim, Austin Vincent. "On Galois correspondences in formal logic." Thesis, University of Oxford, 2012. http://ora.ox.ac.uk/objects/uuid:b47d1dda-8186-4c81-876c-359409f45b97.
Full textEliasson, Jonas. "Ultrasheaves." Doctoral thesis, Uppsala : Matematiska institutionen, Univ. [distributör], 2003. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-3762.
Full textBooks on the topic "Mathematical Logic"
Jörg, Flum, and Thomas Wolfgang 1947-, eds. Mathematical logic. 2nd ed. New York: Springer-Verlag, 1994.
Find full textEbbinghaus, Heinz-Dieter, Jörg Flum, and Wolfgang Thomas. Mathematical Logic. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-73839-6.
Full textCsirmaz, Laszlo, and Zalán Gyenis. Mathematical Logic. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-79010-3.
Full textLi, Wei. Mathematical Logic. Basel: Springer Basel, 2014. http://dx.doi.org/10.1007/978-3-0348-0862-0.
Full textEbbinghaus, H. D., J. Flum, and W. Thomas. Mathematical Logic. New York, NY: Springer New York, 1994. http://dx.doi.org/10.1007/978-1-4757-2355-7.
Full textTourlakis, George. Mathematical Logic. Hoboken, NJ, USA: John Wiley & Sons, Inc., 2008. http://dx.doi.org/10.1002/9781118032435.
Full textPetkov, Petio Petrov, ed. Mathematical Logic. Boston, MA: Springer US, 1990. http://dx.doi.org/10.1007/978-1-4613-0609-2.
Full textKossak, Roman. Mathematical Logic. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-97298-5.
Full textLi, Wei. Mathematical Logic. Basel: Birkhäuser Basel, 2010. http://dx.doi.org/10.1007/978-3-7643-9977-1.
Full textEbbinghaus, Heinz-Dieter. Mathematical logic. 2nd ed. New York: Springer, 1996.
Find full textBook chapters on the topic "Mathematical Logic"
Šikić, Zvonimir. "Mathematical Logic: Mathematics of Logic or Logic of Mathematics." In Guide to Deep Learning Basics, 1–6. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-37591-1_1.
Full textKolmogorov, A. N., and A. P. Yushkevich. "Mathematical Logic." In Mathematics of the 19th Century, 1–34. Basel: Birkhäuser Basel, 2001. http://dx.doi.org/10.1007/978-3-0348-8293-4_1.
Full textKuzicheva, Z. A. "Mathematical Logic." In Mathematics of the 19th Century, 1–34. Basel: Birkhäuser Basel, 1992. http://dx.doi.org/10.1007/978-3-0348-5112-1_1.
Full textLavrov, Igor, Larisa Maksimova, and Giovanna Corsi. "Mathematical logic." In Problems in Set Theory, Mathematical Logic and the Theory of Algorithms, 51–134. Boston, MA: Springer US, 2003. http://dx.doi.org/10.1007/978-1-4615-0185-5_2.
Full textLavrov, Igor, Larisa Maksimova, and Giovanna Corsi. "Mathematical logic." In Problems in Set Theory, Mathematical Logic and the Theory of Algorithms, 203–47. Boston, MA: Springer US, 2003. http://dx.doi.org/10.1007/978-1-4615-0185-5_5.
Full textWeik, Martin H. "mathematical logic." In Computer Science and Communications Dictionary, 985. Boston, MA: Springer US, 2000. http://dx.doi.org/10.1007/1-4020-0613-6_11175.
Full textJebril, Iqbal H., Hemen Dutta, and Ilwoo Cho. "Mathematical Logic." In Concise Introduction to Logic and Set Theory, 1–28. Boca Raton: CRC Press, 2021. http://dx.doi.org/10.1201/9780429022838-1.
Full textYadav, Santosh Kumar. "Mathematical Logic." In Discrete Mathematics with Graph Theory, 115–79. Cham: Springer International Publishing, 2023. http://dx.doi.org/10.1007/978-3-031-21321-2_3.
Full textClarke, Barry R. "Logic." In Mathematical Conundrums, 135–61. New York: A K Peters/CRC Press, 2023. http://dx.doi.org/10.1201/9781003358275-7.
Full textVisser, Albert. "Interpretability Logic." In Mathematical Logic, 175–209. Boston, MA: Springer US, 1990. http://dx.doi.org/10.1007/978-1-4613-0609-2_13.
Full textConference papers on the topic "Mathematical Logic"
Habiballa, Hashim, and Radek Jendryscik. "Constructivistic mathematical logic education." In INTERNATIONAL CONFERENCE OF COMPUTATIONAL METHODS IN SCIENCES AND ENGINEERING 2018 (ICCMSE 2018). Author(s), 2018. http://dx.doi.org/10.1063/1.5079069.
Full textTiunova, M. "ONLINE MATHEMATICAL LOGIC TOOLS." In Modern problems of physics education. Baskir State University, 2021. http://dx.doi.org/10.33184/mppe-2021-11-10.154.
Full textDurcheva, Mariana, and Elena Nikolova. "Modeling mathematical logic using MAPLE." In PROCEEDINGS OF THE 44TH INTERNATIONAL CONFERENCE ON APPLICATIONS OF MATHEMATICS IN ENGINEERING AND ECONOMICS: (AMEE’18). Author(s), 2018. http://dx.doi.org/10.1063/1.5082125.
Full textAagaard, Frederik Lerbjerg, Jonathan Sterling, and Lars Birkedal. "A denotationally-based program logic for higher-order store." In Conference on the Mathematical Foundations of Programming Semantics. Electronic Notes in Theoretical Informatics and Computer Science, 2023. http://dx.doi.org/10.46298/entics.12232.
Full textDoz, Daniel, Darjo Felda, and Mara Cotič. "Using Fuzzy Logic to Assess Studentsʼ Mathematical Knowledge." In Nauka i obrazovanje – izazovi i perspektive. University of Kragujevac, Faculty of Edaucatin in Uzice, 2022. http://dx.doi.org/10.46793/noip.263d.
Full textBadia, Guillermo, and Carles Noguera. "Saturated Models in Mathematical Fuzzy Logic." In 2018 IEEE 48th International Symposium on Multiple-Valued Logic (ISMVL). IEEE, 2018. http://dx.doi.org/10.1109/ismvl.2018.00034.
Full textGottwald, S. "Toward Problems for Mathematical Fuzzy Logic." In 2006 IEEE International Conference on Fuzzy Systems. IEEE, 2006. http://dx.doi.org/10.1109/fuzzy.2006.1681928.
Full textLe, Van-Hung, Fei Liu, and Dinh-Khang Tran. "Mathematical fuzzy logic with many dual hedges." In the Fifth Symposium. New York, New York, USA: ACM Press, 2014. http://dx.doi.org/10.1145/2676585.2676619.
Full textLe, Van-Hung. "First-Order Mathematical Fuzzy Logic with Hedges." In The Fourth International Conference on Database and Data Mining. Academy & Industry Research Collaboration Center (AIRCC), 2016. http://dx.doi.org/10.5121/csit.2016.60509.
Full textHendel, Russell Jay. "A Mathematical-Logic Technique Facilitating Good Teaching." In 17th International Multi-Conference on Society, Cybernetics and Informatics. Winter Garden, Florida, United States: International Institute of Informatics and Cybernetics, 2023. http://dx.doi.org/10.54808/imsci2023.01.105.
Full textReports on the topic "Mathematical Logic"
Obua, Steven. Practal — Practical Logic: A Bicycle for Your Mathematical Mind. Recursive Mind, July 2021. http://dx.doi.org/10.47757/practal.1.
Full textProkaznikova, E. N. The distance learning course «The Mathematical Logic and Theory of Algorithms». OFERNIO, December 2018. http://dx.doi.org/10.12731/ofernio.2018.23531.
Full textFrantseva, Anastasiya. The video lectures course "Elements of Mathematical Logic" for students enrolled in the Pedagogical education direction, profile Primary education. Frantseva Anastasiya Sergeevna, April 2021. http://dx.doi.org/10.12731/frantseva.0411.14042021.
Full textStriuk, Andrii M. Software engineering: first 50 years of formation and development. [б. в.], December 2018. http://dx.doi.org/10.31812/123456789/2880.
Full textObua, Steven. Philosophy of Abstraction Logic. Steven Obua (trading as Recursive Mind), December 2021. http://dx.doi.org/10.47757/pal.1.
Full textObua, Steven. Philosophy of Abstraction Logic. Steven Obua (trading as Recursive Mind), December 2021. http://dx.doi.org/10.47757/pal.2.
Full text