Logic and Foundations Commons^™

Epistemic Considerations On Extensive-Form Games, Cagil Tasdemir

Dissertations, Theses, and Capstone Projects

In this thesis, we study several topics in extensive-form games. First, we consider perfect information games with belief revision with players who are tolerant of each other’s hypothetical errors. We bound the number of hypothetical non-rational moves of a player that will be tolerated by other players without revising the belief on that player’s rationality on future moves, and investigate which games yield the backward induction solution.

Second, we consider players who have no way of assigning probabilities to various possible outcomes, and define players as conservative, moderate and aggressive depending on the way they choose, and show that all …

A Generalization Of The Difference Of Slopes Test To Poisson Regression With Three-Way Interaction, Melinda Bierhals

Theses, Dissertations and Capstones

Linear regression models involving interaction can use the difference of slopes test to compare slopes for various situations. We will be generalizing this process to develop a procedure to compare rates in a Poisson regression model, allowing us to consider unbounded count data as opposed to continuous data. We will apply this process to an educational data set from a sample of students located in two different Los Angeles high schools. Our model will include a three-way interaction and address the following questions:

• Does language ability impact the relationship between math ability and attendance in the same way for …

Constructing A Categorical Framework Of Metamathematical Comparison Between Deductive Systems Of Logic, Alex Gabriel Goodlad

Senior Projects Spring 2016

The topic of this paper in a broad phrase is “proof theory". It tries to theorize the general

notion of “proving" something using rigorous definitions, inspired by previous less general

theories. The purpose for being this general is to eventually establish a rigorous framework

that can bridge the gap when interrelating different logical systems, particularly ones

that have not been as well defined rigorously, such as sequent calculus. Even as far as

semantics go on more formally defined logic such as classic propositional logic, concepts

like “completeness" and “soundness" between the “semantic" and the “deductive system"

is too arbitrarily defined …

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

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.

A Quasi-Classical Logic For Classical Mathematics, Henry Nikogosyan

Honors College Theses

Classical mathematics is a form of mathematics that has a large range of application; however, its application has boundaries. In this paper, I show that Sperber and Wilson’s concept of relevance can demarcate classical mathematics’ range of applicability by demarcating classical logic’s range of applicability. Furthermore, I introduce how to systematize Sperber and Wilson’s concept of relevance into a quasi-classical logic that can explain classical logic’s and classical mathematics’ range of applicability.

Borel Complexity Of The Isomorphism Relation For O-Minimal Theories, Davender Singh Sahota '99

Doctoral Dissertations

In 1988, Mayer published a strong form of Vaught's Conjecture for o-minimal theories (1). She showed Vaught's Conjecture holds, and characterized the number of countable models of an o-minimal theory T if T has fewer than 2K ° countable models. Friedman and Stanley have shown in (2) that several elementary classes are Borel complete. This work addresses the class of countable models of an o-minimal theory T when T has 2N ° countable models, including conditions for when this class is Borel complete. The main result is as follows.

Theorem 1. Let T be an o-minimal theory in a countable …

Math, Minds, Machines, Christopher V. Carlile

Chancellor’s Honors Program Projects

No abstract provided.

Ultra-Low Voltage Digital Circuits And Extreme Temperature Electronics Design, Aaron J. Arthurs

Graduate Theses and Dissertations

Certain applications require digital electronics to operate under extreme conditions e.g., large swings in ambient temperature, very low supply voltage, high radiation. Such applications include sensor networks, wearable electronics, unmanned aerial vehicles, spacecraft, and energyharvesting systems. This dissertation splits into two projects that study digital electronics supplied by ultra-low voltages and build an electronic system for extreme temperatures. The first project introduces techniques that improve circuit reliability at deep subthreshold voltages as well as determine the minimum required supply voltage. These techniques address digital electronic design at several levels: the physical process, gate design, and system architecture. This dissertation analyzes …

Computable Linear Orders And Turing Reductions, Whitney P. Turner

Master's Theses

This thesis explores computable linear orders through Turing Reductions and codes zero jump and zero double jump into linear orders using discrete, dense, and block linear relations.

Verifying Harder's Conjecture For Classical And Siegel Modular Forms, David Sulon

Honors Theses

A conjecture by Harder shows a surprising congruence between the coefficients of “classical” modular forms and the Hecke eigenvalues of corresponding Siegel modular forms, contigent upon “large primes” dividing the critical values of the given classical modular form.

Harder’s Conjecture has already been verified for one-dimensional spaces of classical and Siegel modular forms (along with some two-dimensional cases), and for primes p 37. We verify the conjecture for higher-dimensional spaces, and up to a comparable prime p.

On The Logic Of Reverse Mathematics, Alaeddine Saadaoui

Theses, Dissertations and Capstones

The goal of reverse mathematics is to study the implication and non-implication relationships between theorems. These relationships have their own internal logic, allowing some implications and non-implications to be derived directly from others. The goal of this thesis is to characterize this logic in order to capture the relationships between specific mathematical works. The results of our study are a finite set of rules for this logic and the corresponding soundness and completeness theorems. We also compare our logic with modal logic and strict implication logic. In addition, we explain two applications of S-logic in topology and second order arithmetic.

