Topological Semantics for da Costa Paraconsistent Logics Cω and C*ω
Résumé
In this work, we consider a well-known and well-studied system of para-consistent logic which is due to Newton da Costa, and present a topological semantics for it.
Domaines
Logique [math.LO]
Origine : Fichiers produits par l'(les) auteur(s)
Loading...