Results 31 to 40 of about 812 (177)
Neutrosophic D’Agostino Test of Normality: An Application to Water Data
Journal of Mathematics, Volume 2021, Issue 1, 2021., 2021 The D’Agostino test has been widely applied for testing the normality of the data. The existing D’Agostino test cannot be applied when the data have some indeterminate observations or observations which are obtained from the complex systems. In this paper, we present a D’Agostino test under neutrosophic statistics.
Mohammed Albassam +3 more
wiley +1 more source
Paraconsistency in hybrid logic [PDF]
Journal of Logic and Computation, 2016 As in standard knowledge bases, hybrid knowledge bases (i.e. sets of information specified by hybrid formulas) may contain inconsistencies arising from different sources, namely from the many mechanisms used to collect relevant information. Being a fact, rather than a queer anomaly, inconsistency also needs to be addressed in the context of hybrid ...
Diana Costa 0001, Manuel A. Martins 0001
openaire +3 more sources
Real Analysis in Paraconsistent Logic [PDF]
Journal of Philosophical Logic, 2011 A logic \(S\) is paraconsistent if it lacks the rule ECQ (``ex contradictione quodlibet'', i.e., \(A,\lnot A\Rightarrow B\)) or, from another point of view, if inconsistent theories built upon \(S\) are not necessarily trivial (i.e., do not necessarily contain every well-formed formula). Paraconsistent mathematics is the development of mathematics in a
McKubre-Jordens, M, Weber, Z
openaire +3 more sources
Two Kinds of Logical Impossibility
Noûs, Volume 54, Issue 4, Page 795-806, December 2020., 2020 Abstract In this paper, we argue that a distinction ought to be drawn between two ways in which a given world might be logically impossible. First, a world w might be impossible because the laws that hold at w are different from those that hold at some other world (say the actual world).
Alexander Sandgren, Koji Tanaka
wiley +1 more source
Paraconsistent OWL and related logics [PDF]
Semantic Web, 2013 The Web Ontology Language OWL is currently the most prominent formalism for representing ontologies in Semantic Web applications. OWL is based on description logics, and automated reasoners are used to infer knowledge implicitly present in OWL ontologies.
Maier, Frederick +2 more
openaire +3 more sources
TOWARDS A PHILOSOPHICAL UNDERSTANDING OF THE LOGICS OF FORMAL INCONSISTENCY
Manuscrito, 2015 In this paper we present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in ...
WALTER CARNIELLI, ABÍLIO RODRIGUES
doaj +1 more source
Two Consistent Many-Valued Logics for Paraconsistent Phenomena
, 2015 5th WCP, Kolkata, India, February 2014.In this reviewing paper, we recall the main results of our papers [24, 31] where we introduced two paraconsistent semantics for Pavelka style fuzzy logic.
Esko Turunen +3 more
core +1 more source
Principia: An International Journal of EpistemologyParaconsistent logics, minimally, are not explosive; that is, on these logics, not everything follows from a contradiction of the form ‘A and not-A’.
Otávio Bueno
doaj +1 more source
Weak consistency and strong paraconsistency
tripleC: Communication, Capitalism & Critique, 2009 In a standard sense, consistency and paraconsistency are understood as, respectively, the absence of any contradiction and as the absence of the ECQ (“E contradictione quodlibet”) rule that allows us to conclude any well formed formula from any ...
Gemma Robles
doaj +1 more source
Remarks on the applications of paraconsistent logic to physics [PDF]
, 2003 In this paper we make some general remarks on the use of non-classical logics, in particular paraconsistent logic, in the foundational analysis of physical theories.
Krause, Décio, da Costa, Newton C. A.
core