Decidability of Logical Theories and their Combination
Mathematical Logic Webinar, por João Rasga e Cristina Sernadas (Instituto Superior Técnico, Universidade de Lisboa e Instituto de Telecomunicações).
Lógica
A Theory of Marginal and Large Difference
Seminário de Lógica Matemática, por Bruno Jacinto (Universidade de Lisboa).
Foundational aspects of singular integrals and divergent series - Part 2
Seminário de Lógica Matemática, por Luis Pereira (Universidade de Lisboa).
Foundational aspects of singular integrals and divergent series - Part 1
Seminário de Lógica Matemática, por Luis Pereira.
Can computers prove theorems?
Mathematical Logic Webinar, por Luís Cruz-Filipe (Department of Mathematics and Computer Science, University of Southern Denmark).
The Ultrafilter Spectrum
Mathematical Logic Webinar, por Charles Morgan (UCL).
Coinductive proof search for intuitionistic propositional logic
Mathematical Logic Webinar, por Luís Pinto (Centro de Matemática - Universidade do Minho).
Polarized natural deduction
Mathematical Logic Webinar, por José Espírito Santo (Centro de Matemática - Universidade do Minho).
On measure quantified logics
Mathematical Logic Webinar, por Melissa Antonelli (University of Bologna).
Recursive counterexamples, reversals, and the foundational standpoint
Mathematical Logic Webinar, por Benedict Eastaugh (Munich Center for Mathematical Philosophy-LMU).
Páginas
- « primeira
- ‹ anterior
- …
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- …
- seguinte ›
- última »