Answers to Imamura Note on the Definition of Neutrosophic Logic

11/24/2018
by   Florentin Smarandache, et al.
0

In order to more accurately situate and fit the neutrosophic logic into the framework of nonstandard analysis, we present the neutrosophic inequalities, neutrosophic equality, neutrosophic infimum and supremum, neutrosophic standard intervals, including the cases when the neutrosophic logic standard and nonstandard components T, I, F get values outside of the classical real unit interval [0, 1], and a brief evolution of neutrosophic operators. The paper intends to answer Imamura criticism that we found benefic in better understanding the nonstandard neutrosophic logic, although the nonstandard neutrosophic logic was never used in practical applications.

READ FULL TEXT
research
12/25/2020

Standard Grammars for LTL and LDL (v0.1.0)

The heterogeneity of tools that support temporal logic formulae poses se...
research
01/12/2017

From First-Order Logic to Assertional Logic

First-Order Logic (FOL) is widely regarded as one of the most important ...
research
07/12/2022

Abstraction Logic: A New Foundation for (Computer) Mathematics

Abstraction logic is a new logic, serving as a foundation of mathematics...
research
09/19/2016

Temporal Logic Programs with Variables

In this note we consider the problem of introducing variables in tempora...
research
05/06/2023

Symmetric Ternary Logic and Its Systematic Logic Composition Methodology

Ternary logic is expected to increase the area efficiency of VLSI due to...
research
09/12/2016

First-Order Bayesian Network Specifications Capture the Complexity Class PP

The point of this note is to prove that a language is in the complexity ...

Please sign up or login with your details

Forgot password? Click here to reset