Passar para o conteúdo principal

Lógica

Proof mining on PDE theory

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

Ler mais acerca de Proof mining on PDE theory

Why is solving the P vs NP problem so damn hard?

Mathematical Logic Seminar, por Bruno Loff (Universidade do Porto).

Ler mais acerca de Why is solving the P vs NP problem so damn hard?

The abstract type of the real numbers

Mathematical Logic Seminar, por Fernando Ferreira (Universidade de Lisboa).

Ler mais acerca de The abstract type of the real numbers

A Constructive Proof of the Univalence Axiom (Part II)

Mathematical Logic Webinar, por Clarence Protin.

Ler mais acerca de A Constructive Proof of the Univalence Axiom (Part II)

A Constructive Proof of the Univalence Axiom

Mathematical Logic Webinar, por Clarence Protin.

Ler mais acerca de A Constructive Proof of the Univalence Axiom

Exponential Ideals in exponential polynomial rings

Mathematical Logic Webinar, por Giuseppina Terzo (Universidade de Nápoles).

Ler mais acerca de Exponential Ideals in exponential polynomial rings

Disjunctive Syllogism without Ex falso

Mathematical Logic Webinar, por Luiz Carlos Pereira (PUC-Rio).

Ler mais acerca de Disjunctive Syllogism without Ex falso

Modal Functional (Dialectica) Interpretation

Mathematical Logic Webinar, por Trifon Trifonov (Sofia University).

Ler mais acerca de Modal Functional (Dialectica) Interpretation

δ is for Dialectica

Mathematical Logic Webinar, por Marie Kerjean (LIPN - Université Paris 13).

Ler mais acerca de δ is for Dialectica

Propositions-as-Types and Stateful Computation

Mathematical Logic Webinar, por Luís Caires (NOVA Laboratory for Computer Science and Informatics).

Ler mais acerca de Propositions-as-Types and Stateful Computation

Páginas