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

Logic and Foundations Commons

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

526 Full-Text Articles 485 Authors 155,394 Downloads 58 Institutions

All Articles in Logic and Foundations

Faceted Search

526 full-text articles. Page 1 of 20.

(R1958) On Deferred Statistical Convergence Of Fuzzy Variables, Ömer Kişi, Mehmet Gürdal, Ekrem Savaş 2022 Bartin University

(R1958) On Deferred Statistical Convergence Of Fuzzy Variables, Ömer Kişi, Mehmet Gürdal, Ekrem Savaş

Applications and Applied Mathematics: An International Journal (AAM)

In this paper, within framework credibility theory, we examine several notions of convergence and statistical convergence of fuzzy variable sequences. The convergence of fuzzy variable sequences such as the notion of convergence in credibility, convergence in distribution, convergence in mean, and convergence uniformly virtually certainly via postponed Cesàro mean and a regular matrix are researched using fuzzy variables. We investigate the connections between these concepts. Significant results on deferred statistical convergence for fuzzy variable sequences are thoroughly investigated.


(R1509) Topsis And Vikor Methods For Spherical Fuzzy Soft Set Aggregating Operator Framework, M. Palanikumar, K. Arulmozhi, Lejo J. Manavalan 2022 Saveetha Institute of Medical and Technical Sciences

(R1509) Topsis And Vikor Methods For Spherical Fuzzy Soft Set Aggregating Operator Framework, M. Palanikumar, K. Arulmozhi, Lejo J. Manavalan

Applications and Applied Mathematics: An International Journal (AAM)

The Spherical Fuzzy Soft (SFS) set is a generalization of the Pythagorean fuzzy soft set and the intuitionistic fuzzy soft set. We introduce the concept of aggregating SFS decision matrices based on aggregated operations. The techniques for order of preference by similarity to ideal solution (TOPSIS) and viekriterijumsko kompromisno rangiranje (VIKOR) for the SFS approaches are the strong points of multi criteria group decision making (MCGDM), which is various extensions of fuzzy soft sets. We define a score function based on aggregating TOPSIS and VIKOR methods to the SFS-positive and SFS-negative ideal solutions. The TOPSIS and VIKOR methods provide decision-making …


(R1500) Type-I Generalized Spherical Interval Valued Fuzzy Soft Sets In Medical Diagnosis For Decision Making, M. Palanikumar, K. Arulmozhi 2022 Annamalai University

(R1500) Type-I Generalized Spherical Interval Valued Fuzzy Soft Sets In Medical Diagnosis For Decision Making, M. Palanikumar, K. Arulmozhi

Applications and Applied Mathematics: An International Journal (AAM)

In the present communication, we introduce the concept of Type-I generalized spherical interval valued fuzzy soft set and define some operations. It is a generalization of the interval valued fuzzy soft set and the spherical fuzzy soft set. The spherical interval valued fuzzy soft set theory satisfies the condition that the sum of its degrees of positive, neutral, and negative membership does not exceed unity and that these parameters are assigned independently. We also propose an algorithm to solve the decision making problem based on a Type-I generalized soft set model. We introduce a similarity measure based on the Type-I …


(Si10-123) Comparison Between The Homotopy Perturbation Method And Variational Iteration Method For Fuzzy Differential Equations, P. Chandru, B. Radhakrishnan 2022 PSG College of Technology

(Si10-123) Comparison Between The Homotopy Perturbation Method And Variational Iteration Method For Fuzzy Differential Equations, P. Chandru, B. Radhakrishnan

Applications and Applied Mathematics: An International Journal (AAM)

In this article, the authors discusses the numerical simulations of higher-order differential equations under a fuzzy environment by using Homotopy Perturbation Method and Variational Iteration Method. The fuzzy parameter and variables are represented by triangular fuzzy convex normalized sets. Comparison of the results are obtained by the homotopy perturbation method with those obtained by the variational iteration method. Examples are provided to demonstrate the theory.


Asymptotic Classes, Pseudofinite Cardinality And Dimension, Alexander Van Abel 2022 The Graduate Center, City University of New York

Asymptotic Classes, Pseudofinite Cardinality And Dimension, Alexander Van Abel

