A new cohomology for algebraic varieties over non-achimedean fields (part II)
Por Mário Edmundo (FCUL e CMAFcIO, Universidade de Lisboa).
Lógica
A new cohomology for algebraic varieties over non-achimedean fields
Por Mário Edmundo (FCUL e CMAFcIO, Universidade de Lisboa).
On the unification of functional interpretations
Por Bruno Dinis (FCUL e CMAFcIO, Universidade de Lisboa).
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).
Páginas
- « primeira
- ‹ anterior
- …
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- seguinte ›
- última »