Results 21 to 30 of about 806,990 (259)
Sequent-Type Calculi for Systems of Nonmonotonic Paraconsistent Logics [PDF]
ICLP Technical Communications, 2020 Paraconsistent logics constitute an important class of formalisms dealing with non-trivial reasoning from inconsistent premisses. In this paper, we introduce uniform axiomatisations for a family of nonmonotonic paraconsistent logics based on minimal ...
Tobias Geibinger, H. Tompits
semanticscholar +1 more source
Logics of Formal Inconsistency enriched with replacement: an algebraic and modal account [PDF]
, 2021 One of the most expected properties of a logical system is that it can be algebraizable, in the sense that an algebraic counterpart of the deductive machinery could be found.
Carnielli, Walter +2 more
core +2 more sources
Tolerating Inconsistencies: A Study of Logic of Moral Conflicts
Bulletin of the Section of Logic, 2022 Moral conflicts are the situations which emerge as a response to deal with conflicting obligations or duties. An interesting case arises when an agent thinks that two obligations A and B are equally important, but yet fails to choose one obligation over ...
Meha Mishra, A.V. Ravishankar Sarma
doaj +1 more source
A Generalisation of a Refutation-related Method in Paraconsistent Logics
, 2018 This article describes a refutation method of proving maximality of three-valued paraconsistent logics. After outlining the philosophical background related to paraconsistent logics and the refutation approach to modern logic, we briefly describe how ...
Adam Trybus
openalex +3 more sources
Paracomplete Logics Dual to the Genuine Paraconsistent Logics: The Three-valued Case
Electronical Notes in Theoretical Computer Science, 2020 In 2016 Beziau, introduce a restricted notion of paraconsistency, the so-called genuine paraconsistency. A logic is genuine paraconsistent if it rejects the laws φ,¬φ ⊢ ψ and ⊢ ¬(φ ∧ ¬φ).
Alejandro Hernández-Tello +2 more
semanticscholar +1 more source
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
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
Paraconsistent Informational Logic
Journal of Applied Logic, 2005 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Forcheri P, Gentilini P
openaire +3 more sources
Paraconsistent Gödel Modal Logic
, 2022 AbstractWe introduce a paraconsistent modal logic$$\mathbf {K}\mathsf {G}^2$$KG2, based on Gödel logic with coimplication (bi-Gödel logic) expanded with a De Morgan negation$$\lnot $$¬. We use the logic to formalise reasoning with graded, incomplete and inconsistent information.
Marta Bílková +2 more
openaire +3 more sources
Paraconsistent Probabilities: Consistency, Contradictions and Bayes’ Theorem
Entropy, 2016 This paper represents the first steps towards constructing a paraconsistent theory of probability based on the Logics of Formal Inconsistency (LFIs).
Juliana Bueno-Soler, Walter Carnielli
doaj +1 more source