Dissertations, Theses, and Capstone Projects

We explore the consequences of various model-theoretic tameness conditions upon the behavior of pseudofinite cardinality and dimension. We show that for pseudofinite theories which are either Morley Rank 1 or uncountably categorical, pseudofinite cardinality in ultraproducts satisfying such theories is highly well-behaved. On the other hand, it has been shown that pseudofinite dimension is not necessarily well-behaved in all ultraproducts of theories which are simple or supersimple; we extend such an observation by constructing simple and supersimple theories in which pseudofinite dimension is necessarily ill-behaved in all such ultraproducts. Additionally, we have novel results connecting various forms of asymptotic classes …


Unomaha Problem Of The Week (2021-2022 Edition), Brad Horner, Jordan M. Sahs 2022 University of Nebraska at Omaha

Unomaha Problem Of The Week (2021-2022 Edition), Brad Horner, Jordan M. Sahs

UNO Student Research and Creative Activity Fair

The University of Omaha math department's Problem of the Week was taken over in Fall 2019 from faculty by the authors. The structure: each semester (Fall and Spring), three problems are given per week for twelve weeks, with each problem worth ten points - mimicking the structure of arguably the most well-regarded university math competition around, the Putnam Competition, with prizes awarded to top-scorers at semester's end. The weekly competition was halted midway through Spring 2020 due to COVID-19, but relaunched again in Fall 2021, with massive changes.

Now there are three difficulty tiers to POW problems, roughly corresponding to …


(R1956) Neutrosophic Soft E-Compact Spaces And Application Using Entropy Measure, P. Revathi, K. Chitirakala, A. Vadivel 2022 Government Polytechnic College for Women, Annamalai University

(R1956) Neutrosophic Soft E-Compact Spaces And Application Using Entropy Measure, P. Revathi, K. Chitirakala, A. Vadivel

Applications and Applied Mathematics: An International Journal (AAM)

In this paper, the concept of neutrosophic soft e-compactness is presented on neutrosophic soft topological spaces using the definition of e-open cover and its types. In addition, neutrosophic soft e-compactness and neutrosophic soft e-separation axioms are associated. Also, the concept of neutrosophic soft locally e-compactness is introduced in neutrosophic soft topological spaces and some of its properties are discussed. Added to that, an application in decision making problem is given using entropy.


Developing Critical Thinking Military Officers, Thor Martinsen 2022 Naval Postgraduate School

Developing Critical Thinking Military Officers, Thor Martinsen

Mathematica Militaris

Critical thinking is frequently identified as an important trait for military officers. This paper examines critical thinking from a historical, pedagogical, and warfighting perspective. The author uses his experience teaching mathematical reasoning at the Naval Postgraduate School to provide helpful advice for educators charged with teaching deductive and inductive reasoning. The paper argues that critical thinking should be taught early in an officer's career. It emphasizes a systematic and Socratic instructional approach along with the importance of equipping students with the necessary tools to evaluate problem-solving techniques and critique their associated solutions. Finally, the paper discusses Augmented Intelligence and the …


How To Guard An Art Gallery: A Simple Mathematical Problem, Natalie Petruzelli 2022 St. John Fisher University

How To Guard An Art Gallery: A Simple Mathematical Problem, Natalie Petruzelli

The Review: A Journal of Undergraduate Student Research

The art gallery problem is a geometry question that seeks to find the minimum number of guards necessary to guard an art gallery based on the qualities of the museum’s shape, specifically the number of walls. Solved by Václav Chvátal in 1975, the resulting Art Gallery Theorem dictates that ⌊n/3⌋ guards are always sufficient and sometimes necessary to guard an art gallery with n walls. This theorem, along with the argument that proves it, are accessible and interesting results even to one with little to no mathematical knowledge, introducing readers to common concepts in both geometry and graph …


Unknowable Truths: The Incompleteness Theorems And The Rise Of Modernism, Caroline Tvardy 2022 Belmont University

Unknowable Truths: The Incompleteness Theorems And The Rise Of Modernism, Caroline Tvardy

Honors Scholars Collaborative Projects

