ISSN 1519-9681

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

Articles

Vol. 8(6), 2008



Vol. 8(3), 2008

Vol. 8(2), 2008





.
Vol. 8(6), 2008
  (Section Logic)


.
CLE 30 / XV EBL / XIV SLALM

.
CLE 30 YEARS - XV BRAZILIAN LOGIC CONFERENCE

XIV LATIN-AMERICAN SYMPOSIUM ON MATHEMATICAL LOGIC

May  11 - 17,  2008  -  Paraty, RJ - Brazil
.

The "CLE 30 YEARS/ XV Brazilian Logic Conference/ XIV Latin-American Symposium on Mathematical Logic", organized by the Centre for Logic, Epistemology and the History of Science (CLE) of the State University of Campinas (UNICAMP) and the Brazilian Logic Society (SBL), was held in Paraty, Brazil, from May 11th to 17th, 2008.

During the previous week, as it is traditional in the Latin-American Symposia, the Centre for Logic hosted the Logic School, aimed at advanced graduate students and other people interested in the study of logic and related areas. With approximately 50 participants, 6 Tutorials were held.

Outstanding names of the international scientific community took part in the event in Paraty, which counted with the participation of about 180 researchers from several academic and teaching institutions from São Paulo State, from other Brazilian states and from several countries as, for instance, Argentina, Belgium, Colombia, United States of America, The Netherlands, Italy, Mexico, Poland, Uruguay and Venezuela, exceeding in numbers all the previously held Brazilian Logic Conferences and Latin-American Symposia on Mathematical Logic.

The event was sponsored by the Centre for Logic, Epistemology and the History of Science, Brazilian Logic Society, Fundo de Apoio ao Ensino, à Pesquisa e à Extensão (FAEPEX-UNICAMP/Brazil), The State of São Paulo Research Foundation (FAPESP/Brazil), The National Council for Scientific and Technological Development (CNPq/Brazil), Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES/Brazil), Association for Symbolic Logic and National Science Foundation (NSF/USA).

This special issue of CLE e-Prints contains extended abstracts of works presented at the conference, whose publication as pre-prints has been explicitly authorized by its authors.

Walter A. Carnielli
Marcelo E. Coniglio
Itala M. Loffredo D'Ottaviano
Chairs

Logic School - Tutorials
W.A. CARNIELLI  Possible-translations semantics
W.A. CARNIELLI
Centre for Logic, Epistemology and the History of Science and Philosophy Department
State University of Campinas - UNICAMP - BRASIL


R. CIGNOLI  Algebraic aspects of substructural logics
R. CIGNOLI
Universidad de Buenos Aires - ARGENTINA

M.E. CONIGLIO  Combining logics
M.E. CONIGLIO
Centre for Logic, Epistemology and the History of Science and Philosophy Department
State University of Campinas - UNICAMP - BRASIL


J. CORCORAN  Aristotle's underlying logics: a three-hour tutorial
J. CORCORAN
Department of Philosophy - University at Buffalo - NY - USA

I.M.L. D'OTTAVIANO  Translations between logics
I.M.L. D'OTTAVIANO
Centre for Logic, Epistemology and the History of Science and Philosophy Department
State University of Campinas - UNICAMP - BRASIL


J. HINTIKKA  Logic and information
J. HINTIKKA
Boston University - USA
.
.
Invited Plenary Talks
J. CORCORAN  Sentence, proposition, judgment, statement, and fact:
speaking about the written english used in logic

J. CORCORAN
Department of Philosophy - University at Buffalo - NY - USA

E.G.K. LOPEZ-ESCOBAR  Logic and mathematics: a propositional calculus with just three
primitive concepts

E.G.K. LOPEZ-ESCOBAR
University of Maryland - USA
.
Contributed Talks

M. ABAD, C.R. CIMADAMORE, J.P. DÍAZ VARELA  A Duality for 3-valued Lukasiewicz implication algebras with
M. ABAD, C.R. CIMADAMORE, J.P. DÍAZ VARELA
Departamento de Matemática - Universidad Nacional del Sur - ARGENTINA
Universidad Nacional del Comahue, Bahía Blanca - ARGENTINA

M.A. ALVES, I.M.L. D'OTTAVIANO  Uma crítica à concepção semântica de conseqüência lógica
M.A. ALVES, I.M.L. D'OTTAVIANO
Centro de Lógica, Epistemologia e História da Ciência (CLE) e Departamento de Filosofia
Universidade Estadual de Campinas - UNICAMP - BRASIL

