Results 81 to 90 of about 2,394 (173)

Paraconsistency and Paracompleteness

, 2019
A logic $\langle \mathcal{L},\vdash_{p}\rangle$ is said to be paraconsistent if, and only if $\{\alpha, \neg \alpha\} \nvdash_{p} \beta$, for some formulas $\alpha, \beta$.
J. Ciuciura
semanticscholar   +1 more source

What is this thing called dialetheism?

Principia: An International Journal of Epistemology
This paper has two parts. In the first I discuss two claims made by Priest in Some Comments and Replies (DOI: 10.1007/978-3-030-25365-3 27, 2019): (i) that the idea of ‘contradictions in reality’ lacks textual support in his work, and (ii) that such ...
Abilio 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, Prieto-Sanabria, Leonardo   +1 more
core  

Sobre a lógica deôntica não-clássica

Crítica, 2018
Our starting point, in this basically expository paper, is the study of a classical system of deontic propositional logic, classical in the sense that it constitutes an extension of the classical propositional calculus.
Leila Z. Puga, Newton C.A. da Costa
doaj   +1 more source

An Easy Road to Multi-contra-classicality. [PDF]

Erkenntnis, 2021
Estrada-González L.
europepmc   +1 more source

What Do Paraconsistent, Undecidable, Random, Computable and Incomplete mean? A Review of Godel's Way: Exploits into an undecidable world by Gregory Chaitin, Francisco A Doria , Newton C.A. da Costa 160p (2012) [PDF]

, 2017
In ‘Godel’s Way’ three eminent scientists discuss issues such as undecidability, incompleteness, randomness, computability and paraconsistency. I approach these issues from the Wittgensteinian viewpoint that there are two basic issues which have ...
Starks, Michael
core  

Sobre a história da paraconsistência e a obra de da Costa: ainstauração da Lógica Paraconsistente [On the history of paraconsistency and da Costa’s work: the establishment of paraconsistent logic]. (December, 2013). 535p + appendixes

Bulletin of Symbolic Logic, 2018
The establishment of paraconsistent logic, the quest for and the description of its historical background, by means of an analysis of their philosophical foundations are here presented by the way of contemporary historiography of logic.
Evandro Luís Luís Gomes
semanticscholar   +1 more source

Naïve validity. [PDF]

Synthese, 2021
Murzi J, Rossi L.
europepmc   +1 more source

Normality Operators and Classical Collapse [PDF]

, 2018
In this paper, we extend the expressive power of the logics K3, LP and FDE with anormality operator, which is able to express whether a for-mula is assigned a classical truth value or not.
Carrara, Massimiliano, Ciuni, Roberto
core  

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