Passar para o conteúdo principal

Lógica

Foundational aspects of singular integrals and divergent series - Part 1

Seminário de Lógica Matemática, por Luis Pereira.

Ler mais acerca de Foundational aspects of singular integrals and divergent series - Part 1

Can computers prove theorems?

Mathematical Logic Webinar, por Luís Cruz-Filipe (Department of Mathematics and Computer Science, University of Southern Denmark).

Ler mais acerca de Can computers prove theorems?

The Ultrafilter Spectrum

Mathematical Logic Webinar, por Charles Morgan (UCL).

Ler mais acerca de The Ultrafilter Spectrum

Coinductive proof search for intuitionistic propositional logic

Mathematical Logic Webinar, por Luís Pinto (Centro de Matemática - Universidade do Minho).

Ler mais acerca de Coinductive proof search for intuitionistic propositional logic

Polarized natural deduction

Mathematical Logic Webinar, por José Espírito Santo (Centro de Matemática - Universidade do Minho).

Ler mais acerca de Polarized natural deduction

On measure quantified logics

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

Ler mais acerca de On measure quantified logics

Recursive counterexamples, reversals, and the foundational standpoint

Mathematical Logic Webinar, por Benedict Eastaugh (Munich Center for Mathematical Philosophy-LMU).

Ler mais acerca de Recursive counterexamples, reversals, and the foundational standpoint

Patterns of resemblance - between proof theory and set theory

Mathematical Logic Webinar, por Anton Freund (Technische Universität Darmstadt).

Ler mais acerca de Patterns of resemblance - between proof theory and set theory

A weak version of the Strong Exponential Closure

Mathematical Logic Webinar, por Giuseppina Terzo (Universitá degli studi di Napoli Federico II).

Ler mais acerca de A weak version of the Strong Exponential Closure

The polynomial hierarchy of functions

Mathematical Logic Webinar, por Isabel Oitavem (FCT - Universidade Nova de Lisboa).

Ler mais acerca de The polynomial hierarchy of functions

Páginas