Passar para o conteúdo principal

Lógica

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

A simple proof assistant for first-order logic and set theory

Mathematical Logic Webinar, por Clarence Protin (Universidade Aberta).

Ler mais acerca de A simple proof assistant for first-order logic and set theory

Sets as Properties

Mathematical Logic Seminar, por Bruno Jacinto (Universidade de Lisboa).

Ler mais acerca de Sets as Properties

Páginas