Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 2 of 2
Full-Text Articles in Physical Sciences and Mathematics
The Finite Embeddability Property For Some Noncommutative Knotted Varieties Of Rl And Drl, Riquelmi Salvador Cardona Fuentes
The Finite Embeddability Property For Some Noncommutative Knotted Varieties Of Rl And Drl, Riquelmi Salvador Cardona Fuentes
Electronic Theses and Dissertations
Residuated lattices, although originally considered in the realm of algebra providing a general setting for studying ideals in ring theory, were later shown to form algebraic models for substructural logics. The latter are non-classical logics that include intuitionistic, relevance, many-valued, and linear logic, among others. Most of the important examples of substructural logics are obtained by adding structural rules to the basic logical calculus FL. We denote by 𝖱𝖫𝑛 � the varieties of knotted residuated lattices. Examples of these knotted rules include integrality and contraction. The extension of �� by the rules corresponding to these two equations is …
Philosophy Of Mathematics: Theories And Defense, Amy E. Maffit
Philosophy Of Mathematics: Theories And Defense, Amy E. Maffit
Williams Honors College, Honors Research Projects
In this paper I discuss six philosophical theories of mathematics including logicism, intuitionism, formalism, platonism, structuralism, and moderate realism. I also discuss problems that arise within these theories and attempts to solve them. Finally, I attempt to harmonize the best features of moderate realism and structuralism, presenting a theory that I take to best describe current mathematical practice.