Topological semantics for da Costa paraconsistent logics Cω and C*ω

Baskent, Can ORCID: (2016) Topological semantics for da Costa paraconsistent logics Cω and C*ω. Beziau, Jean-Yves, Chakraborty, Mihir and Dutta, Soma, eds. New directions in paraconsistent logic,Part IV. Springer Proceedings in Mathematics & Statistics (PROMS, volume 152). In: 5th World Congress on Paraconsistency (WCP 2014), 13-17 Feb 2014, Kolkata, India. ISBN 9788132227175, pbk-ISBN 9788132238232, e-ISBN 9788132227199. [Conference or Workshop Item] (doi:10.1007/978-81-322-2719-9_19)

[img] PDF - Final accepted version (with author's formatting)
Restricted to Repository staff and depositor only

Download (241kB)


In this work, we consider a well-known and well-studied system of paraconsistent logic which is due to Newton da Costa, and present a topological semantics for it.

Item Type: Conference or Workshop Item (Paper)
Additional Information: Paper published as:
Başkent C. (2015) Topological Semantics for da Costa Paraconsistent Logics Cω and C∗ω. In: Beziau JY., Chakraborty M., Dutta S. (eds) New Directions in Paraconsistent Logic. Springer Proceedings in Mathematics & Statistics, vol 152. Springer, New Delhi.
Copyright © 2015
Keywords (uncontrolled): Paraconsistent logic, topological semantics, da Costa logics
Research Areas: A. > School of Science and Technology > Computer Science > Foundations of Computing group
Item ID: 28854
Notes on copyright: This is an accepted manuscript of a paper published inNew Directions in Paraconsistent Logic. The final authenticated version is available online at:
Useful Links:
Depositing User: Can Baskent
Date Deposited: 27 Jan 2020 14:19
Last Modified: 31 Jan 2020 18:57

Actions (login required)

View Item View Item

Full text downloads (NB count will be zero if no full text documents are attached to the record)

Downloads per month over the past year