Seminário
Logic: A Guided Tour
Cristina Sernadas
Quarta-feira, 16 de Novembro 2022 das 14:30 às 15:30
Este evento já terminou.
Sala de Seminários do DF, Pavilhão de Física, 2º piso
Abstract:
Consequence system. Consequence system induced by a calculus and by a
semantics. Soundness and completeness. Classical and intuitionistic logics.
Metatheorems.