|
|
Centre for Logic, Epistemology and the History of Science (CLE) |
|
|
|
|
Rules and Instructions | Sites Pointing to CLE e-Prints |
|
ISSN 1519-9681 |
|
ISSN 1519-9614 |
|
|
|
Paraconsistent Logic (WoPaLo)
Ghent University, RUG, Belgium State University of Campinas, Unicamp, Brazil 
vegetal@cle.unicamp.brCentre for Logic and Philosophy of Science Ghent University, RUG, Belgium
Diderik.Batens@rug.ac.beCentre for Logic, Epistemology and the History of Science – CLE State University of Campinas, Unicamp, Brazil
carniell@cle.unicamp.br
|
João MARCOS State University of Campinas (Unicamp), Brazil |
|
| Models for a paraconsistent
set theory [PDF]
Thierry LIBERT Service of Mathematical Logic, Free University of Brussels (ULB), Belgium |
|
| Diamonds are a philosopher's
best friends – The knowability paradox and modal epistemic relevance logic
[PDF]
Heinrich WANSING Institute of Philosophy, Dresden University of Technology, Germany. |
|
| On the structure
of paraconsistent extensions of Johansson's logic [PS]
Sergei P. ODINTSOV Department of Mathematical Logic, Institute of Mathematics, Novosibirsk, Russia; and Institute of Philosophy, Dresden University of Technology, Germany |
|
| Using paraconsistent
models in logic program verification [PDF]
Paolo MASCELLANI Department of Mathematics, University of Siena, Italy |
|
| How to build your
own paraconsistent logic: an introduction to the logics of formal (in)consistency
[PDF]
Walter CARNIELLI Centre for Logic, Epistemology and the History of Science, Unicamp, Campinas, Brazil |
|
| Statistical defaults
and paraconsistency [PS]
Greg WHEELER Departments of Philosophy and Computer Science, University of Rochester, New York, USA; The Institute for Human and Machine Cognition, Pensacola, Florida, USA; and CENTRIA, Department of Informatics, New University of Lisbon, Portugal |
|
| Paraconsistent informational
logic [PDF]
Paola FORCHERI, and Paolo GENTILINI Institute for Applied Mathematics, National Research Council (CNR), Italy |
|
| Some computational
aspects of inconsistency-adaptive logics [PDF]
Diderik BATENS Centre for Logic and Philosophy of Science, RUG, Ghent, Belgium |
|
| Paraconsistency in
categories: case of relevance logic [PDF]
Vladimir VASYUKOV Department of Logic, Institute of Philosophy, Russian Academy of Science, Russia |
|
| Paraconsistent logic
from a modal viewpoint [PS]
Jean-Yves BEZIAU Institute of Logic, University of Neuchatel, Switzerland |
|
| Reasoning with inconsistency
in structured news reports [PS]
Anthony HUNTER Department of Computer Science, University College London, UK |
|
| Paraconsistent logic
programs [PDF]
Joao ALCANTARA, Carlos Viegas DAMASIO, and Luis Moniz PEREIRA CENTRIA, Department of Informatics, New University of Lisbon, Portugal |
|
| Classical, intuitionistic
and paraconsistent logic in scientific theories [PDF] Antonino DRAGO Department of Physical Sciences, University "Federico II", Naples, Italy |
|
| Combining paraconsistency
and relevance [PDF]
Arnon AVRON Computer Science Department, Tel Aviv University, Israel |
|
|
|
|
|
|