M.R.F. BENEVIDES, L.M. SCHECHTER  Decidability of a syntactic fragment of the hybrid
computation tree logic with the operator
M.R.F. BENEVIDES,  L.M. SCHECHTER
Computer Science Department and Systems and Computer Engineering Program - UFRJ - BRASIL
Systems and Computer Engineering Program - UFRJ - BRASIL

E. BIANCO, A. ZILIANI  A new algebraic counterpart of four - valued Monteiro
propositional calculus

E. BIANCO, A. ZILIANI
Universidad Nacional del Sur - ARGENTINA
Universidad Nacional de San Juan - ARGENTINA

G.A. BODANZA  The "Lottery Paradox" paradox and other self-attacking arguments
from the point of view of defeasible argumentation frameworks

G.A. BODANZA
Universidad Nacional del Sur - ARGENTINA
Universidad Nacional de San Juan - ARGENTINA

G.A. BODANZA  Possible-translations semantics for cathodic modal logics
J. BUENO-SOLER
GTAL/CLE and Department of Philosophy
State University of Campinas - UNICAMP - BRAZIL

L.M. CABRER, S.A. CELANI  Kripke semantic for monoidal T-norm based logics MTL and IMTL
L.M. CABRER, S.A. CELANI
CONICET, Departamento de Matemáticas - Universidad Nacional del Centro - Tandil - ARGENTINA

  Adjusting a conjecture of Erdos
P.K. CAROLINO , W.A. CARNIELLI
Centre for Logic, Epistemology and the History of Science and Philosophy Department
State University of Campinas - UNICAMP - BRASIL


M.A. DA SILVA FILHO  A natureza metafísica da lógica tractatiana
M.A. DA SILVA FILHO
Pós-graduando - Pontifícia Universidade Católica do Rio de Janeiro - PUC-RJ - BRASIL

M.A. DE CASTRO, I.M.L. D'OTTAVIANO  Analytical tableaux for da Costa's paraconsistent logics
M.A. DE CASTRO, I.M.L. D'OTTAVIANO
Centre for Logic, Epistemology and the History of Science and Philosophy Department
State University of Campinas - UNICAMP - BRAZIL


D.R. DE VASCONCELOS, E.H. HAEUSLER  Quantifying in extensive games
D.R. DE VASCONCELOS, E.H. HAEUSLER
Federal University of Ceará - BRASIL
Catholic University of Rio de Janeiro (PUC-RJ) - BRASIL

O.M. ESQUISABEL  Leibniz's science of forms as a structural science and similarity
as its central concept

O.M. ESQUISABEL
UNQ - CONICET - UNLP - ARGENTINA

A.V. FIGALLO, I. PASCUAL, A. ZILIANI  Monadic distributive lattices and monadic augmented Kripke frames
A.V. FIGALLO, I. PASCUAL, A. ZILIANI
Departamento de Matemática - Universidad Nacional del Sur - ARGENTINA
Instituto de Ciencias Básicas - Universidad Nacional de San Juan - ARGENTINA


A.V. FIGALLO, I. PASCUAL, A. ZILIANI  Valued Lukasiewicz-Moisil algebras with and without negation
A.V. FIGALLO, I. PASCUAL, A. ZILIANI
Departamento de Matemática - Universidad Nacional del Sur - ARGENTINA
Instituto de Ciencias Básicas - Universidad Nacional de San Juan - ARGENTINA


A.V. FIGALLO, C.A. SANZA  The NSn x m - propositional calculus
A.V. FIGALLO, C.A. SANZA
Departamento de Matemática - Universidad Nacional del Sur - ARGENTINA
Instituto de Ciencias Básicas - Universidad Nacional de San Juan - ARGENTINA

M.G. FULUGONIO  Benno Kerry: una crítica temprana al logicismo de Frege y un antecedente en la historia del problema de la impredicatividad
M.G. FULUGONIO
Universidad de Buenos Aires - ARGENTINA

L. GARBAYO  Schematism and hierarchical subsumption on Klein's Erlanger programme
L. GARBAYO
Boston University - USA

L. GARBAYO  Aristotle's theory of syllogism and paraconsistency
E.L. GOMES, I.M.L. D'OTTAVIANO
Centre for Logic, Epistemology and the History of Science and Philosophy Department
State University of Campinas - UNICAMP - BRASIL


