BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//linuxsoftware.nz//NONSGML Joyous v1.4//EN
BEGIN:VEVENT
SUMMARY:Logic: A Guided Tour
DTSTART:20221116T143000Z
DTEND:20221116T153000Z
DTSTAMP:20260624T185108Z
UID:a1ca4631-7e79-4c95-ac50-1e5a0896ef43
SEQUENCE:1
CREATED:20221111T145652Z
DESCRIPTION: Abstract:Consequence system.  Consequence system induced by 
 a calculus and by asemantics. Soundness and completeness. Classical and in
 tuitionistic logics.Metatheorems. 
LAST-MODIFIED:20221111T145652Z
LOCATION:Sala de Seminários do DF\,  Pavilhão de Física\, 2º piso
URL:http://df.vps.tecnico.ulisboa.pt/pt/eventos/logic-a-guided-tour/
X-ALT-DESC;FMTTYPE=text/html:<p data-block-key="yey99"> Abstract:<br/>Cons
 equence system.  Consequence system induced by a calculus and by a<br/>se
 mantics. Soundness and completeness. Classical and intuitionistic logics.<
 br/>Metatheorems. </p>
END:VEVENT
END:VCALENDAR