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...