Open Access. Powered by Scholars. Published by Universities.®

Logic and Foundations Commons

Open Access. Powered by Scholars. Published by Universities.®

575 Full-Text Articles 521 Authors 198,835 Downloads 60 Institutions

All Articles in Logic and Foundations

Faceted Search

575 full-text articles. Page 1 of 23.

Canonical Extensions Of Quantale Enriched Categories, Alexander Kurz 2024 Chapman University

Canonical Extensions Of Quantale Enriched Categories, Alexander Kurz

MPP Research Seminar

No abstract provided.


Multiscale Modelling Of Brain Networks And The Analysis Of Dynamic Processes In Neurodegenerative Disorders, Hina Shaheen 2024 Wilfrid Laurier University

Multiscale Modelling Of Brain Networks And The Analysis Of Dynamic Processes In Neurodegenerative Disorders, Hina Shaheen

Theses and Dissertations (Comprehensive)

The complex nature of the human brain, with its intricate organic structure and multiscale spatio-temporal characteristics ranging from synapses to the entire brain, presents a major obstacle in brain modelling. Capturing this complexity poses a significant challenge for researchers. The complex interplay of coupled multiphysics and biochemical activities within this intricate system shapes the brain's capacity, functioning within a structure-function relationship that necessitates a specific mathematical framework. Advanced mathematical modelling approaches that incorporate the coupling of brain networks and the analysis of dynamic processes are essential for advancing therapeutic strategies aimed at treating neurodegenerative diseases (NDDs), which afflict millions of …


Reducing Food Scarcity: The Benefits Of Urban Farming, S.A. Claudell, Emilio Mejia 2023 Brigham Young University

Reducing Food Scarcity: The Benefits Of Urban Farming, S.A. Claudell, Emilio Mejia

Journal of Nonprofit Innovation

Urban farming can enhance the lives of communities and help reduce food scarcity. This paper presents a conceptual prototype of an efficient urban farming community that can be scaled for a single apartment building or an entire community across all global geoeconomics regions, including densely populated cities and rural, developing towns and communities. When deployed in coordination with smart crop choices, local farm support, and efficient transportation then the result isn’t just sustainability, but also increasing fresh produce accessibility, optimizing nutritional value, eliminating the use of ‘forever chemicals’, reducing transportation costs, and fostering global environmental benefits.

Imagine Doris, who is …


Many-Valued Coalgebraic Logic: From Boolean Algebras To Primal Varieties, Alexander Kurz, Wolfgang Poiger 2023 Chapman University

Many-Valued Coalgebraic Logic: From Boolean Algebras To Primal Varieties, Alexander Kurz, Wolfgang Poiger

Engineering Faculty Articles and Research

We study many-valued coalgebraic logics with primal algebras of truth-degrees. We describe a way to lift algebraic semantics of classical coalgebraic logics, given by an endofunctor on the variety of Boolean algebras, to this many-valued setting, and we show that many important properties of the original logic are inherited by its lifting. Then, we deal with the problem of obtaining a concrete axiomatic presentation of the variety of algebras for this lifted logic, given that we know one for the original one. We solve this problem for a class of presentations which behaves well with respect to a lattice structure …


Soundness And Completeness Results For The Logic Of Evidence Aggregation And Its Probability Semantics, Eoin Moore 2023 The Graduate Center, City University of New York

Soundness And Completeness Results For The Logic Of Evidence Aggregation And Its Probability Semantics, Eoin Moore

Dissertations, Theses, and Capstone Projects

The Logic of Evidence Aggregation (LEA), introduced in 2020, offers a solution to the problem of evidence aggregation, but LEA is not complete with respect to the intended probability semantics. This left open the tasks to find sound and complete semantics for LEA and a proper axiomatization for probability semantics. In this thesis we do both. We also develop the proof theory for some LEA-related logics and show surprising connections between LEA-related logics and Lax Logic.


One Formula For Non-Prime Numbers: Motivations And Characteristics, Mahmoud Mansour, Kamal Hassan Prof. 2023 Department of Basic Science, Faculty of Engineering, The British University in Egypt

One Formula For Non-Prime Numbers: Motivations And Characteristics, Mahmoud Mansour, Kamal Hassan Prof.

Basic Science Engineering

Primes are essential for computer encryption and cryptography, as they are fundamental units of whole numbers and are of the highest importance due to their mathematical qualities. However, identifying a pattern of primes is not easy. Thinking in a different way may get benefits, by considering the opposite side of the problem which means focusing on non-prime numbers. Recently, researchers introduced, the pattern of non-primes in two maximal sets while in this paper, non-primes are presented in one formula. Getting one-way formula for non-primes may pave the way for further applications based on the idea of primes.


(R1986) Neutrosophic Soft Contra E-Continuous Maps, Contra E-Irresolute Maps And Application Using Distance Measure, P. Revathi, K. Chitirakala, A. Vadivel 2023 Annamalai University

