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

Logic and Foundations Commons

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

436 Full-Text Articles 388 Authors 98,108 Downloads 54 Institutions

All Articles in Logic and Foundations

Faceted Search

436 full-text articles. Page 1 of 16.

Some Model Theory Of Free Groups, Christopher James Natoli 2021 The Graduate Center, City University of New York

Some Model Theory Of Free Groups, Christopher James Natoli

Dissertations, Theses, and Capstone Projects

There are two main sets of results, both pertaining to the model theory of free groups. In the first set of results, we prove that non-abelian free groups of finite rank at least 3 or of countable rank are not A-homogeneous. We then build on the proof of this result to show that two classes 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.

The second main result is that if a countable group is elementarily ...


Mathematical Zendo: A Game Of Patterns And Logic, Philip DeOrsey, Corey Pooler, Michael Ferrara 2021 Westfield State University

Mathematical Zendo: A Game Of Patterns And Logic, Philip Deorsey, Corey Pooler, Michael Ferrara

Journal of Math Circles

Mathematical Zendo is a logic game that actively engages participants in pattern recognition, problem solving, and critical thinking while providing a fun opportunity to explore all manner of mathematical objects. Based upon the popular game of Zendo, created by Looney Labs, Mathematical Zendo centers on a secret rule, chosen by the leader, that must be guessed by teams of players. In each round of the game, teams provide examples of the mathematical object of interest (e.g. functions, numbers, sets) and receive information about whether their guesses do or do not satisfy the secret rule. In this paper, we introduce ...


Introduction To Neutrosophic Genetics, Florentin Smarandache 2020 University of New Mexico

Introduction To Neutrosophic Genetics, Florentin Smarandache

Mathematics and Statistics Faculty and Staff Publications

Neutrosophic Genetics is the study of genetics using neutrosophic logic, set, probability, statistics, measure and other neutrosophic tools and procedures. In this paper, based on the Neutrosophic Theory of Evolution (that includes degrees of Evolution, Neutrality (or Indeterminacy), and Involution) – as extension of Darwin’s Theory of Evolution, we show the applicability of neutrosophy in genetics, and we present within the frame of neutrosophic genetics the following concepts: neutrosophic mutation, neutrosophic speciation, and neutrosophic coevolution.


Structure, Neutrostructure, And Antistructure In Science, Florentin Smarandache 2020 University of New Mexico

Structure, Neutrostructure, And Antistructure In Science, Florentin Smarandache

Mathematics and Statistics Faculty and Staff Publications

In any science, a classical Theorem, defined on a given space, is a statement that is 100% true (i.e. true for all elements of the space). To prove that a classical theorem is false, it is sufficient to get a single counter-example where the statement is false. Therefore, the classical sciences do not leave room for partial truth of a theorem (or a statement). But, in our world and in our everyday life, we have many more examples of statements that are only partially true, than statements that are totally true. The NeutroTheorem and AntiTheorem are generalizations and alternatives ...


Decision Making On Teachers’ Adaptation To Cybergogy In Saturated Interval- Valued Refined Neutrosophic Overset /Underset /Offset Environment, Florentin Smarandache, Nivetha Martin, Priya R. 2020 University of New Mexico

Decision Making On Teachers’ Adaptation To Cybergogy In Saturated Interval- Valued Refined Neutrosophic Overset /Underset /Offset Environment, Florentin Smarandache, Nivetha Martin, Priya R.

Mathematics and Statistics Faculty and Staff Publications

Neutrosophic overset, neutrosophic underset and neutrosophic offset introduced by Smarandache are the special kinds of neutrosophic sets with values beyond the range [0,1] and these sets are pragmatic in nature as it represents the real life situations. This paper introduces the concept of saturated refined neutrosophic sets and extends the same to the special kinds of neutrosophic sets. The proposed concept is applied in decision making on Teacher’s adaptation to cybergogy. The decision making environment is characterized by different types of teachers, online teaching skills and various training methods. Fuzzy relation is used to match the most suitable ...


