ILIAS seminar on "Generalized topological semantics for weak negations and applications" by David Fuenmayor
Wednesday, December 9, at 14:00, David Fuenmayor (Freie Universität Berlin, Germany) will give a talk on "Generalized topological semantics for weak negations and applications".
Veranstaltungsort
OnlineBeschreibung
Wednesday, December 9, at 14:00, David Fuenmayor (Freie Universität Berlin, Germany) will give a talk on "Generalized topological semantics for weak negations and applications". The meeting will be online via WebEx, see below.
Time: Wednesday, December 9, 14:00 - 15:00
Location/Link: https://unilu.webex.com/unilu/j.php?MTID=mc266f5cfe9c2268c4c8686f80e3614a4
Meeting number: 175 106 4065
Password (if necessary): KpUwFZD3J47
Title: Generalized topological semantics for weak negations and applications
Abstract:
I introduce a sort of generalized topological semantics for paraconsistent and paracomplete (e.g. intuitionistic) logics by 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 state-of-the-art theorem provers and model finders for reasoning with non-classical logics.