This thesis evaluates the function of the current history of mathematics methodologies and explores ways in which historiographical methodologies could be successfully implemented in the field. Traditional approaches to the history of mathematics often lack either an accurate portrayal of the social and cultural influences of the time, or they lack an effective usage of mathematics discussed. This paper applies a holistic methodology in a case study of Kurt Gödel’s influential work in logic during the Interwar period and the parallel rise of intellectual modernism. In doing so, the proofs for Gödel’s Completeness and Incompleteness theorems will be discussed as …


Gödel's Incompleteness Theorems, Derick Swarey 2022 Liberty University

Gödel's Incompleteness Theorems, Derick Swarey

Senior Honors Theses

The Incompleteness Theorems of Kurt Godel are very famous both within and outside of mathematics. They focus on independence and consistency within mathematics and hence a more thorough understanding of these is beneficial to their study. The proofs of the theorems involve many ideas which may be unfamiliar to many, including those of formal systems, Godel numbering, and recursive functions and relations. The arguments themselves mirror the Liar’s Paradox in that Godel constructs a statement asserting its own unprovability and then shows that such a statement and its negation must both be independent of the system, otherwise the system is …


The Algebra Of Type Unification, Verity James Scheel 2022 Bard College

The Algebra Of Type Unification, Verity James Scheel

Senior Projects Spring 2022

Type unification takes type inference a step further by allowing non-local flow of information. By exposing the algebraic structure of type unification, we obtain even more flexibility as well as clarity in the implementation. In particular, the main contribution is an explicit description of the arithmetic of universe levels and consistency of constraints of universe levels, with hints at how row types and general unification/subsumption can fit into the same framework of constraints. The compositional nature of the algebras involved ensure correctness and reduce arbitrariness: properties such as associativity mean that implementation details of type inference do not leak in …


(R1466) Ideals And Filters On A Lattice In Neutrosophic Setting, Lemnaouar Zedam, Soheyb Milles, Abdelhamid Bennoui 2021 University of M’sila

(R1466) Ideals And Filters On A Lattice In Neutrosophic Setting, Lemnaouar Zedam, Soheyb Milles, Abdelhamid Bennoui

Applications and Applied Mathematics: An International Journal (AAM)

The notions of ideals and filters have studied in many algebraic (crisp) fuzzy structures and used to study their various properties, representations and characterizations. In addition to their theoretical roles, they have used in some areas of applied mathematics. In a recent paper, Arockiarani and Antony Crispin Sweety have generalized and studied these notions with respect to the concept of neutrosophic sets introduced by Smarandache to represent imprecise, incomplete and inconsistent information. In this article, we aim to deepen the study of these important notions on a given lattice in the neutrosophic setting. We show their various properties and characterizations, …


Introduction To Discrete Mathematics: An Oer For Ma-471, Mathieu Sassolas 2021 CUNY Queensborough Community College

Introduction To Discrete Mathematics: An Oer For Ma-471, Mathieu Sassolas

Open Educational Resources

The first objective of this book is to define and discuss the meaning of truth in mathematics. We explore logics, both propositional and first-order , and the construction of proofs, both formally and human-targeted. Using the proof tools, this book then explores some very fundamental definitions of mathematics through set theory. This theory is then put in practice in several applications. The particular (but quite widespread) case of equivalence and order relations is studied with detail. Then we introduces sequences and proofs by induction, followed by number theory. Finally, a small introduction to combinatorics is …


Contributions To The Teaching And Learning Of Fluid Mechanics, Ashwin Vaidya 2021 Montclair State University

Contributions To The Teaching And Learning Of Fluid Mechanics, Ashwin Vaidya

Department of Mathematics Facuty Scholarship and Creative Works

This issue showcases a compilation of papers on fluid mechanics (FM) education, covering different sub topics of the subject. The success of the first volume [1] prompted us to consider another follow-up special issue on the topic, which has also been very successful in garnering an impressive variety of submissions. As a classical branch of science, the beauty and complexity of fluid dynamics cannot be overemphasized. This is an extremely well-studied subject which has now become a significant component of several major scientific disciplines ranging from aerospace engineering, astrophysics, atmospheric science (including climate modeling), biological and biomedical science …


Negative Representability Degree Structures Of Linear Orders With Endomorphisms, Nadimulla Kasymov, Sarvar Javliyev 2021 National University of Uzbekistan

