Programa Preliminar das Atividades do XIV EBL

In portuguese, sorry!

Sessões de Comunicações

Segunda-feira (24/04)

• Sala 1
  • 11:30 – A alternativa Kantiana ao possibilismo de Leibniz - Leonardo Cisneiros
  • 11:50 – O Mundo bizzaro dos Juízos Infinitos Kantianos - Fábio François Mendonça da Fonseca
  • 12:10 – A Lógica da necessidade histórica e dos futuros possíveis expressados em sistemas lógicos modais e multimodais. Samir Bezerra Gorsky
  • 12:30 – Possibilidade de uma Teoria de Conjuntos Fregeana - Alessandro Bandeira Duarte
• Sala 2
  • 11:30 – Máquinas de Turing Paraconsistentes Não Adjuntivas e a Simulação de Algoritmos Quânticos -Juan C. Agudelo
  • 11:50 – Uma aplicação da Lógica Paraconsistente à Teoria Geral do Imaginário - Katiane F. Nóbrega e Ângela Maria Paiva Cruz

  • 12:10 – ASA-CalcPro: Uma Ferramenta de Apoio para o Ensino-Aprendizagem de Cálculo Proposicional - José M. Nicoladelli, Douglas P. B. Renaux, João Luiz Luguesi e Adonai S. Sant’Anna

  • 12:30 - A paraconsistência no discurso de Popper - Juliana Bueno-Soler e Samir Bezerra Gorsky
• Sala 3
  • 11:30 – Capturing Higher Order Logics with First Order Lindström Quantifiers - Lauri Hella and Jose Maria Turull
  • 11:50 – Hrushovski Constructions and Tame abstract elementary classes – Pedro H. Zambrano R.
  • 12:10 – Minimalidade e Hierarquia de Expressividade -Francicleber Martins Ferreira Ana Teresa Martins
  • 12:30 – Teoria dos Hiperconjuntos e Paradoxo - Sérgio da Silva Aguiar e Ruy José Guerra Barretto de Queiroz

Terça-feira (25/04)

• Sala 1
  • 09:00 – Porque os alunos odeiam lógica? - Pedro Luiz Malagutti
  • 09:20 – Teaching Logic - Rodolfo Ertola
  • 09:40 – O Método da Prova Direta por Tablôs - Arthur Buchsbaum e Maurício Correia Lemes Neto
  • 11:30 – Criteria of Identity and their Logical Form -Makmiller Pedroso
  • 11:50 – Diagonal argument, truth and paradoxes- María Inés Crespo
  • 12:10 – A framework for applicarion of Gödelian Dualism - Joseph E. Brenner, Ph.D
  • 12:30 – Beyond Truth-Functionality - João Marcos
• Sala 2
  • 09:00 – On Combining Beta-Contractions in Calculi of Explicit Substitutions- H. C. Ferreira e M. Ayala-Rincón
  • 09:20 – On Strategies to Compact Proofs - Vaston Gonçalves da Costa e Edward Hermann Hauesler.
  • 09:40 – Tableaux para uma Lógica Modulada - Luiz Henrique da Cruz Silvestrini e Hércules de Araújo Feitosa Feitosa
  • 11:30 – On the categor y of monadic distr ibutive lattices -A. V. Figallo, I. Pascual and A. Ziliani
  • 11:50 – Monadic modal (n +1)-valued residuation Lukasiewcz algebras -Aldo V. Figallo
  • 12:10 – Las n-algebras de Moisil - Manuel M. Fidel y Aldo V. Figallo
  • 12:30 – On pure Hilbert Algebras with infimum - Aldo V. Figallo Jr.
• Sala 3
  • 09:00 – Fibred and Indexed Categories for Abstract Model Theory - Alfio Martini, Uwe Wolter, and Edward Hermann Haeusler
  • 09:20 –Using the Internal Logic of a Topos Related to the Topos of Forests to Model Search Spaces for Problems - Fernando Náufel do Amaral e Edward Hermann Haeusler
  • 09:40 – End the Discrimination:- Equal Rights for the CUT - Marcelo Finger
  • 11:30 – n ×m–valued _Lukasiewicz algebr as with negation of sets -C. Sanza
  • 11:50 – Perspectives on Algebraizing Logics - Juliana Bueno-Soler
  • 12:10 – States on Pseudo-Residuated Lattices – Lavinia Corina Ciiugu
  • 12:30 – A Refined Geometry of Logic - David Miller

Quinta-feira (27/04)

