Passar para o conteúdo principal

Lógica

Continuous characterizations of computational complexity classes with ordinary differential equations

Mathematical Logic Webinar, por Daniel Graça (University of Algarve).

Ler mais acerca de Continuous characterizations of computational complexity classes with ordinary differential equations

Proof mining in optimization and nonlinear analysis

Mathematical Logic Seminar, por Laurentiu Leustean (University of Bucharest & Institute for Logic and Data Science & IMAR).

Ler mais acerca de Proof mining in optimization and nonlinear analysis

Topological fields with a generic derivation

Mathematical Logic Webinar, por Pablo Cubides Kovacsics (Universidad de los Andes).

Ler mais acerca de Topological fields with a generic derivation

The Calculus of Natural Calculation - An Introduction

Mathematical Logic Seminar, por René Gazzari (CMAT - Universidade do Minho).

Ler mais acerca de The Calculus of Natural Calculation - An Introduction

Simplicity of Proofs and Combinatory Logic

Mathematical Logic Seminar, por Isabel Oitavem (Universidade Nova de Lisboa).

Ler mais acerca de Simplicity of Proofs and Combinatory Logic

The Logical Necessity of Mathematics

Reasoning Seminar, por Chris Scambler (Oxford University).

Ler mais acerca de The Logical Necessity of Mathematics

From axioms to synthetic inference rules via focusing

Mathematical Logic Seminar, por Elaine Pimentel (University College London).

Ler mais acerca de From axioms to synthetic inference rules via focusing

What if worlds could vary?

Mathematical Logic Seminar, por Bruno Dinis (Universidade de Évora).

Ler mais acerca de What if worlds could vary?

Proof mining for the dual of a Banach space and extensions

Mathematical Logic Webinar, por Nicholas Pischke (Technical University of Darmstadt).

Ler mais acerca de Proof mining for the dual of a Banach space and extensions

Functional interpretations over finite types with star types

Mathematical Logic Seminar, por Paulo Firmino (University of Lisbon).

Ler mais acerca de Functional interpretations over finite types with star types

Páginas