Passar para o conteúdo principal

Lógica

Conservative Translations Revisited

Mathematical Logic Seminar, por Cristina Sernadas (Instituto Superior Técnico, Universidade de Lisboa/Instituto de Telecomunicações).

Ler mais acerca de Conservative Translations Revisited

Strolling through a meadow

Mathematical Logic Seminar, por Bruno Dinis (Universidade de Évora).

Ler mais acerca de Strolling through a meadow

Lisbon Workshop on the History of Logic

This workshop brings together state of the art research on the development of logic in late XIX and early XX centuries.

Ler mais acerca de Lisbon Workshop on the History of Logic

The strange case of Dykstra’s algorithm

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

Ler mais acerca de The strange case of Dykstra’s algorithm

Constructive Logics, Epsilon, and Iota

Reasoning Seminar, por Norbert Gratzl (Munich Center for Mathematical Philosophy, Ludwig-Maximilian University Munich).

Ler mais acerca de Constructive Logics, Epsilon, and Iota

A Rewriting Logic Approach to Specification, Proof-search, and Meta-proofs in Sequent Systems

Mathematical Logic Seminar, por Carlos Olarte (LIPN, Université Sorbonne Paris Nord).

Ler mais acerca de A Rewriting Logic Approach to Specification, Proof-search, and Meta-proofs in Sequent Systems

Continuous characterizations of computational complexity classes with ordinary differential equations

Mathematical Logic Webinar, por Daniel Graça (University of Algarve).

Ler mais acerca de Continuous characterizations of computational complexity classes with ordinary differential equations

Proof mining in optimization and nonlinear analysis

Mathematical Logic Seminar, por Laurentiu Leustean (University of Bucharest & Institute for Logic and Data Science & IMAR).

Ler mais acerca de Proof mining in optimization and nonlinear analysis

Topological fields with a generic derivation

Mathematical Logic Webinar, por Pablo Cubides Kovacsics (Universidad de los Andes).

Ler mais acerca de Topological fields with a generic derivation

The Calculus of Natural Calculation - An Introduction

Mathematical Logic Seminar, por René Gazzari (CMAT - Universidade do Minho).

Ler mais acerca de The Calculus of Natural Calculation - An Introduction

Páginas