Statistical Properties Of A Convoluted Beta-Weibull Distribution, Jianan Sun

Theses, Dissertations and Capstones

A new class of distributions recently developed involves the logit of the beta distribution. Among this class of distributions are the beta-normal (Eugene et.al. (2002)); beta-Gumbel (Nadarajah and Kotz (2004)); beta-exponential (Nadarajah and Kotz (2006)); beta-Weibull (Famoye et al. (2005)); beta-Rayleigh (Akinsete and Lowe (2008)); beta-Laplace (Kozubowski and Nadarajah (2008)); and beta-Pareto (Akinsete et al. (2008)), among a few others. Many useful statistical properties arising from these distributions and their applications to real life data have been discussed in the literature. One approach by which a new statistical distribution is generated is by the transformation of random variables having known …

The Mathematical Landscape, Antonio Collazo

CMC Senior Theses

The intent of this paper is to present the reader will enough information to spark a curiosity in to the subject. By no means is the following a complete formulation of any of the topics covered. I want to give the reader a tour of the mathematical landscape. There are plenty of further details to explore in each section, I have just touched the tip the iceberg. The work is basically in four sections: Numbers, Geometry, Functions, Sets and Logic, which are the basic building blocks of Math. The first sections are a exposition into the mathematical objects and their …

Dancing With Heretics: Essays On Orthodoxy, Questioning And Faith, Darren M. Edwards

All Graduate Theses and Dissertations, Spring 1920 to Summer 2023

While much has been written about the conflicts, supposed or actual, between logic and faith, science and religion, few accounts of the personal turmoil these conflicts can cause exist. Likewise, many of these nonfiction accounts are written from a distinctly polarized place leaning either to science or faith.

In this thesis, I mix research and history with memoir and a sense of poetry to explore my personal experience with this conflict. At its outset, I hoped for this project to capture my struggle as an orthodox member of The Church of Jesus Christ of Latter-day Saints (LDS) in dealing with …

Mathematics In Motion: Linear Systems Of Differential Equations On The Differential Analyzer, Devon A. Tivener

Theses, Dissertations and Capstones

In this work, I will provide an introduction to the dierential analyzer, a machine designed to solve dierential equations through a process called mechanical integration. I will give a brief historical account of dierential analyzers of the past, and discuss the Marshall University Dierential Analyzer Project. The goal of this work is to provide an analysis of solutions of systems of dierential equations using a dierential analyzer. In particular, we are interested in the points at which these systems are in equilibrium and the behavior of solutions that start away from equilibrium. After giving a description of linear systems of …

Exploring Some Inattended Affective Factors In Performing Nonroutine Mathematical Tasks, John Douglas Butler

Master's Theses, Dissertations, Graduate Research and Major Papers Overview

Describes students' attempts to solve nonroutine math problems and explores possible correlates of their performance, focusing on inattended (i.e., intentionally avoided) dimensions underrepresented in the literature, including attitudes, interests, values, aesthetics, metacognition, and representation. Analyzes objective and subjective data gathered from a sample of 9th-grade students at a high school in Rhode Island. Finds strong evidence of students' math-aesthetics in problem solving.

Transparency In Formal Proof, Cap Petschulat

Boise State University Theses and Dissertations

The oft-emphasized virtue of formal proof is correctness; a machine-checked proof adds greatly to our confidence in a result. But the rigors of formalization give rise to another possible virtue, namely clarity. Given the state of the art, clarity and formality are at odds: complexity of formalization obscures the content of proof. To address this, we develop a notion of proof strategies which extend the well-known notion of proof tactics. Beginning with the foundations of logic, we describe the methods and structures necessary to implement proof strategies, concluding with a proof-of-concept implementation in CheQED, a web-based proof assistant.

Population Modeling By Differential Equations, Hui Luo

Theses, Dissertations and Capstones

A general model for the population of Tibetan antelope is constructed. The present model shows that the given data is reasonably logistic. From this model the extinction of antelopes in China is predicted if we don’t consider the effects of humans on the population. Moreover, this model shows that the population is limited. A projected limiting number is given by this model. Some typical mathematical models are introduced such as exponential model and logistic model. The solutions of those models are analyzed.

Application Of Fuzzy State Aggregation And Policy Hill Climbing To Multi-Agent Systems In Stochastic Environments, Dean C. Wardell

Theses and Dissertations

Reinforcement learning is one of the more attractive machine learning technologies, due to its unsupervised learning structure and ability to continually even as the operating environment changes. Applying this learning to multiple cooperative software agents (a multi-agent system) not only allows each individual agent to learn from its own experience, but also opens up the opportunity for the individual agents to learn from the other agents in the system, thus accelerating the rate of learning. This research presents the novel use of fuzzy state aggregation, as the means of function approximation, combined with the policy hill climbing methods of Win …

Fuzzy Logic: An Analysis Of Logical Connectives And Their Characterizations, John F. Hamman

