Passar para o conteúdo principal

Lógica

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

A journey through 4-valued Modal and Hybrid Logics

Mathematical Logic Webinar, por Diana Costa (Universidade de Lisboa).

Ler mais acerca de A journey through 4-valued Modal and Hybrid Logics

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

Páginas