BOOK OF ABSTRACTS

Prof. Dr. Walter Carnielli (UNICAMP) - Chair

PROGRAM COMMITTEE:
Prof. Dr. Oswaldo Chateaubriand (PUC-RJ)
Prof. Dr. Newton C.A. da Costa (USP/UFSC)
Prof. Dr. Marcelo Finger (USP)

9h30
Opening

10h00
Communication: Homogeneidade dos reais de Dedekind em topoi
Luís Sbardellini (UNICAMP)

10h30
Communication: Formalização do raciocínio difuso via lógicas moduladas
Paulo Petrillo (UNICAMP)

11h00
Communication: Verdade pragmática, lógica e modelos
Carlos Hifume (UNICAMP)

11h30
Coffe-Break

12h00
Communication: Finite algebraizability and a simple proof-theory for the hierarchies Pn and In
Juliana Bueno-Soler (UNICAMP)

12h30
Communication: Analytical tableaux and sequent calculus for da Costa's hierarchy of paraconsistent logics Cn*, 1?n<?
Milton Augustinis de Castro (UNICAMP)

13h00
Lunch

14h30
Communication: Lógicas da mecânica quântica
Juan Carlos Agudelo Agudelo (UNICAMP)

15h00
Communication:Teorias de Galois em lógica
Rodrigo de Alvarenga Freire (UNICAMP)

15h30
Coffee-break

16h00
Communication: Aspects of new implicit connectives
Rodolfo Ertola Biraben (UNLP-Argentina)

9h30
Opening

10h00
Conference:On sense and reference: combining Frege and Kripke
Oswaldo Chateaubriand (PUC-RJ)

11h00
Coffee-break

11h30
Communication: Parsing assistant for categorial grammars with Prolog
Luiz Arthur Pagani (UFPr)

12h00
Conference: Kripke structures without possible worlds
Jean-Yves Béziau (Univ. Neuchâtel - Switzerland)

13h00
Lunch

14h30
Conference: On Gödel's theorems, Part I
Saul Kripke (Graduate Center, CUNY, New York)

16h00
Coffee-break

16h30
Communication: On filtered colimits of algebraizable logics 
Hugo L. Mariano (USP)
FAPESP Thematic Project ConsRel

17h00

Communication :What is a non-truth-functional logic?
João Marcos (UNICAMP - IST/UTL)
FAPESP Thematic  Project  ConsRel

17h30
Communication: Modal epistemology: some limitations
Otávio Bueno (Univ. South Carolina - USA)  and Scott Shalkowski (University of Leeds - UK)

9h30
Conference: Definability and invariance
Newton C.A. da Costa (USP/UFSC)

10h30
Communication: Minimalist modalities as a solution to Fitch's paradox of knowability
Walter  Carnielli (UNICAMP)
FAPESP Thematic  Project  ConsRel

11h00
Communication: Lógica e significação: por um idealismo como fundamento da lógica e da matemática
Ricardo Tassinari (UNESP/Marília) 

11h30
Coffee-break

12h00
Communication : Using relevance to speed up inference - some empirical results (joint work with Joselyto Riani)
Renata Wassermann (USP)
FAPESP Thematic  Project  ConsRel

12h30
Communication: DAG sequent proofs with a substitution sule
Marcelo Finger (USP)
FAPESP Thematic  Project  ConsRel

13h00
Lunch

14h30
Conference: Judgement and verification
Jairo José da Silva (UNESP-Rio Claro)

15h30
Communication: Splitting logics: factoring logics into simpler components
Marcelo Esteban Coniglio  (UNICAMP)
FAPESP Thematic  Project  ConsRel

16h00
Communication: "Hom sweet hom": a note on a result of Borceux-Janelidze's "Galois theories"
Odilon Otávio Luciano (USP)
FAPESP Thematic  Project  ConsRel

16h30
Coffee-break

17h00
Communication: Por uma versão proposicional da lógica do plausível
Hércules de Araújo Feitosa (UNESP-Bauru)
FAPESP Thematic  Project  ConsRel

17h30
Communication: Lógica discussiva e modelos de Kripke
Lafayette de Moraes (PUC-SP)

9h30
Conference: Kant´s transcendental semantics
Zeljko Loparic (PUC-SP, PUC-RS)

10h30
Coffe-break

11h00
Communication: Um sistema de dedução natural para preservação da falsidade
Wagner Sanz (UFGO)

11h30
Communication: Da Costa's paraconsistent differencial cauculus and a transference theorem
Itala  M.L. D´Ottaviano (UNICAMP)
Tadeu Fernandes de Carvalho (PUC-Campinas)
FAPESP Thematic  Project  ConsRel

12h00
Communication: Structural reductions and the identity problem
Luiz Carlos Pereira (PUC-RJ) and Edward Hermann Hauesler (PUC-RJ)

12h30
Communication: Valuations in modal logic
Andrea Loparic (USP)

13h00
Lunch

14h30
Conference: On Gödel's theorems, Part II
Saul Kripke (Graduate Center, CUNY, New York)

16h00
Coffee-break

16h30
Communication: A multi-strategy tableau prover
Adolfo Gustavo Serra Seca Neto (USP)

17h00
Closing