(R1986) Neutrosophic Soft Contra E-Continuous Maps, Contra E-Irresolute Maps And Application Using Distance Measure, P. Revathi, K. Chitirakala, A. Vadivel

Applications and Applied Mathematics: An International Journal (AAM)

We introduce and investigate neutrosophic soft contra e-continuous maps and contra e-irresolute maps in neutrosophic soft topological spaces with examples. Also, neutrosophic soft contra econtinuous maps are compared with neutrosophic soft continuous maps, δ-continuous maps, δ- semi continuous maps, δ-pre continuous maps and e∗ continuous maps in neutrosophic soft topological spaces. We derive some useful results and properties related to them. An application in decision making problem using distance measure is given. An example of a candidate selection from a company interview is formulated as neutrosophic soft model problem and the hamming distance measure is applied to calculate the distance …


(R1957) Some Types Of Continuous Function Via N-Neutrosophic Crisp Topological Spaces, A. Vadivel, C. John Sundar 2023 Government Arts College (Autonomous)

(R1957) Some Types Of Continuous Function Via N-Neutrosophic Crisp Topological Spaces, A. Vadivel, C. John Sundar

Applications and Applied Mathematics: An International Journal (AAM)

The aim of this article is to introduced a new type of continuous functions such as N-neutrosophic crisp gamma continuous and weakly N-neutrosophic crisp gamma continuous functions in a N-neutrosophic crisp topological space and also discuss a relation between them in a N-neutrosophic crisp topological spaces. We also investigate some of their properties in N-neutrosophic crisp gamma continuous function via N-neutrosophic crisp topological spaces. Further, a contra part of continuity called N-neutrosophic crisp gamma-contra continuous map in a N-neutrosophic crisp topology is also initiated. Finally, an application based on neutrosophic score function of medical diagnosis is examined with graphical representation.


(R1997) Distance Measures Of Complex Fermatean Fuzzy Number And Their Application To Multi-Criteria Decision-Making Problem, V. Chinnadurai, S. Thayalan, A. Bobin 2023 Annamalai University

(R1997) Distance Measures Of Complex Fermatean Fuzzy Number And Their Application To Multi-Criteria Decision-Making Problem, V. Chinnadurai, S. Thayalan, A. Bobin

Applications and Applied Mathematics: An International Journal (AAM)

Multi-criteria decision-making (MCDM) is the most widely used decision-making method to solve many complex problems. However, classical MCDM approaches tend to make decisions when the parameters are imprecise or uncertain. The concept of a complex fuzzy set is new in the field of fuzzy set theory. It is a set that can collect and interpret the membership grades from the unit circle in a plane instead of the interval [0,1]. CFS cannot deal with membership and non-membership grades, while complex intuitionistic fuzzy set and complex Pythagorean fuzzy set works only for a limited range of values. The concept of a …


(R1965) Some More Properties On Generalized Double Fuzzy Z Alpha Open Sets, K. Jayapandian, A. Saivarajan, O. Uma Maheswari, J. Sathiyaraj 2023 J. J. College of Arts and Science (Autonomous), Affiliated to Bharathidasan University

(R1965) Some More Properties On Generalized Double Fuzzy Z Alpha Open Sets, K. Jayapandian, A. Saivarajan, O. Uma Maheswari, J. Sathiyaraj

Applications and Applied Mathematics: An International Journal (AAM)

In this paper, a new class of sets termed as double fuzzy generalized Z alpha closed sets and double fuzzy generalized Z alpha open sets are introduced with the help of double fuzzy Z alpha open and double fuzzy Z alpha closed sets, respectively. Using these sets double fuzzy generalized Z alpha border, double fuzzy generalized Z alpha exterior and double fuzzy generalized Z alpha frontier of a fuzzy set in double fuzzy topological spaces are introduced. Also, the topological properties and characterizations of these sets and operators are studied. Furthermore, suitable examples have been provided to illustrate the theory.


Deep Learning Recommendations For The Acl2 Interactive Theorem Prover, Robert K. Thompson, Robert K. Thompson 2023 California Polytechnic State University, San Luis Obispo

Deep Learning Recommendations For The Acl2 Interactive Theorem Prover, Robert K. Thompson, Robert K. Thompson

Master's Theses

Due to the difficulty of obtaining formal proofs, there is increasing interest in partially or completely automating proof search in interactive theorem provers. Despite being a theorem prover with an active community and plentiful corpus of 170,000+ theorems, no deep learning system currently exists to help automate theorem proving in ACL2. We have developed a machine learning system that generates recommendations to automatically complete proofs. We show that our system benefits from the copy mechanism introduced in the context of program repair. We make our system directly accessible from within ACL2 and use this interface to evaluate our system in …


On Specifications Of Positive Data Models With Effectively Separable Kernels Of Algorithmic Representations, Nodira R. Karimova 2023 National University of Uzbekistan

On Specifications Of Positive Data Models With Effectively Separable Kernels Of Algorithmic Representations, Nodira R. Karimova

Bulletin of National University of Uzbekistan: Mathematics and Natural Sciences

