Passar para o conteúdo principal

Lógica

On logic and randomized computation

Mathematical Logic Webinar, por Melissa Antonelli (University of Bologna).

Ler mais acerca de On logic and randomized computation

Bound extraction theorems for proofs involving monotone operators

Mathematical Logic Webinar, por Nicholas Pischke (TU Darmstadt).

Ler mais acerca de Bound extraction theorems for proofs involving monotone operators

A proof theoretic analysis of Littlewood’s Tauberian theorems

Mathematical Logic Webinar, por Thomas Powell (University of Bath).

Ler mais acerca de A proof theoretic analysis of Littlewood’s Tauberian theorems

The Yoneda Reduction of Polymorphic Types

Mathematical Logic Webinar, por Luca Tranchini (University of Tubingen).

Ler mais acerca de The Yoneda Reduction of Polymorphic Types

Towards Logical Foundations for Randomized Computability

Mathematical Logic Webinar, por Paolo Pistone (Università di Bologna).

Ler mais acerca de Towards Logical Foundations for Randomized Computability

Introduction to Model Theory and its relation to Algebraic Geometry

Mathematical Logic Webinar, por Guilherme Velez (Ciências ULisboa).

Ler mais acerca de Introduction to Model Theory and its relation to Algebraic Geometry

Halpern and Mann iterative schemas

Mathematical Logic Webinar, por Pedro Pinto (Technische Universität Darmstadt).

Ler mais acerca de Halpern and Mann iterative schemas

Numeral completeness of S^1_2: Part B

Mathematical Logic Webinar, por Paulo Santos (Universidade Nova de Lisboa - CMA).

Ler mais acerca de Numeral completeness of S^1_2: Part B

Numeral completeness of S^1_2: Part A

Mathematical Logic Webinar, por Paulo Santos (Universidade Nova de Lisboa - CMA).

Ler mais acerca de Numeral completeness of S^1_2: Part A

The role of functions in Frege’s lingua characterica

Mathematical Logic Webinar, por José Mestre (Stirling/St Andrews and LanCog - CFUL).

Ler mais acerca de The role of functions in Frege’s lingua characterica

Páginas