Visser's Rules in Intuitionistic Modal Logics
Seminário de Lógica Matemática, por Raheleh Jalali (Institute of Computer Science - Czech Academy of Sciences).
CMAFcIO
Fully nonlinear dead-core systems
Lisbon Webinar in Analysis and Differential Equations, por Damião Araújo (Universidade Federal da Paraíba).
Higgsing on SU(N) Symmetric Matter and its F-theory Realization
Geometry and Physics Seminar, por Andrew P. Turner (Virginia Tech, USA).
Proof mining and asymptotic regularity
Seminário de Lógica Matemática, por Laurentiu Leustean (University of Bucharest & Institute for Logic and Data Science & Simion Stoilow Institute of Mathematics of the Romanian Academy).
Dot product problems in the fractal setting and barriers to current methods
Lisbon Webinar in Analysis and Differential Equations, por Steven Senger (Missouri State University).
Towards Canonical Proofs for Second Order Intuitionistic Logic
Seminário de Lógica Matemática, por Paolo Pistone (Université Claude Bernard Lyon 1).
Small minimal clusters in Riemannian (or Finsler) manifolds
Lisbon Webinar in Analysis and Differential Equations, por Aldo Pratelli (Università di Pisa).
Free sets and rainbows for colorings of exactly large sets
Seminário de Lógica Matemática, por Oriola Gjetaj (University of Ghent).
How constructive is Gödel's Dialectica translation?
Seminário de Lógica Matemática, por Stephen Mackereth (Dartmouth College, USA).
On the alleged failure of Frege’s original programme
Seminário de Lógica Matemática, por Fernando Ferreira (University of Lisbon).
Páginas
- « primeira
- ‹ anterior
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- …
- seguinte ›
- última »