Email Gateway (Dec 22 2020 at 13:12): 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: Jan 04 2025 at 20:18 UTC