CLE e-Prints of the Centre for Logic (CLE/UNICAMP)

ISSN 1519-9681

ARTICLES

EDITORIAL BOARD

RULES AND INSTRUCTIONS

SITES POINTING TO CLE e-PRINTS

2011 .
2010 .
2009 .
2008 .
2007 .
2006 .
2005 .
2004 .
2003 .
2002 .
2001

Articles: Volume 7 (numbers 1 to 5), 2007

Vol. 7(5), 2007
Generalized negative translations and interpolation
Walter Carnielli; João Rasga and Cristina Sernadas

Vol. 7(4), 2007
Logics of deontic inconsistency
Marcelo E. Coniglio

Vol. 7(3), 2007
"Cogito ergo sum non machina!"
About Gödel's first incompleteness theorem and turing machines
Ricardo Pereira Tassinari and Itala M. Loffredo D'Ottaviano

Vol. 7(2), 2007
Unconventional models of computation through non-standard logic circuits
Juan C. Agudelo and Walter Carnielli

Vol. 7(1), 2007
A propositional logic for Tarski's consequence operator
Hércules de Araújo Feitosa; Mauri Cunha do Nascimento; Maria Claudia Cabrini Grácio

| Home |