 Editorial:
A Paraconsistent Decagon
(with D.
Batens and W.
Carnielli)
Journal of Applied Logic,
3(1):1-5, 2005.
Abstracted or reviewed in: MR2126450.
Referred at: DBLP; CSB.
 Possible-translations
semantics for some weak classically based paraconsistent logics
To appear in
Journal
of Applied Non-Classical Logics, 2006. (Preprint available
at CLC)
A number of very weak non-finitely valued paraconsistent logics is here endowed with adequate interpretations
in terms of possible-translations semantics based on 3-valued scenarios.
Pay special attention to the canonical techniques employed, involving bivaluations.
Referred at: Citeseer; CSB.
 Logics
of Formal Inconsistency
(with W.
A. Carnielli and M.
E. Coniglio)
Preprint, 2005. (Preprint available
at CLE e-prints, CLC)
To appear in D. Gabbay and F. Guenthner, editors,
Handbook of Philosophical Logic, 2nd edition, v.14, Kluwer Academic Publishers.
How can we internalize the meta-theoretical notion of consistency at the object language level?
This is how. A big survey of the Logics of Formal Inconsistency. This entry is a legitimate heir of the
taxonomical paper.
Referred at: Citeseer; CSB.
 Suszko's
Thesis and dyadic semantics
(with C.
Caleiro, W.
A. Carnielli, and M.
E. Coniglio)
Preprint, 2003. (Preprint available
at CLC)
How many logical values are there? An investigation of the world of black-and-white.
Referred at: Citeseer; CSB.
 Dyadic
semantics for many-valued logics
(with C.
Caleiro, W.
A. Carnielli, and M.
E. Coniglio)
Preprint, 2003. (Preprint available
at CLC)
Automatic procedures for providing two-valued semantics and two-signed tableau systems for the overwhelming majority of well-known many-valued logics.
Referred at: Citeseer; CSB.
 (Wittgenstein
& Paraconsistência) (In Portuguese)
Preprint, 1999. (Preprint available
at CLE e-prints)
On the possible relations between Wittgenstein and paraconsistency.
|