Results 101 to 110 of about 801,927 (249)

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

Multiple Criteria Decision Analysis (MCDA) for evaluating cancer treatments in hospital-based health technology assessment: The Paraconsistent Value Framework. [PDF]

PLoS One, 2022
Campolina AG, Estevez-Diz MDP, Abe JM, de Soárez PC.   +3 more
europepmc   +1 more source

Models & Proofs: LFIs Without a Canonical Interpretations

Principia: An International Journal of Epistemology, 2018
In different papers, Carnielli, W. & Rodrigues, A. (2012), Carnielli, W. Coniglio, M. & Rodrigues, A. (2017) and Rodrigues & Carnielli, (2016) present two logics motivated by the idea of capturing contradictions as conflicting evidence.
Eduardo Alejandro Barrio
doaj   +1 more source

Essentialism and Absolute Necessity [PDF]

, 1997
Bob Hale has argued that logical necessity is absolute necessity. Furthermore, he presents a challenge to the essentialist who tries to evade the consequences of his argument. Here I examine the direct argument he presents for his thesis. I argue that it
Shalkowski, S.
core  

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  

Is S5 Paraconsistent?

Principia: An International Journal of Epistemology
The aim of this note is to examine the claim of B´eziau that S5 is paraconsistent. In particular, I wish to clarify what exactly is implicitly assumed behind his claim, and how we might be able to assess the claim “S5 is paraconsistent”.
Hitoshi Omori
doaj   +1 more source

Presentation of the Special Issue of Principia on the Interpretation of Paraconsistent Logics

Principia: An International Journal of Epistemology
We 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, Ederson Safra Melo   +1 more
doaj   +1 more source

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  

Nelson's paraconsistent logics

Logic and Logical Philosophy, 2004
Summary: David Nelson's constructive logics with strong negation may be viewed as alternative paraconsistent logic. These logics have been developed before da Costa's works. We address some philosophical aspects of Nelson's logics and give technical results concerning Kripke models and tableau calculi.
openaire   +3 more sources

A Logical Modeling of Severe Ignorance. [PDF]

J Philos Logic, 2023
Bonzio S, Fano V, Graziani P, Pra Baldi M.   +3 more
europepmc   +1 more source