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: [skipped] This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.