Results 91 to 100 of about 5,334 (208)

Relevant Logics Obeying Component Homogeneity [PDF]

, 2018
This paper discusses three relevant logics that obey Component Homogeneity - a principle that Goddard and Routley introduce in their project of a logic of significance. The paper establishes two main results.
Ciuni, Roberto, Ferguson, Thomas Macaulay, Szmuc, Damian   +2 more
core   +1 more source

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

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

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  

On a Partial Decision Method for Dynamic Proofs [PDF]

, 2002
This paper concerns a goal directed proof procedure for the propositional fragment of the adaptive logic ACLuN1. At the propositional level, it forms an algorithm for final derivability.
Batens, Diderik
core   +3 more sources

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

Logics and admissible rules of constructive set theories. [PDF]

Philos Trans A Math Phys Eng Sci, 2023
Iemhoff R, Passmann R.
europepmc   +1 more source