| 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 <>
Submitted on : Saturday, December 13, 2014 - 9:08:00 AM
Last modification on : Thursday, March 5, 2020 - 4:53:38 PM
Document(s) archivé(s) le : Saturday, March 14, 2015 - 10:16:01 AM
Contributor : Can Baskent <>
Submitted on : Saturday, December 13, 2014 - 9:08:00 AM
Last modification on : Thursday, March 5, 2020 - 4:53:38 PM
Document(s) archivé(s) le : Saturday, March 14, 2015 - 10:16:01 AM
File
topologicaldacosta.pdf
Files produced by the author(s)