Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] New in the AFP: Topological semantics for para...

view this post on Zulip Email Gateway (Dec 22 2020 at 13:12):

From: "Thiemann, René" <>
Dear all,

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 [1])
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 for more details.

Enjoy and have a nice Xmas-time,

Last updated: Jul 15 2022 at 23:21 UTC