On the unification of functional interpretations
Por Bruno Dinis (FCUL e CMAFcIO, Universidade de Lisboa).
Lógica
On the functional interpretation of functional types
Por Paulo Oliva (Queen Mary, University of London).
Generalizing Fuzzy Logic for Semantic Paradoxes (and Vagueness)
Por Hartry Field (New York University).
Modal embeddings and calling paradigms
Por José Carlos Espírito Santo (Centro de Matemática, Universidade do Minho).
Some arguments in proof mining
Por Pedro Pinto (Faculdade de Ciências, CMAFcIO, Universidade de Lisboa).
Non-deterministic semantics for non-classical logics: an approach from the perspective of model theory and universal algebra
Por Guilherme Toledo (Universidade Estadual de Campinas).
Classical and quantum degrees of truth: A new look at the effects of a Hilbert space
Por Roberto Giuntini (Università di Cagliari).
On conceptual aspects of paraconsistency as preservation of evidence
Por Abílio Rodrigues (Universidade Federal de Minas Gerais).
Decidability in logic via reduction
Por Cristina Sernadas (Instituto Superior Técnico, CMAFcIO).
Abstract: Some reduction techniques are presented for proving decidability of mathematical theories and of logic problems, along with relevant illustrations.
Type-2 computability with applications to differential equations
Por Daniel Graça (Universidade do Algarve).
Páginas
- « primeira
- ‹ anterior
- …
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- seguinte ›
- última »