From: "Thiemann, René" <Rene.Thiemann@uibk.ac.at>
I’d like to announce a new AFP entry by David Fuenmayor.
Topological semantics for paraconsistent and paracomplete logics
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.
See https://www.isa-afp.org/entries/Topological_Semantics.html for more details.
Enjoy and have a nice Xmas-time,
Last updated: Sep 25 2021 at 09:17 UTC