BEGIN:VCALENDAR
VERSION:2.0
PRODID:https://github.com/derhansen/sf_event_mgt
METHOD:PUBLISH
BEGIN:VEVENT
UID:3959-2675@rg-trier-luxemburg.gi.de
CLASS: PUBLIC
SUMMARY:ILIAS seminar on "Generalized topological semantics for weak negati
 ons and applications" by David Fuenmayor
DESCRIPTION:Wednesday, December 9, at 14:00, David Fuenmayor (Freie Univers
 ität Berlin, Germany) will give a talk on "Generalized topological semantic
 s for weak negations and applications". The meeting will be online via WebE
 x, see below.\n\n\n\nTime: Wednesday, December 9, 14:00 - 15:00\n\nLocation
 /Link: https://unilu.webex.com/unilu/j.php?MTID=mc266f5cfe9c2268c4c8686f80e
 3614a4 Meeting number: 175 106 4065 Password (if necessary): KpUwFZD3J47\n\
 n\n\nTitle: Generalized topological semantics for weak negations and applic
 ations\n\n\n\nAbstract: \n\nI introduce a sort of generalized topological s
 emantics for paraconsistent and paracomplete (e.g. intuitionistic) logics b
 y drawing upon early works on topological Boolean algebras (cf. Kuratowski,
  Zarycki, McKinsey & Tarski).  All presented results have been obtained by 
 means of the shallow semantic embeddings (SSE) approach employing the proof
  assistant Isabelle/HOL. The aim is to explore the potentials of reusing st
 ate-of-the-art theorem provers and model finders for reasoning with non-cla
 ssical logics. 
LOCATION:Online
DTSTAMP:20201207T145247Z
DTSTART:20201208T130000Z
DTEND:20201208T140000Z
END:VEVENT
END:VCALENDAR