Results 41 to 50 of about 178 (117)

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  

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  

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

El Significado de la Negación Paraconsistente

Principia: An International Journal of Epistemology, 2009
This work agrees and supports the I. Hacking’s thesis regarding the meaningof the logical constants accordingly with Gentzen’s Introduction and Elimination Rules of Sequent Calculus, corresponding with the abstract conception of the notion of logical ...
Cecilia Duran, Gladys Palau
doaj  

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

Applying Paraconsistent Annotated Logic Eτ for Optimizing Broiler Housing Conditions

AgriEngineering
Broilers are particularly sensitive to heat stress, which can impair growth, and lower conversion efficiency and survival rates. Under a climate change scenario, maintaining optimal thermal conditions within broiler houses becomes more complex and energy-
Angel Antonio Gonzalez Martinez, Irenilza de Alencar Nääs, Thayla Morandi Ridolfi de Carvalho-Curi, Jair Minoro Abe   +3 more
doaj   +1 more source

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

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

Paraconsistent Labeling Semantics for Abstract Argumentation

Mathematics
Dung’s abstract argumentation framework is a popular formalism in formal argumentation. The present work develops paraconsistent labeling semantics for abstract argumentation such that the incomplete and inconsistent information can be expressed, and it ...
Yuanlei Lin
doaj   +1 more source