| HAL-Inria | Publications, software ... of Inria's scientists |
Topological Semantics for da Costa Paraconsistent Logics Cω and C*ω
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.
Cited literature [9 references]
https://hal.inria.fr/hal-01094786
Contributor : Can Baskent Connect in order to contact the contributor
Submitted on : Saturday, December 13, 2014 - 9:08:00 AM
Last modification on : Saturday, October 16, 2021 - 11:26:06 AM
Long-term archiving on: : Saturday, March 14, 2015 - 10:16:01 AM
Contributor : Can Baskent Connect in order to contact the contributor
Submitted on : Saturday, December 13, 2014 - 9:08:00 AM
Last modification on : Saturday, October 16, 2021 - 11:26:06 AM
Long-term archiving on: : Saturday, March 14, 2015 - 10:16:01 AM
File
topologicaldacosta.pdf
Files produced by the author(s)