Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 17 of 17 for “"Logic and Foundations"”.
-
Novel visualization scheme for reasoning with uncertainty
… scheme for the representation of the uncertainty and relations in reasoning using extended logic programming. This scheme has graphical layout and color utilization components borrowed from data mining, cartography, and general principles of graphic design. Even in simple logic programming …
-
The Proscriptive Principle and Logics of Analytic Implication
<p>The analogy between inference and mereological containment goes at least back to Aristotle, whose discussion in the <em>Prior Analytics</em> motivates the validity of the syllogism by way of talk of parts and wholes. On this picture, the application of syllogistic is merely the <em>analysis</em> …
-
An Argument For A Neutral Free Logic
<p>I argue for a neutral free logic is a logic wherein sentences containing non-referring terms do not have truth value. The primary support for this conclusion comes by way of criticism of the alternatives. If every sentence of the form `a = a' is a logical truth and is consequently knowable a …
-
Some Model Theory of Free Groups
… of groups, namely finitely generated free groups and finitely generated elementary free groups, fail to form A-Fraisse classes and that the class of non-abelian limit groups fails to form a strong A-Fraisse class.</p> <p>The second main result is that if a countable group is elementarily …
-
Modest Automorphisms of Presburger Arithmetic
… to consider whether a structure can be expanded by an automorphism so that one obtains a nice description of the expanded structure's first-order properties. In this dissertation, we study some such expansions of models of Presburger arithmetic. Building on some of the work of Harnik (1986) …
-
Frontiers of Conditional Logic
<p>Conditional logics were originally developed for the purpose of modeling intuitively correct modes of reasoning involving conditional—especially counterfactual—expressions in natural language. While the debate over the logic of conditionals is as old as propositional logic, it was the …
-
Categories of Residuated Lattices
… Galatos-Raftery construction of Sugihara monoids and their bounded expansions, and the Aguzzoli-Flaminio-Ugolini quadruples construction of srDL-algebras. Our dual presentation of these constructions is facilitated by both new algebraic results, and new duality-theoretic tools. On the algebraic …
-
Three Essays in Intuitionistic Epistemology
<p>We present three papers studying knowledge and its logic from an intuitionistic viewpoint.</p> <p><em>An Arithmetic Interpretation of Intuitionistic Verification</em></p> <p>Intuitionistic epistemic logic introduces an epistemic operator to intuitionistic logic which reflects the intended BHK …
-
The Structure of Models of Second-order Set Theories
… in recent years. The approach is to understand second-order set theory by studying the structure of models of second-order set theories. The main results are the following, organized by chapter. First, I investigate the poset of T-realizations of a fixed countable model of ZFC, where T is a …
-
The Finite Embeddability Property for Some Noncommutative Knotted Varieties of RL and DRL
… 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 …
-
Prolegomenon to a Neo-Kantian Student Heuristic
… life by providing them with the means for understanding the structure of thought. As it stands now, though, this is a prolegomen to that text. It contains the essential theory for the text, but lacks sufficient examples to make it readily accessible to the student, and it lacks the exercises …
-
Formalization of a Security Framework Design for a Health Prescription Assistant in an Internet of Things System
… system design flaws will create greater risks and repercussions as the systems being secured further integrate into our daily life. One such application example is incorporating the powerful potential of the concept of the Internet of Things (IoT) into software services engineered for improving …
-
Ultra-low Voltage Digital Circuits and Extreme Temperature Electronics Design
… 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 …