Interval Neutrosophic Logics: Theory and Applications
Haibin Wang, Florentin Smarandache, Yanqing Zhang, Rajshekhar, Sunderraman

TL;DR
This paper introduces interval neutrosophic logics, a broad framework that generalizes multiple non-classical logics, providing formal calculi and an application in approximate reasoning.
Contribution
It formalizes interval neutrosophic propositional and predicate calculi, extending existing logics and demonstrating their application in reasoning tasks.
Findings
Formal definitions of interval neutrosophic propositional and predicate calculus
Application of interval neutrosophic logic to approximate reasoning
Generalization of fuzzy, paraconsistent, and intuitionistic fuzzy logics
Abstract
In this paper, we present the interval neutrosophic logics which generalizes the fuzzy logic, paraconsistent logic, intuitionistic fuzzy logic and many other non-classical and non-standard logics. We will give the formal definition of interval neutrosophic propositional calculus and interval neutrosophic predicate calculus. Then we give one application of interval neutrosophic logics to do approximate reasoning.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsMulti-Criteria Decision Making · Optimization and Mathematical Programming · Advanced Algebra and Logic
