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 : Tuesday, December 18, 2018 - 4:38:01 PM
Long-term archiving on: Saturday, March 14, 2015 - 10:16:01 AM