It is established that any effectively separable multi-sorted positively representable model with an effectively separable representation kernel has an enrichment that is the only (up to isomorphism) model constructed from constants for a suitable computably enumerable set of sentences.


What Is A Number?, Nicholas Radley 2023 La Salle University

What Is A Number?, Nicholas Radley

HON499 projects

This essay is, in essence, an attempt to make a case for mathematical platonism. That is to say, that we argue for the existence of mathematical objects independent of our perception of them. The essay includes a somewhat informal construction of number systems ranging from the natural numbers to the complex numbers.


Reverse Mathematics Of Ramsey's Theorem, Nikolay Maslov 2023 California State University, San Bernardino

Reverse Mathematics Of Ramsey's Theorem, Nikolay Maslov

Electronic Theses, Projects, and Dissertations

Reverse mathematics aims to determine which set theoretic axioms are necessary to prove the theorems outside of the set theory. Since the 1970’s, there has been an interest in applying reverse mathematics to study combinatorial principles like Ramsey’s theorem to analyze its strength and relation to other theorems. Ramsey’s theorem for pairs states that for any infinite complete graph with a finite coloring on edges, there is an infinite subset of nodes all of whose edges share one color. In this thesis, we introduce the fundamental terminology and techniques for reverse mathematics, and demonstrate their use in proving Kőnig's lemma …


Generations Of Reason: A Family’S Search For Meaning In Post-Newtonian England (Book Review), Calvin Jongsma 2023 Dordt University

Generations Of Reason: A Family’S Search For Meaning In Post-Newtonian England (Book Review), Calvin Jongsma

Faculty Work Comprehensive List

Reviewed Title: Generations of Reason: A Family's Search for Meaning in Post-Newtonian England by Joan L. Richards. New Haven, CT: Yale University Press, 2021. 456 pp. ISBN: 9780300255492.


Richard Whately's Revitalization Of Syllogistic Logic, Calvin Jongsma 2023 Dordt University

Richard Whately's Revitalization Of Syllogistic Logic, Calvin Jongsma

Faculty Work Comprehensive List

This is an expanded version of the first chapter Richard Whately’s Revitalization of Syllogistic Logic in Aristotle’s Syllogism and the Creation of Modern Logic edited by Lukas M. Verburgt and Matteo Cosci (Bloomsbury, 2023). Drawing upon the author’s 1982 Ph. D. dissertation (https://digitalcollections.dordt.edu/faculty_work/230/ ) and more current scholarship, this essay traces the critical historical background to Whately’s work in more detail than could be done in the published version.


Self-Reference And Diagonalisation, Joël A. Doat 2023 Technische Universität Darmstadt

Self-Reference And Diagonalisation, Joël A. Doat

Journal of Humanistic Mathematics

This poem is an exercise on self-reference and diagonalisation in mathematics featuring Turing’s proof of the undecidability of the halting problem, Cantor’s cardinality argument, the Burali-Forti paradox, and Epimenides' liar paradox.


Using Bloom's Taxonomy For Math Outreach Within And Outside The Classroom, Manmohan Kaur 2023 Benedictine University

Using Bloom's Taxonomy For Math Outreach Within And Outside The Classroom, Manmohan Kaur

Journal of Humanistic Mathematics

Not everyone is a great artist, but we don’t often hear, “I dislike art.” Most people are able to appreciate visual arts, music and sports, without necessarily excelling in it themselves. On the other hand, the phrase “I dislike math” is widely prevalent. This is especially ironic in our current society, where mathematics affects our day-to-day activities in essential ways such as e-commerce and e-mail. This paper describes the opportunity to popularize mathematics by focusing on its fun and creative aspects, and illustrates this opportunity through a brief discussion of interdisciplinary topics that expose the beauty, elegance and value of …


Completeness Of Nominal Props, Samuel Balco, Alexander Kurz 2023 Runtime Verication Inc.

Completeness Of Nominal Props, Samuel Balco, Alexander Kurz

Engineering Faculty Articles and Research

We introduce nominal string diagrams as string diagrams internal in the category of nominal sets. This leads us to define nominal PROPs and nominal monoidal theories. We show that the categories of ordinary PROPs and nominal PROPs are equivalent. This equivalence is then extended to symmetric monoidal theories and nominal monoidal theories, which allows us to transfer completeness results between ordinary and nominal calculi for string diagrams.


Symbolic Logic, Tony Roy 2023 CSU, San Bernardino

Symbolic Logic, Tony Roy

Books

Textbook for symbolic logic, beginning at a level appropriate for beginning students, continuing through Godel's completeness and incompleteness theorems. The text naturally divides into two volumes, the first for reasoning in logic, the second for reasoning about it.

The first volume includes parts I and II of the text. Part I introduces the complete classical predicate calculus with equality, including both axiomatic and natural derivation systems. Part II transitions to methods for reasoning about logic, including direct reasoning from definitions and mathematical induction.

The second volume includes parts III and IV of the text. Part III develops basic results in …


Digital Commons powered by bepress