Dissertations and Theses @ UNI

The focus of this thesis is to determine exactly which functions serve as appropriate fuzzy negation, conjunction and disjunction functions. To this end, the first chapter serves as motivation for why fuzzy logic is needed, and includes an original demonstration of the inadequacy of many valued logics to resolve the sorites paradox. Chapter 2 serves as an introduction to fuzzy sets and logic. The canonical fuzzy set of tall men is examined as a motivating example, and the chapter concludes with a discussion of membership functions.

Four desirable conditions of the negation function are given in Chapter 3, but it …

A Partial "Squeezing Theorem" For A Particular Class Of Many-Valued Logics, Stephen Michael Walk

Dissertations and Theses @ UNI

The problem to be studied for this thesis was that of whether the usual statement calculus is a suitable formal system for every many-valued logic in a particular collection of logics. The logics in question are those that fall between the usual two-valued logic and a modified form of the Lukasiewicz-Tarski three-valued logic.

Since this betweenness relationship was an original concept and appeared nowhere in the literature, the first goal in the research plan was to define this relationship precisely. Preliminary concepts included truth value mapping and forgivingness of logics, concepts that, like betweenness, are original to this paper and …

Competing Risks In Parallel And Series Systems, Lloyd R. Jaisingh

Morehead State Theses and Dissertations

A research paper written by Lloyd R. Jaisingh of the Department of Mathematical Sciences at Morehead State University on November 24, 1987.

Improving The Lower Bound For The Reliability When The Strength Distribution Is Gamma And The Stress Distribution In Chi-Square, Lloyd R. Jaisingh

Morehead State Theses and Dissertations

A research paper written by Lloyd R. Jaisingh of the Department of Mathematical Sciences at Morehead State University in August of 1987.

Finite Topologies And Boolean Matrices, Jon Michael Kelley

Morehead State Theses and Dissertations

A thesis submitted in partial fulfillment of the requirements for the degree of Master of Science in the Department of Mathematics at Morehead State University by Jon Michael Kelley in July of 1974.

Mathematical Philosophy, Janie Ferguson

Honors Theses

The purpose of Mathematical Philosophy by Cassius J. Keyser is to delve into some of the more essential and significant relations between mathematics and philosophy. To see this relation, one must gain insight into the nature of mathematics as a distinctive type of thought. The standard of excellence in the quality of thinking to which mathematicians are accustomed is called "logical rigor;" clarity and precision are essentials. The demands of logic, however, cannot be fully satisfied even in mathematics, but it meets the requirements much more nearly than any other discipline. Thus, the amount of mathematical training essential to education …

Mathematics And Logic, Janet Moffett

Honors Theses

Mathematics is interested in the methods by which concepts are defined in terms of others and statements are inferred from others. It therefore uses a primarily deductive form of reasoning. It is almost impossible to distinguish where logic leaves off and mathematics begins. "... logic is the youth of mathematics and mathematics is the manhood of logic." Mathematics starts from certain premises and, by a strict process of deduction, arrives at the various theorems which constitute it.

In order to understand the congruence of mathematics and deductive logic, one must understand the principles of each and the relation between them. …

Probable Circular Error (Cep) Of Ballistic Missiles, James Edward Moran Jr.

All Graduate Theses and Dissertations, Spring 1920 to Summer 2023

The survival of our nation, during a nuclear exchange, depends upon an effective national defense structure. The prime weapon system in this defense structure is the ballistic missile. Although many factors enter into an evaluation of the effectiveness of a ballistic missile, one of the most important measure is accuracy. Without an accurate weapon system we have no weapon system.

The Department of Defense has places emphasis on using a method of accuracy evaluation called "Probably Circular Error (CEP)." Probably Circular Error is defined as "The radius of a circle, centered at the intended target, within which 50% of the …

Error Structure Of Randomized Design Under Background Correlation With A Missing Value, Tseng-Chi Chang

All Graduate Theses and Dissertations, Spring 1920 to Summer 2023

The analysis of variance technique is probably the most popular statistical technique used for testing hypotheses and estimating parameters. Eisenhart (12) presents two classes of problems solvable by the analysis of variance and the assumption underlying each class. Cochran (9) lists the assumptions and also discusses the consequences when these assumptions are not met. It is evident that if all the assumptions are not satisfied, the confidence placed in any result obtained in this manner is adversly affected to varying degrees according to the extent of the violation.

Investigation Of The Properties Of The Iterations Of A Homeomorphism On A Metric Space, Murray B. Peterson, Jr.

All Graduate Theses and Dissertations, Spring 1920 to Summer 2023

Considerable study has been made concerning the properties of the iterations of a homeomorphism on a metric space. Much of this material is scattered throughout the literature and understood solely by a specialist. The main object of this paper is to put into readable form proofs of theorems found in G.T. Whyburn's "Analytic Topology" pertaining to this topic in topology. Properties of the decomposition space of point-orbits induced by the iterations of a homeomorphism will compose a major part of the study. Some theorems will be established through series of lemmas required to fill in much of the detail lacking …