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é" <Rene.Thiemann@uibk.ac.at>
Dear all,

I’d like to announce a new AFP entry by David Fuenmayor.

Topological semantics for paraconsistent and paracomplete logics

Abstract:

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.

[1]: http://dx.doi.org/10.1007/s11787-012-0052-y

See https://www.isa-afp.org/entries/Topological_Semantics.html for more details.

Enjoy and have a nice Xmas-time,
René


Last updated: Sep 25 2021 at 09:17 UTC