Topological Semantics for Paraconsistent and Paracomplete Logics

David Fuenmayor 📧

December 17, 2020

This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.


We introduce a generalized topological semantics for paraconsistent and paracomplete logics by drawing upon early works on topological Boolean algebras (cf. works by Kuratowski, Zarycki, McKinsey & Tarski, etc.). In particular, this work exemplarily illustrates the shallow semantical embeddings approach (SSE) employing the proof assistant Isabelle/HOL. By means of the SSE technique we can effectively harness theorem provers, model finders and 'hammers' for reasoning with quantified non-classical logics.


BSD License


Session Topological_Semantics