True-False Set Is A Particular Case Of The Refined Neutrosophic Set, Florentin Smarandache, Said Broumi 2020 University of New Mexico

True-False Set Is A Particular Case Of The Refined Neutrosophic Set, Florentin Smarandache, Said Broumi

Mathematics and Statistics Faculty and Staff Publications

Borzooei, Mohseni Takallo, and Jun recently proposed a new type of set, called True-False Set [1], and they claimed it is a generalization of Neutrosophic Set [2]. We prove that this assertion is untrue. Actually it’s the opposite, the True-False Set is a particular case of the Refined Neutrosophic Set.


Plithogenic Cubic Sets, Florentin Smarandache, S.P. Priyadharshini, F. Nirmala Irudayam 2020 University of New Mexico

Plithogenic Cubic Sets, Florentin Smarandache, S.P. Priyadharshini, F. Nirmala Irudayam

Mathematics and Statistics Faculty and Staff Publications

In this article, using the concepts of cubic set and plithogenic set, the ideas of plithogenic fuzzy cubic set, plithogenic intuitionistic fuzzy cubic set, plithogenic neutrosophic cubic set are introduced and its corresponding internal and external cubic sets are discussed with examples.


Alternative Cichoń Diagrams And Forcing Axioms Compatible With Ch, Corey B. Switzer 2020 The Graduate Center, City University of New York

Alternative Cichoń Diagrams And Forcing Axioms Compatible With Ch, Corey B. Switzer

Dissertations, Theses, and Capstone Projects

This dissertation surveys several topics in the general areas of iterated forcing, infinite combinatorics and set theory of the reals. There are two parts. In the first half I consider alternative versions of the Cichoń diagram. First I show that for a wide variety of reduction concepts there is a Cichoń diagram for effective cardinal characteristics relativized to that reduction. As an application I investigate in detail the Cichoń diagram for degrees of constructibility relative to a fixed inner model of ZFC. Then I study generalizations of cardinal characteristics to the space of functions from Baire space to Baire space ...


A Novel Approach For Assessing The Reliability Of Data Contained In A Single Valued Neutrosophic Number And Its Application In Multiple Criteria Decision Making, Florentin Smarandache, Dragisa Stanujkic, Darjan Karabasevic, Gabrijela Popovic 2020 University of New Mexico

A Novel Approach For Assessing The Reliability Of Data Contained In A Single Valued Neutrosophic Number And Its Application In Multiple Criteria Decision Making, Florentin Smarandache, Dragisa Stanujkic, Darjan Karabasevic, Gabrijela Popovic

Mathematics and Statistics Faculty and Staff Publications

Multiple criteria decision making is one of the many areas where neutrosophic sets have been applied to solve various problems so far.


On Product Of Smooth Neutrosophic Topological Spaces, Florentin Smarandache, Kalaivani Chandran, Swathi Sundari Sundaramoorthy, Saeid Jafari 2020 University of New Mexico

On Product Of Smooth Neutrosophic Topological Spaces, Florentin Smarandache, Kalaivani Chandran, Swathi Sundari Sundaramoorthy, Saeid Jafari

Mathematics and Statistics Faculty and Staff Publications

In this paper, we develop the notion of the basis for a smooth neutrosophic topology in a more natural way. As a sequel, we define the notion of symmetric neutrosophic quasi-coincident neighborhood systems and prove some interesting results that fit with the classical ones, to establish the consistency of theory developed. Finally, we define and discuss the concept of product topology, in this context, using the definition of basis.


Length Neutrosophic Subalgebras Of Bck/Bci-Algebras, Florentin Smarandache, Young Bae Jun, Madad Khan, Seok-Zun Song 2020 University of New Mexico

Length Neutrosophic Subalgebras Of Bck/Bci-Algebras, Florentin Smarandache, Young Bae Jun, Madad Khan, Seok-Zun Song

Mathematics and Statistics Faculty and Staff Publications

