Results 71 to 80 of about 2,727 (208)
Contradiction-tolerant process algebra with propositional signals
, 2017 In a previous paper, an ACP-style process algebra was proposed in which propositions are used as the visible part of the state of processes and as state conditions under which processes may proceed.
Bergstra, J. A., Middelburg, C. A.
core +1 more source
Paraconsistency in hybrid logic [PDF]
, 2017 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,
da Silva Filho +4 more
core +1 more source
(Wittgenstein & Paraconsistência)
Principia: An International Journal of Epistemology, 2010 In classical logic, a contradiction allows one to derive every other sentence of the underlying language; paraconsistent logics came relatively recently to subvert this explosive principle, by allowing for the subsistence of contradictory yet non-trivial
João Marcos
doaj
Paraconsistent Multivalued Logic and Coincidentia Oppositorum: Evaluation with Complex Numbers [PDF]
, 2015 Paraconsistent logic admits that the contradiction can be true. Let p be the truth values and P be a proposition. In paraconsistent logic the truth values of contradiction is . This equation has no real roots but admits complex roots . This is the result
Nescolarde-Selva, Josué Antonio +3 more
core +2 more sources
Limits for Paraconsistent Calculi
Notre Dame Journal of Formal Logic, 1999 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Carnielli, Walter A., Marcos, João
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
Modal logic S4 as a paraconsistent logic with a topological semantics [PDF]
, 2017 In this paper the propositional logic LTop is introduced, as an extension of classical propositional logic by adding a paraconsistent negation. This logic has a very natural interpretation in terms of topological models.
E. Coniglio, Marcelo +1 more
core
Pluralism in Scientific Problem Solving. Why Inconsistency is No Big Deal
Humana.Mente: Journal of Philosophical Studies, 2018 Pluralism has many meanings. An assessment of the need for logical pluralism with respect to scientific knowledge requires insights in its domain of application. So first a specific form of epistemic pluralism will be defended.
Diderik Batens
doaj
Dualising Intuitionistic Negation
Principia: An International Journal of Epistemology, 2009 One of Da Costa’s motives when he constructed the paraconsistent logic C! was to dualise the negation of intuitionistic logic. In this paper I explore a different way of going about this task.
Graham Priest
doaj
Consistency, Paraconsistency and Truth: Logic, the Whole Logic and Nothing but 'the' Logic
Ideas y Valores, 1996 Newton Costa da, Otávio Bueno
doaj +1 more source