Abstract : 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.
https://hal.inria.fr/hal-01094786
Contributor : Can Baskent <>
Submitted on : Saturday, December 13, 2014 - 9:08:00 AM Last modification on : Thursday, March 5, 2020 - 4:53:38 PM Long-term archiving on: : Saturday, March 14, 2015 - 10:16:01 AM