Results 81 to 90 of about 132 (129)
Opening address: Paraconsistent logic
I am honoured with and touched by the invitation of delivering the opening address of this Congress. Firstly, to see paraconsistent logic flourishing and growing, as we can readily see by simply glacing over the programme of this conference, is among one of my greatest joys.
openaire +2 more sources
Newton da Costa e a Filosofia da Quase-Verdade
This paper intends to introduce the three issues of Principia which will appear in a sequel honoring Newton da Costa’s 80th birthday. Instead of presenting the papers one by one, as it is common in presentations such as this one, we have left the papers ...
Décio Krause
doaj
(Wittgenstein & Paraconsistência)
In classical logic, a contradiction allows one to derive every other sentence of the underlying language; paraconsistent logics came relatively recently to subvert this explosive principle, by allowing for the subsistence of contradictory yet non-trivial
João Marcos
doaj
Paraconsistent Constructive Modal Logic
We present a family of paraconsistent counterparts of the constructive modal logic CK. These logics aim to formalise reasoning about contradictory but non-trivial propositional attitudes like beliefs or obligations. We define their Kripke-style semantics based on intuitionistic frames with two valuations which provide independent support for truth and ...
Han Gao +2 more
openaire +2 more sources
A basic system of paraconsistent Nelsonian logic of conditionals. [PDF]
Olkhovikov GK.
europepmc +1 more source
Minimally inconsistent reasoning in Semantic Web. [PDF]
Zhang X.
europepmc +1 more source

