Results 31 to 40 of about 65,929 (299)
Three-valued logics, uncertainty management and rough sets [PDF]
, 2014 This paper is a survey of the connections between three-valued logics and rough sets from the point of view of incomplete information management. Based on the fact that many three-valued logics can be put under a unique algebraic umbrella, we show how to
Ciucci, Davide, Dubois, Didier
core +2 more sources
ENS-AI: Un sistema experto para la enseñanza
Teoría de la Educación: Revista Interuniversitaria, 2009 The E.S. being developed in named ENS-AI, acronym for ENSeñanza Artificial Intilligence. ENS-AI will work as support and guide system for education practice.
Clara BARROSO JEREZ
doaj +1 more source
A Paraconsistent Higher Order Logic [PDF]
, 2003 Classical logic predicts that everything (thus nothing useful at all) follows from inconsistency. A paraconsistent logic is a logic where an inconsistency does not lead to such an explosion, and since in practice consistency is difficult to achieve there
A. Church +18 more
core +6 more sources
A nonlinear approach for neutrosophic linear programming
Journal of Applied Research on Industrial Engineering, 2019 Traditional linearl programming usually handles optimization problems involving deterministic objective functions and/or constrained functions. However, uncertainty also exists in real problems.
Seyed Ahmad Edalatpanah
doaj +1 more source
A note on many valued quantum computational logics
, 2016 The standard theory of quantum computation relies on the idea that the basic information quantity is represented by a superposition of elements of the canonical basis and the notion of probability naturally follows from the Born rule.
Ledda, Antonio, Sergioli, Giuseppe
core +1 more source
New Formalized Results on the Meta-Theory of a Paraconsistent Logic [PDF]
, 2019 Classical logics are explosive, meaning that everything follows from a contradiction. Paraconsistent logics are logics that are not explosive. This paper presents the meta-theory of a paraconsistent infinite-valued logic, in particular new results ...
Schlichtkrull, Anders
core +1 more source
Admissibility in Finitely Generated Quasivarieties [PDF]
, 2013 Checking the admissibility of quasiequations in a finitely generated (i.e., generated by a finite set of finite algebras) quasivariety Q amounts to checking validity in a suitable finite free algebra of the quasivariety, and is therefore decidable ...
Metcalfe, George +1 more
core +4 more sources
Elimination of Cuts in First-order Finite-valued Logics [PDF]
, 1993 A uniform construction for sequent calculi for finite-valued first-order logics with distribution quantifiers is exhibited. Completeness, cut-elimination and midsequent theorems are established.
Baaz, Matthias +2 more
core +4 more sources
On Admissible Total Orders for Interval-valued Intuitionistic Fuzzy Membership Degrees
Fuzzy Information and Engineering, 2016 The linearity contained in the natural order of unit interval [0,1] plays an important role in many concepts and applications of fuzzy theory. Besides, it is very important in concepts like ordered weighted aggregation operators (OWA) and fuzzy decision ...
I.A. Da Silva +2 more
doaj +1 more source
Neutrality and Many-Valued Logics [PDF]
, 2007 In this book, we consider various many-valued logics: standard, linear, hyperbolic, parabolic, non-Archimedean, p-adic, interval, neutrosophic, etc. We survey also results which show the tree different proof-theoretic frameworks for many-valued logics, e.
Schumann, Andrew, Smarandache, Florentin
core +2 more sources