Passar para o conteúdo principal

Lógica

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

Completeness of the random graph

Mathematical Logic Seminar, por Ana Catarina Monteiro (University of Lisbon).

Ler mais acerca de Completeness of the random graph

Non-tightness in class theory and second-order arithmetic

Mathematical Logic Seminar, por Alfredo Freire (University of Aveiro).

Ler mais acerca de Non-tightness in class theory and second-order arithmetic

An unbounded version of Zarankiewicz's problem

Mathematical Logic Webinar, por Pantelis Eleftheriou (University of Leeds).

Ler mais acerca de An unbounded version of Zarankiewicz's problem

An escape from Vardanyan’s Theorem

Mathematical Logic Seminar, por Ana Borges (University of Barcelona).

Ler mais acerca de An escape from Vardanyan’s Theorem

On Weyl's predicative concept of set

Mathematical Logic Webinar, por Laura Crosilla (University of Oslo).

Ler mais acerca de On Weyl's predicative concept of set

Gaussian elimination for flexible systems of linear inclusions

Mathematical Logic Seminar, por Imme van Den Berg (Universidade de Évora).

Ler mais acerca de Gaussian elimination for flexible systems of linear inclusions

Pros and Cons of Generalizing Truth-Functionality

Mathematical Logic Seminar, por Sérgio Marcelino (IST - Universidade de Lisboa).

Ler mais acerca de Pros and Cons of Generalizing Truth-Functionality

Logic and Explainable AI in the Legal Domain

Mathematical Logic Seminar, por Luís Cruz-Filipe (University of Southern Denmark).

Ler mais acerca de Logic and Explainable AI in the Legal Domain

Páginas