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).
Lógica
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).
Towards Canonical Proofs for Second Order Intuitionistic Logic
Seminário de Lógica Matemática, por Paolo Pistone (Université Claude Bernard Lyon 1).
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).
Verifiability: an Empirical Account of Meaning
Mathematical Logic Seminar, por Paulo Guilherme Santos (ISCAL and CMAFcIO).
Dissymetrical Linear Logics
Mathematical Logic Seminar, por Jean-Baptiste Joinet (Université Jean Moulin, Lyon 3, France).
(Bounded) Model Checking Distributed Temporal Logic
Mathematical Logic Seminar, por Jaime Ramos (IST - Universidade de Lisboa).
Determinacy and Infinite Games
Mathematical Logic Seminar, por Niko Gruben (Universidade de Lisboa).
Páginas
- « primeira
- ‹ anterior
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- …
- seguinte ›
- última »