Results 21 to 30 of about 2,394 (173)
Paraconsistency and its Possibilities: a personalised and partial perspective of the past [PDF]
Journal of Philosophical InvestigationsI take paraconsistent logic to be one of the most important and significant developments in logic and metaphysics in the last 100 years, challenging, as it does, one of the deepest dogmas entrenched in Western philosophy: that consistency is a sine qua ...
Graham Priest
doaj +1 more source
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
Restricted Rules of Inference and Paraconsistency [PDF]
Logic Journal of the IGPL, 2020 In this paper, we study two companions of a logic, viz., the left variable inclusion companion and the restricted rules companion, their nature and interrelations, especially in connection with paraconsistency.
Sankha S. Basu, M. K. Chakraborty
semanticscholar +1 more source
A Semi-lattice of Four-valued Literal-paraconsistent-paracomplete Logics
Bulletin of the Section of Logic, 2021 In this paper, we consider the class of four-valued literal-paraconsistent-paracomplete logics constructed by combination of isomorphs of classical logic CPC. These logics form a 10-element upper semi-lattice with respect to the functional embeddinig one
Natalya Tomova
doaj +1 more source
Paraconsistency properties in degree-preserving fuzzy logics [PDF]
, 2014 Paraconsistent logics are specially tailored to deal with inconsistency, while fuzzy logics primarily deal with graded truth and vagueness. Aiming to find logics that can handle inconsistency and graded truth at once, in this paper we explore the notion ...
Ertola, Rodolfo +4 more
core +3 more sources
Incoherency Problems in a Combination of Description Logics and Rules
Journal of Applied Mathematics, Volume 2014, Issue 1, 2014., 2014 A paraconsistent semantics has been presented for hybrid MKNF knowledge bases—a combination method for description logics and rules. However, it is invalid when incoherency occurs in the knowledge base. In this paper, we introduce a semi‐S5 semantics for hybrid MKNF knowledge bases on the basis of nine‐valued lattice, such that it is paraconsistent for
Shasha Huang +3 more
wiley +1 more source
Paraconsistency and word puzzles [PDF]
Theory and Practice of Logic Programming, 2016 AbstractWord puzzles and the problem of their representations in logic languages have received considerable attention in the last decade (Ponnuruet al. 2004; Shapiro 2011; Baral and Dzifcak 2012; Schwitter 2013). Of special interest is the problem of generating such representations directly from natural language (NL) or controlled natural language (CNL)
Gao, Tiantian +2 more
openaire +3 more sources
AGM-Like Paraconsistent Belief Change [PDF]
, 2017 Two systems of belief change based on paraconsistent logics are introduced in this article by means of AGM-like postulates. The first one, AGMp, is defined over any paraconsistent logic which extends classical logic such that the law of excluded middle ...
Coniglio, Marcelo E. +2 more
core +1 more source
Paracomplete logics which are dual to the paraconsistent logics L3A and L3B [PDF]
, 2020 In 2016 Beziau, introduce a more restricted concept of paraconsistency, namely the genuine paraconsistency. He calls genuine paraconsistent logic those logic rejecting φ, ¬φ |- ψ and |- ¬(φ ∧ ¬φ).
Borja-Macı́as, Verónica +2 more
core +1 more source
Aristotle’s Theory of Deduction and Paraconsistency
Principia: An International Journal of Epistemology, 2010 No Órganon Aristóteles descreve alguns esquemas dedutivos nos quais a presença de inconsistências não acarreta a trivialização da teoria lógica envolvida.
Evandro L. Gomes +1 more
doaj +3 more sources