Embedded Files
18/08/2022
18/08/2022
Horário de Brasília
Horário de Brasília
13:50 - 14:00
Abertura
Abertura
Samuel Gomes da Silva & Alfredo Roque Freire
14:00 - 14:20
New and interesting theorems
New and interesting theorems
Pedro Quaresma
14:20 - 14:40
Cálculo com grafos
Cálculo com grafos
Renata de Freitas
14:40 - 15:00
Kolmogorov-Veloso Problems, Dialectica Categories and Choice Principles
Kolmogorov-Veloso Problems, Dialectica Categories and Choice Principles
Samuel Gomes da Silva
15:00 - 15:20
Modalities in worlds with different logics
Modalities in worlds with different logics
Alfredo Roque Freire
15:20 - 15:40
Coproducts and amalgamation of deductive systems by means of ordered algebras
Coproducts and amalgamation of deductive systems by means of ordered algebras
Ciro Russo
15:40 - 16:00
Horn filter pairs and Craig interpolation in propositional logics
Horn filter pairs and Craig interpolation in propositional logics
Darllan Pinto
19/08/2022
19/08/2022
14:00 - 14:15
A new decision method for da Costa’s C-systems by means of restricted non-deterministic matrix semantics
A new decision method for da Costa’s C-systems by means of restricted non-deterministic matrix semantics
Marcelo Coniglio
14:15 - 14:30
Call-by-name and call-by-value lambda-calculi as modal calculi
Call-by-name and call-by-value lambda-calculi as modal calculi
Luís Pinto
14:30 - 14:45
Substructural logics: less rules mean more expressiveness
Substructural logics: less rules mean more expressiveness
Mário Florido
14:45 - 15:00
Schema complexity in propositional-based logics
Schema complexity in propositional-based logics
Cristina Sernadas
15:00 - 15:15
Logic and algebraic varieties in non-Archimedean fields
Logic and algebraic varieties in non-Archimedean fields
Mário Jorge Edmundo
15:15 - 15:30
A logical approach to the Polynomial Hierarchy
A logical approach to the Polynomial Hierarchy
Isabel Oitavem
15:30 - 15:45
Towards the generation of graded modal logics: parametric methods and applications
Towards the generation of graded modal logics: parametric methods and applications
Alexandre Madeira
15:45 - 16:00
Algebraic and model-theoretical contributions to the theory of algebraically closed multifields
Algebraic and model-theoretical contributions to the theory of algebraically closed multifields
Hugo Mariano
16:00 - 16:10
Encerramento
Elaine Pimentel & João Marcos & Manuel Martins
Page updated
Google Sites
Report abuse