the notion of (i, j, k)-length neutrosophic subalgebras in BCK/BCI-algebras is introduced, and their properties are investigated. Characterizations of length neutrosophic subalgebras are discussed by using level sets of interval neutrosophic sets. Conditions for level sets of interval neutrosophic sets to be subalgebras are provided.


An Expanded Model Of Unmatter From Neutrosophic Logic Perspective: Towards Matter-Spirit Unity View, Florentin Smarandache, Victor Christianto, Robert Neil Boyd 2020 University of New Mexico

An Expanded Model Of Unmatter From Neutrosophic Logic Perspective: Towards Matter-Spirit Unity View, Florentin Smarandache, Victor Christianto, Robert Neil Boyd

Mathematics and Statistics Faculty and Staff Publications

In Neutrosophic Logic, a basic assertion is that there are variations of about everything that we can measure; the variations surround three parameters called T, I, F (truth, indeterminacy, falsehood) which can take a range of values. A previous paper in IJNS, 2020 shortly reviews the links among aether and matter creation from the perspective of Neutrosophic Logic. In any case, matter creation process in nature stays a major puzzle for physicists, scientists and other science analysts. To this issue neutrosophic logic offers an answer: "unmatter." This paper examines an extended model of unmatter, to incorporate issue soul solidarity. So ...


A Review Of Fuzzy Soft Topological Spaces, Intuitionistic Fuzzy Soft Topological Spaces And Neutrosophic Soft Topological Spaces, Florentin Smarandache, M. Parimala, M. Karthika 2020 University of New Mexico

A Review Of Fuzzy Soft Topological Spaces, Intuitionistic Fuzzy Soft Topological Spaces And Neutrosophic Soft Topological Spaces, Florentin Smarandache, M. Parimala, M. Karthika

Mathematics and Statistics Faculty and Staff Publications

The notion of fuzzy sets initiated to overcome the uncertainty of an object. Fuzzy topological space, intuitionistic fuzzy sets in topological structure space, vagueness in topological structure space, rough sets in topological space, theory of hesitancy and neutrosophic topological space, etc. are the extension of fuzzy sets. Soft set is a family of parameters which is also a set. Fuzzy soft topological space, intuitionistic fuzzy soft and neutrosophic soft topological space are obtained by incorporating soft sets with various topological structures. This motivates to write a review and study on various soft set concepts. This paper shows the detailed review ...


A General Model Of Neutrosophic Ideals In Bck/Bci-Algebras Based On Neutrosophic Points, Florentin Smarandache, Hashem Bordbar, Rajab Ali Borzooei, Young Bae Jun 2020 University of New Mexico

A General Model Of Neutrosophic Ideals In Bck/Bci-Algebras Based On Neutrosophic Points, Florentin Smarandache, Hashem Bordbar, Rajab Ali Borzooei, Young Bae Jun

Mathematics and Statistics Faculty and Staff Publications

More general form of (∈, ∈∨q)-neutrosophic ideal is introduced, and their properties are investigated.


The Polar Form Of A Neutrosophic Complex Number, Florentin Smarandache, Riad K. Al-Hamido, Mayas Ismail 2020 University of New Mexico

The Polar Form Of A Neutrosophic Complex Number, Florentin Smarandache, Riad K. Al-Hamido, Mayas Ismail

Mathematics and Statistics Faculty and Staff Publications

In this paper, we will define the exponential form of a neutrosophic complex number. We have proven some characteristics and theories, including the conjugate of the exponential form of a neutrosophic complex number, division of the exponential form of a neutrosophic complex numbers, multiplication of the exponential form of a neutrosophic complex numbers. In addition, we have given the method of changing from the exponential to the algebraic form of a complex number.


Joint Lattice Of Reconstructability Analysis And Bayesian Network General Graphs, Marcus Harris, Martin Zwick 2020 Portland State University

Joint Lattice Of Reconstructability Analysis And Bayesian Network General Graphs, Marcus Harris, Martin Zwick

Systems Science Faculty Publications and Presentations

