Canonical Extensions Of Quantale Enriched Categories, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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?, 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, 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), 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, 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, 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, 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, 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, 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 …