ISSN 1519-9681
ARTICLES
EDITORIAL BOARD
RULES AND INSTRUCTIONS
SITES POINTING TO CLE e-PRINTS

Centre for Logic, Epistemology and the History of Science (CLE)
State University of Campinas - UNICAMP
P.O. Box  6133
Zip Code 13083-859
Campinas - São Paulo - Brazil

publicacoes@cle.unicamp.br



.
N E W S !!







Vol. 16(1), 2016
Translating non-classical logics into the classical logic by using hidden variables
Juan C. Agudelo-Agudelo
Institute of Mathematics, University of Antioquia, Medellin, Colombia

Vol. 15(8), 2015
Paraconsistent Belief Revision based on a formal consistency operator
Rafael R. Testa(1), Marcelo E. Coniglio(1) and Márcio M. Ribeiro(2)
(1) Centre for Logic, Epistemology and the History of Science and Institute of Philosophy and Human Sciences, University of Campinas, Brazil
(2) School of Arts and Human Sciences, University of Sâo Paulo, Brazil

Vol. 15(7), 2015
Continuous versions of Haack’s Puzzles: Equilibria, Eigen-States and Ontologies
Julio Michael Stern
IME-USP
University of São Paulo
São Paulo, SP, Brasil

Vol. 15(6), 2015
Cuts and cut-elimination for complementary classical logic
Walter Carnielli(1) and Gabriele Pulcini(2)
(1) CLE and Department of Philosophy
State University of Campinas
Campinas, SP, Brasil
(2) CLE post-doctoral researcher
State University of Campinas
Campinas, SP, Brasil

Vol. 15(5), 2015
A logic for evidence and truth
Walter Carnielli(1) and Abilio Rodrigues(2)
(1) CLE and Department of Philosophy
State University of Campinas
Campinas, SP, Brasil
(2) Department of Philosophy
Federal University of Minas Gerais
Campinas, SP, Brasil

Vol. 15(4), 2015
Funções de Primeira Ordem E n-TIPOS
Rodrigo A. Freire
Departamento de Filosofia
Universidade de Brasília
Brasil

Vol. 15(3), 2015
A preliminary study of MV-algebras with two quantifiers which commute
Aldo Figallo Orellano
Departamento de Matemática
Universidad Nacional del Sur
Argentina

Vol. 15(2), 2015
May be and may be not: paraconsistent probabilities from the LFI viewpoint
Walter Carnielli(1) and Juliana Bueno-Soler(2)
(1) CLE and Department of Philosophy
State University of Campinas
Campinas, Brazil

(2) Faculty of Technology
State University of Campinas
Campinas, Brazil

Vol. 15(1), 2015
Reconciling first-order logic to algebra
Walter Carnielli(*), Hugo Luiz Mariano(1) and Mariana Matulovic(2)
(*) CLE and Department of Philosophy
State University of Campinas
Campinas, Brazil

(1) Institute of Mathematics and Statistics
University of São Paulo
São Paulo, Brazil

(2) Department of Philosophy
Paulista State University "Julio de Mesquita Filho"
Marília, Brazil

Vol. 14(3), 2014
Experimenting with consistency
Juliana Bueno-Soler(1) and Walter Carnielli(2)
(1) Faculty of Technology
State University of Campinas
Campinas, Brazil

(2) CLE and Department of Philosophy
State University of Campinas
Campinas, Brazil


Vol. 14(2), 2014
Polinomial Ring Calculus for Modalities
Juan C. Agudelo-Agudelo(1) and Walter Carnielli(2)
(1) Institute of Mathematics
University of Antioquia
Medellin, Colombia
(2) CLE and Department of Philosophy
State University of Campinas
Campinas, Brazil


Vol. 14(1), 2014
Swap structures for LFIs
Walter Carnielli and Marcelo E. Coniglio
 CLE and Department of Philosophy
State University of Campinas
Campinas, Brazil

Vol. 13(3), 2013
On the relationship between tetravalent modal algebras, symmetric Boolean algebras and modal algebras for S5
Marcelo E. Coniglio (1); Martín Figallo (2)
(1) CLE and Department of Philosophy
State University of Campinas
Campinas, Brazil

(2) Departamento de Matemática
Universidad Nacional del Sur
Bahía Blanca, Argentina


Vol. 13(2), 2013
Tennant and the AGM Model Epistemic Entrenchment Contraction
Diego Fernandes; Wagner Sanz
Faculdade de Filosofia
Universidade Federal de Goiás - Brasil


© 2001-2016 - Centre for Logic, Epistemology and the History of Science – CLE