This paper integrates the structures considered in Reconstructability Analysis (RA) and those considered in Bayesian Networks (BN) into a joint lattice of probabilistic graphical models. This integration and associated lattice visualizations are done in this paper for four variables, but the approach can easily be expanded to more variables. The work builds on the RA work of Klir (1985), Krippendorff (1986), and Zwick (2001), and the BN work of Pearl (1985, 1987, 1988, 2000), Verma (1990), Heckerman (1994), Chickering (1995), Andersson (1997), and others. The RA four variable lattice and the BN four variable lattice partially overlap: there are ten ...


Reconstructability Analysis & Its Occam Implementation, Martin Zwick 2020 Portland State University

Reconstructability Analysis & Its Occam Implementation, Martin Zwick

Systems Science Faculty Publications and Presentations

This talk will describe Reconstructability Analysis (RA), a probabilistic graphical modeling methodology deriving from the 1960s work of Ross Ashby and developed in the systems community in the 1980s and afterwards. RA, based on information theory and graph theory, resembles and partially overlaps Bayesian networks (BN) and log-linear techniques, but also has some unique capabilities. (A paper explaining the relationship between RA and BN will be given in this special session.) RA is designed for exploratory modeling although it can also be used for confirmatory hypothesis testing. In RA modeling, one either predicts some DV from a set of IVs ...


Plithogenic Cognitive Maps In Decision Making, Florentin Smarandache, Nivetha Martin 2020 University of New Mexico

Plithogenic Cognitive Maps In Decision Making, Florentin Smarandache, Nivetha Martin

Mathematics and Statistics Faculty and Staff Publications

Plithogenic sets introduced by Smarandache (2018) have disclosed new research vistas and this paper introduces the novel concept of plithogenic cognitive maps (PCM) and its applications in decision making. The new approach of defining instantaneous state neutrosophic vector with the confinement of indeterminacy to (0,1] is proposed to quantify the degree of indeterminacy. The resultant vector is obtained by applying instantaneous state vector through the connection matrix together with plithogenic operators comprising the contradiction degrees. The connection matrix is represented as fuzzy matrix and neutrosophic matrix and the resultant vector is determined by applying plithogenic fuzzy operators and plithogenic ...


Derivable Single Valued Neutrosophic Graphs Based On Km-Fuzzy Metric, Florentin Smarandache, Mohammad Hamidi 2020 University of New Mexico

Derivable Single Valued Neutrosophic Graphs Based On Km-Fuzzy Metric, Florentin Smarandache, Mohammad Hamidi

Mathematics and Statistics Faculty and Staff Publications

In this paper we consider the concept of KM-fuzzy metric spaces and we introduce a novel concept of KM-single valued neutrosophic metric graphs based on KM-fuzzy metric spaces. Then we investigate the finite KM-fuzzy metric spaces with respect to KM-fuzzy metrics and we construct the KMfuzzy metric spaces on any given non-empty sets. We try to extend the concept of KM-fuzzy metric spaces to a larger class of KM-fuzzy metric spaces such as union and product of KM-fuzzy metric spaces and in this regard we investigate the class of products of KM-single valued neutrosophic metric graphs. In the final, we ...


C# Application To Deal With Neutrosophic G(Alpha)-Closed Sets In Neutrosophic Topology, S. Saranya, M. Vigneshwaran, S. Jafari 2020 Kongunadu Arts and Science College

C# Application To Deal With Neutrosophic G(Alpha)-Closed Sets In Neutrosophic Topology, S. Saranya, M. Vigneshwaran, S. Jafari

Applications and Applied Mathematics: An International Journal (AAM)

In this paper, we have developed a C# Application for finding the values of the complement, union, intersection and the inclusion of any two neutrosophic sets in the neutrosophic field by using .NET Framework, Microsoft Visual Studio and C# Programming Language. In addition to this, the system can find neutrosophic topology, neutrosophic alpha-closed sets and neutrosophic g(alpha)-closed sets in each resultant screens. Also, this computer-based application produces the complement values of each neutrosophic closed sets.


Digital Commons powered by bepress