Results 11 to 20 of about 812 (177)
Paraconsistent Orbits of Logics
Logica Universalis, 2021 Some strategies to turn any logic into a paraconsistent system are examined. In the environment of universal logic, we show how to paraconsistentize logics at the abstract level using a transformation in the class of all abstract logics called ...
Alexandre Costa-Leite
exaly +5 more sources
Paraconsistent Modal Logics [PDF]
Electronic Notes in Theoretical Computer Science, 2011 We introduce a modal expansion of paraconsistent Nelson logic that is also as a generalization of the Belnapian modal logic recently introduced by Odintsov and Wansing.
Umberto Rivieccio
exaly +4 more sources
A Semi-lattice of Four-valued Literal-paraconsistent-paracomplete Logics [PDF]
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 +2 more sources
Natural Deduction System in Paraconsistent Setting: Proof Search for PCont [PDF]
Journal of Intelligent Systems, 2012 This paper continues a systematic approach to build natural deduction calculi and corresponding proof procedures for non-classical logics. Our attention is now paid to the framework of paraconsistent logics.
Bolotov Alexander, Shangin Vasilyi
doaj +2 more sources
Two-Layered Logics for Paraconsistent Probabilities
Lecture Notes in Computer Science, 2023 We discuss two two-layered logics formalising reasoning with paraconsistent probabilities that combine the Lukasiewicz $[0,1]$-valued logic with Baaz $\triangle$ operator and the Belnap--Dunn ...
Marta Bilková +2 more
exaly +3 more sources
Paraconsistent Logics and Paraconsistency
, 2007 This chapter discusses paraconsistent logics (PL) and paraconsistency. PL are the logics of inconsistent but nontrivial theories. A deductive theory is paraconsistent if its underlying logic is paraconsistent.
Décio Krause +5 more
core +2 more sources
Presentation of the Special Issue of Principia on the Interpretation of Paraconsistent Logics
Principia: An International Journal of EpistemologyWe present this special issue of Principia on the interpretation of paraconsistent logics. After a brief discussion on the very idea of interpreting paraconsistent logics according to different perspectives, we introduce the source of the papers in this
Jonas R. Becker Arenhart +1 more
doaj +4 more sources
Combined Paraconsistent Logics and their (Co)Exponentials
RUDN Journal of Philosophy, 2011 Combined logics of sentences and events consist of two parts: the external logic depending on epistemological assumptions and the internal logic depending on ontological ones. They were introduced by V.A. Smirnov following some G. Frege's and N. Vasiliev'
Vladimir L Vasyukov
doaj +2 more sources
Journal of Philosophical Logic, 1995 In this note I respond to Hartley Slater's argument [12] to the effect that there is no such thing as paraconsistent logic. Slater's argument trades on the notion of contradictoriness in the attempt to show that the negation of paraconsistent
Greg Restall
core +3 more sources
On Strong Maximality of Paraconsistent Finite-Valued Logics
, 2010 -Maximality is a desirable property of paraconsistent logics, motivated by the aspiration to tolerate inconsistencies, but at the same time retain as much as possible from classical logic.
Arnon Avron +2 more
exaly +1 more source