Constructive Logics, Epsilon, and Iota
Reasoning Seminar, por Norbert Gratzl (Munich Center for Mathematical Philosophy, Ludwig-Maximilian University Munich).
Lógica
A Rewriting Logic Approach to Specification, Proof-search, and Meta-proofs in Sequent Systems
Mathematical Logic Seminar, por Carlos Olarte (LIPN, Université Sorbonne Paris Nord).
Continuous characterizations of computational complexity classes with ordinary differential equations
Mathematical Logic Webinar, por Daniel Graça (University of Algarve).
Proof mining in optimization and nonlinear analysis
Mathematical Logic Seminar, por Laurentiu Leustean (University of Bucharest & Institute for Logic and Data Science & IMAR).
Topological fields with a generic derivation
Mathematical Logic Webinar, por Pablo Cubides Kovacsics (Universidad de los Andes).
The Calculus of Natural Calculation - An Introduction
Mathematical Logic Seminar, por René Gazzari (CMAT - Universidade do Minho).
Simplicity of Proofs and Combinatory Logic
Mathematical Logic Seminar, por Isabel Oitavem (Universidade Nova de Lisboa).
The Logical Necessity of Mathematics
Reasoning Seminar, por Chris Scambler (Oxford University).
From axioms to synthetic inference rules via focusing
Mathematical Logic Seminar, por Elaine Pimentel (University College London).
What if worlds could vary?
Mathematical Logic Seminar, por Bruno Dinis (Universidade de Évora).
Páginas
- « primeira
- ‹ anterior
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- …
- seguinte ›
- última »