Topological semantics for paraconsistent and paracomplete logics

Title:	Topological semantics for paraconsistent and paracomplete logics
Author:	David Fuenmayor (davfuenmayor /at/ gmail /dot/ com)
Submission date:	2020-12-17
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) 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.
BibTeX:	@article{Topological_Semantics-AFP, author = {David Fuenmayor}, title = {Topological semantics for paraconsistent and paracomplete logics}, journal = {Archive of Formal Proofs}, month = dec, year = 2020, note = {\url{https://isa-afp.org/entries/Topological_Semantics.html}, Formal proof development}, ISSN = {2150-914x}, }
License:	BSD License
Status: [ok]	This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.