Topological semantics for da Costa paraconsistent logics Cω and C*ω
Baskent, Can ORCID: https://orcid.org/0000-0001-6229-8699
(2015)
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.
ISSN 2194-1017
[Conference or Workshop Item]
(doi:10.1007/978-81-322-2719-9_19)
|
PDF
- Final accepted version (with author's formatting)
Download (241kB) | Preview |
Abstract
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 in New Directions in Paraconsistent Logic. The final authenticated version is available online at: http://dx.doi.org/10.1007/978-81-322-2719-9_19 |
Useful Links: | |
Depositing User: | Can Baskent |
Date Deposited: | 27 Jan 2020 14:19 |
Last Modified: | 18 Nov 2022 15:23 |
URI: | https://eprints.mdx.ac.uk/id/eprint/28854 |
Actions (login required)
![]() |
View Item |
Statistics
Additional statistics are available via IRStats2.