Negative Representability Degree Structures Of Linear Orders With Endomorphisms, Nadimulla Kasymov, Sarvar Javliyev

Bulletin of National University of Uzbekistan: Mathematics and Natural Sciences

The structure of partially ordered sets of degrees of negative representability of linear orders with endomorphisms is studied. For these structures, the existence of incomparable, maximum and minimum degrees, infinite chains and antichains is established,and also considered connections with the concepts of reducibility of enumerations, splittable degrees and positive representetions.


On The Generalization Of Interval Valued Fuzzy Generalized Bi-Ideals In Ordered Semigroups, Muhammad S. Ali Khan, Saleem Abdullah, Kostaq Hila 2021 Hazara University

On The Generalization Of Interval Valued Fuzzy Generalized Bi-Ideals In Ordered Semigroups, Muhammad S. Ali Khan, Saleem Abdullah, Kostaq Hila

Applications and Applied Mathematics: An International Journal (AAM)

In this paper, a new general form than interval valued fuzzy generalized bi-ideals in ordered semigroups is introduced. The concept of interval valued fuzzy generalized bi-ideals is initiated and several properties and characterizations are provided. A condition for an interval valued fuzzy generalized bi-ideal to be an interval valued fuzzy generalized bi-ideal is obtained. Using implication operators and the notion of implication-based an interval valued fuzzy generalized bi-ideal, characterizations of an interval valued fuzzy generalized bi-ideal and an interval valued fuzzy generalized bi-ideal are considered.


Hamacher Operations Of Fermatean Fuzzy Matrices, I. Silambarasan 2021 Annamalai University

Hamacher Operations Of Fermatean Fuzzy Matrices, I. Silambarasan

Applications and Applied Mathematics: An International Journal (AAM)

The purpose of this study is to extend the Fermatean fuzzy matrices to the theory of Hamacher operations. In this paper, the concept of Hamacher operations of Fermatean fuzzy matrices are introduced and some desirable properties of these operations, such as commutativity, idempotency, and monotonicity are discussed. Further, we prove DeMorgan’s laws over complement for these operations. Furthermore, the scalar multiplication and exponentiation operations of Fermatean fuzzy matrices are constructed and their algebraic properties are investigated. Finally, some properties of necessity and possibility operators of Fermatean fuzzy matrices are proved.


Simplified Intuitionistic Neutrosophic Soft Set And Its Application On Diagnosing Psychological Disorder By Using Similarity Measure, Veerappan Chinnadurai, Albert Bobin 2021 Annamalai University

Simplified Intuitionistic Neutrosophic Soft Set And Its Application On Diagnosing Psychological Disorder By Using Similarity Measure, Veerappan Chinnadurai, Albert Bobin

Applications and Applied Mathematics: An International Journal (AAM)

The primary focus of this manuscript comprises three sections. Initially, we introduce the concept of a simplified intuitionistic neutrosophic soft set. We impose an intuitionistic condition between the membership values of truth and falsity such that their sum does not exceed unity. Similarly, for indeterminacy, the membership value is a real number from the closed interval [0, 1]. Hence, the sum of membership values of truth, indeterminacy, and falsity does not exceed two. We present the notion of necessity, possibility, concentration, and dilation operators and establish some of its properties. Second, we define the similarity measure between two simplified intuitionistic …


Applications Of Nonstandard Analysis In Probability And Measure Theory, Irfan Alam 2021 Louisiana State University and Agricultural and Mechanical College

Applications Of Nonstandard Analysis In Probability And Measure Theory, Irfan Alam

LSU Doctoral Dissertations

This dissertation broadly deals with two areas of probability theory and investigates how methods from nonstandard analysis may provide new perspectives in these topics. In particular, we use nonstandard analysis to prove new results in the topics of limiting spherical integrals and of exchangeability.

In the former area, our methods allow us to represent finite dimensional Gaussian measures in terms of marginals of measures on hyperfinite-dimensional spheres in a certain strong sense, thus generalizing some previously known results on Gaussian Radon transforms as limits of spherical integrals. This first area has roots in the kinetic theory of gases, which is …


Digital Commons powered by bepress