• Sala 1
  • 09:00 – Polêmicas acerca da matematização da Lógica no Brasil no início do século XX - Evandro Luis Gomes, M. A
  • 09:20 – Cálculos lógicos en Leibniz en el perídodo de las Investigaciones generales - Jorge Molina
  • 09:40 – Algebra de relativos y logicismo: la pasigrafía de Ernst Schröder - Javier Legris
  • 11:30 – Necessidade, Normatividade e Filosofia em Wittgenstein -Marcos Henrique da Silva Rosa
  • 11:50 – Considerações sobre as observações de Wittgenstein ao teorema de Gödel a partir da questão da impredicatividade - Camila Jourdan
  • 12:10 – Nomes e Descrições Definidas como Funções Parciais: um argumento em favor da valoração de sentenças contendo expressões não-designativas- Daniel Durante Pereira Alves
  • 12:30 – Um Sistema Formal Consistente para a Auto-Referência - Ricardo Pereira Tassinari
• Sala 2
  • 09:00 – Positive Omitting Types and Fragment Consistency Models -Cyrus F Nourani
  • 09:20 – Strategies for the Semi-Automatic Use of Hoare Logic -Juliana Carpes Imperial e Edward Hermann Haeusler
  • 09:40 – A Relational Theorem on the Correctness of General Recursive Programs - Jaime A. Bohórquez
  • 11:30 – Ensaio de uma semântica de valorações em lógica deôntica - Ângela Maria Paiva Cruz Anderson Souza da Silva
  • 11:50 – Lógicas modais restritas - C. A. Mortari
  • 12:10 – Espaços quase topológicos e lógicas modais associadas - Hércules de Araújo Feitosa , Mauri Cunha do Nascimento e Maria Claudia Cabrini Grácio
  • 12:30 – Construtivismo e a recusa do fosso entre estrutura matemáticas e nossa capacidade de expressão - André Porto
• Sala 3
  • 09:00 – Reflecting Compactness of a Topological Space - Lucia Junqueira
  • 09:20 – Grandes cardinais e topologia: uma breve retrospectiva e alguns resultados novos - Samuel Gomes da Silva
  • 09:40 – Symplifying Proofs in Categorical Semantics Using Downcased Types – Eduardo N Ochs
  • 11:30 – Extension of Elementary Submodels by Forcing - Marcelo Dias Passos
  • 11:50 – Higher Order Unification: A structural relation between Huet’s method and the one based on explicit Substitutions - F. L. C. de Moura, M. Ayala-Rincón and F. Kamareddine
  • 12:10 –Third-Order Matching via Explicit Substitutions - F. L. C. de Moura, M. Ayala-Rincón and F. Kamareddine
  • 12:30 – From Hilbert Program to the P =? NP Problem - Claus Akira H. Matsushigue

Sexta-feira (28/04)

• Sala 1
  • 09:00 – Lógica Y Mentalismo - Susana Gómez Gutiérrez
  • 09:20 – Lógica Moderna e Ciências Cognitivas: uma controversa contribuição da Lógica ao desenvolvimento das Ciências da Mente. Monalisa Maria Lauro; Carolina Blasio da Silva
  • 09:40 – Dificultades en torno al modelado de actitudes escépticas en los sistemas de razonamiento no-monótono - Gustavo A. Bodanza
  • 10:15 – Dedução Natural = Cálculo de Seqüentes ? - Wagner de Campos Sanz
  • 10:35 – Natural Deduction for "Generally": proof strategies and normalization by-Sheila R. M. Veloso, Paulo A. S. Veloso and Leonarda B. Vana
  • 11:55 – End the Discrimination:- Equal Rights for the CUT - Marcelo Finger
• Sala 2
  • 09:00 – Sistemas de dedução natural para as hierarquias de lógicas paraconsistentes Cn e Cn* de da Costa - Milton Augustinis de Castro e Itala M. Loffredo D’Ottaviano
  • 09:20 – Lógicas Intuicionistas Duais e Paraconsistência - Giovanni da Silva de Queiroz
  • 09:40 – On da Costa’s paraconsistent differential calculus- Itala M. Loffredo D’Ottaviano e Tadeu Fernandes de Carvalho
  • 10:15 – Expressing quantifiers of a monadic Heyting algebra by composition of relations, in terms of structural data - Marcel Guillaume
  • 10:35 – On the Syntactical Characterization of the relative Intuitionistic Validity - Geiza M. H. da Silva e Edward H. Haeusler
  • 11:55 – On games and the polynomial-space completeness of intuitionistic propositional logic - Edward H. Haeusler e Marcelo da S. Corrêa

  • 12:15 – An introductory study about the many-valued Hierarchy InPk – Víctor L. Fernández

• Sala 3
  • 09:00 – Product of Graphs and Hybrid Logic -Mario R. F. Benevides and Ricardo F. Ribeiro
  • 09:20 – Graph Relational Calculus -Renata P. de Freitas Paulo A.S. Veloso Sheila R.M. Veloso Petrucio Viana
  • 09:40 –
  • 10:15 – Polynomial Formulations of Non-Deterministic Semantics for Logics of Formal Inconsistency - Marcelo E. Coniglio
  • 10:45 – On the Truth Value of Complex Hypotheses- Wagner Borges e Julio Michael Stern
  • 11:15 – On the category of algebraizable logics - P. Arndt, R. A. Freire, O. O. Luciano, H. L. Mariano