n-Valued Refined Neutrosophic Logic and Its Applications to Physics

07/03/2014
by   Florentin Smarandache, et al.
0

In this paper we present a short history of logics: from particular cases of 2-symbol or numerical valued logic to the general case of n-symbol or numerical valued logic. We show generalizations of 2-valued Boolean logic to fuzzy logic, also from the Kleene and Lukasiewicz 3-symbol valued logics or Belnap 4-symbol valued logic to the most general n-symbol or numerical valued refined neutrosophic logic. Two classes of neutrosophic norm (n-norm) and neutrosophic conorm (n-conorm) are defined. Examples of applications of neutrosophic logic to physics are listed in the last section. Similar generalizations can be done for n-Valued Refined Neutrosophic Set, and respectively n- Valued Refined Neutrosopjhic Probability.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
10/17/2018

Many-valued logics inside λ-calculus: Church's rescue of Russell with Bohm trees

We extend the Church encoding of the Booleans and two-valued Boolean Log...
research
08/20/2020

From Intuitionism to Many-Valued Logics through Kripke Models

Intuitionistic Propositional Logic is proved to be an infinitely many va...
research
04/11/2017

Beliefs and Probability in Bacchus' l.p. Logic: A 3-Valued Logic Solution to Apparent Counter-intuition

Fundamental discrepancy between first order logic and statistical infere...
research
03/31/2022

A generalization of falsity in finitely-many valued logics

The paper proposes a new type of negation in multi-valued logics, provid...
research
04/28/2023

Conditional logic as a short-circuit logic

Both two-valued and three-valued conditional logic (CL), defined by Guzm...
research
03/20/2013

Compressed Constraints in Probabilistic Logic and Their Revision

In probabilistic logic entailments, even moderate size problems can yiel...
research
12/13/2018

Comparing several calculi for first-order infinite-valued Łukasiewicz logic

From the viewpoint of provability, we compare some Gentzen-type hyperseq...

Please sign up or login with your details

Forgot password? Click here to reset