C.G. GONZÁLEZ  Clustering applications of density on boolean-valued spaces
C.G. GONZÁLEZ
UNISO - Sorocaba, SP - BRASIL

J. LEGRIS  On two conceptions of formality in 19th century symbolic logic
J. LEGRIS
University of Buenos Aires and CEF, ANCBA-CONICET - ARGENTINA

D. MENDONÇA, J. MARCOS  Automatic extraction of axiomatizations in terms of two-signed
tableaux for finite-valued logics

D. MENDONÇA, J. MARCOS
Scientific Undergraduate Fellow - UFRN - BRASIL
DIMAp-CCET - UFRN - BRASIL

N.M. PERON, M.E. CONIGLIO  Logics of deontic inconsistencies and paradoxes
N.M. PERON, M.E. CONIGLIO
Centre for Logic, Epistemology and the History of Science and Philosophy Department
State University of Campinas - UNICAMP - BRASIL


M.A. DE CASTRO, I.M.L. D'OTTAVIANO  Completeness theorems for first-order logics of formal inconsistency
R. PODIACKI, W. CARNIELLI
Centre for Logic, Epistemology and the History of Science and Philosophy Department
State University of Campinas - UNICAMP - BRAZIL

A. PORTO  Wittgenstein, dízimas periódicas e correção cruzada
A. PORTO
Departamento de Filosofia - Universidade Federal de Goiás (UFG) - BRASIL

A. RADEMAKER, E.H. HAEUSLER, L.C. PEREIRA  On the proof theory of ALC
A. RADEMAKER, E.H. HAEUSLER, L.C. PEREIRA
Catholic University of Rio de Janeiro (PUC-RJ) - BRASIL

T. REIS, M.E. CONIGLIO  Covering logics via possible-translations
T. REIS, M.E. CONIGLIO
Centre for Logic, Epistemology and the History of Science and Philosophy Department
State University of Campinas - UNICAMP - BRASIL


S. SCHULTZ  Diagramas e visualização
S. SCHULTZ
Pontifícia Universidade Católica do Rio de Janeiro (PUC-RJ) - BRASIL

R.S. SILVESTRE  A logic of planning agency
R.S. SILVESTRE
Adjunct Professor of Philosophy - Federal University of Ceará - BRASIL

M.A. DE CASTRO, I.M.L. D'OTTAVIANO  Tarski's relation algebra and Börners operator
L.O. SUGUITANI, I.M.L. D'OTTAVIANO
Centre for Logic, Epistemology and the History of Science and Philosophy Department
State University of Campinas - UNICAMP - BRAZIL

R.R. TESTA, M.E. CONIGLIO  Solving normative conflicts using preference relations
R.R. TESTA, M.E. CONIGLIO
Centre for Logic, Epistemology and the History of Science and Philosophy Department
State University of Campinas - UNICAMP - BRASIL


B. VAZ  Provas de inexistência e impossibilidade na geometria entendida
como gramática

B. VAZ
Catholic University of Rio de Janeiro (PUC-RJ) - BRASIL

A. VELLOSO  A identidade e o paradoxo da análise
A. VELLOSO
Departamento de Filosofia - Universidade Federal de Goiás - UFG - Brasil

.
Papers Presented by Title

E.E. DOS SANTOS, I.M.L. D'OTTAVIANO  O infinito atual em Cantor e o conceito de revolução científica
em matemática

E.E. DOS SANTOS, I.M.L. D'OTTAVIANO
Centro de Lógica, Epistemologia e História da Ciência e Departamento de Filosofia
Universidade Estadual de Campinas - UNICAMP - BRASIL

A. NEPOMUCENO, F. SOLER  Constructing inferential contexts
A. NEPOMUCENO, F. SOLER
Universidad de Sevilla - SPAIN

G. PALAU, C.A. OLLER  A sequent system for LP
G. PALAU, C.A. OLLER
Facultad de Filosofía y Letras - Universidad de Buenos Aires - ARGENTINA
Facultad de Humanidades y Ciencias de la Educación - Universidad Nacional de La Plata - ARGENTINA


G. ROBLES, J.M. MÉNDEZ  The concept of strong F-paraconsistency
G. ROBLES, J.M. MÉNDEZ
Universidad de La Laguna - La Laguna, Tenerife - SPAIN
Universidad de Salamanca - Salamanca - SPAIN



|   Home   |   2008   |   2007   |    2005   |   2004   |   2003   |   2002   |   2001   |
© 2001-2008 - Centre for Logic, Epistemology and the History of Science – CLE