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

Conference paper

Baskent, C. 2016. Topological semantics for da Costa paraconsistent logics Cω and C*ω. Beziau, J., Chakraborty, M. and Dutta, S. (ed.) 5th World Congress on Paraconsistency (WCP 2014). Kolkata, India 13 - 17 Feb 2014 New Delhi, India Springer. pp. 427-444 https://doi.org/10.1007/978-81-322-2719-9_19
TypeConference paper
TitleTopological semantics for da Costa paraconsistent logics Cω and C*ω
AuthorsBaskent, C.
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.

KeywordsParaconsistent logic; Topological semantics; da Costa logics
Research GroupFoundations of Computing group
Conference5th World Congress on Paraconsistency (WCP 2014)
Page range427-444
Proceedings TitleNew directions in paraconsistent logic: 5th WCP, Kolkata, India, February 2014
SeriesSpringer Proceedings in Mathematics & Statistics
EditorsBeziau, J., Chakraborty, M. and Dutta, S.
ISSN2194-1017
Electronic2194-1009
ISBN
Hardcover9788132227175
Paperback9788132238232
Electronic9788132227199
PublisherSpringer
Place of publicationNew Delhi, India
Copyright Year2015
Publication dates
Online09 Feb 2016
Print09 Feb 2016
Publication process dates
Deposited27 Jan 2020
AcceptedFeb 2016
Output statusPublished
Accepted author manuscript
File Access Level
Open
Copyright Statement

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

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

Digital Object Identifier (DOI)https://doi.org/10.1007/978-81-322-2719-9_19
Web of Science identifierWOS:000373337200019
Web address (URL) of conference proceedingshttps://doi.org/10.1007/978-81-322-2719-9
LanguageEnglish
Permalink -

https://repository.mdx.ac.uk/item/88vyw

Log in to edit

Download files

Accepted author manuscript
topo.pdf
File access level: Open

  • 126
    total views
  • 33
    total downloads
  • 3
    views this month
  • 1
    downloads this month

Export as

Related outputs

"Proofs and Refutations", non-classically and game theoretically
Baskent, C. 2025. "Proofs and Refutations", non-classically and game theoretically. in: Frigg, R., McKenzie Alexander, J., Hudetz, L., Rédei, M., Ross, L. and Worrall, J. (ed.) Proofs and Research Programmes: Lakatos at 100 Springer. pp. 69-89
Logics of spatial isolation
Başkent, C., Gilbert, D.R. and Venturi, G. 2025. Logics of spatial isolation. Journal of Logic and Computation. 35 (7). https://doi.org/10.1093/logcom/exaf046
Cloistered knowledge capture and retrieval: offline LLMs and vector search for enterprise
Hall, S.J., Smith, S., Başkent, C. and de Raffaele, C. 2025. Cloistered knowledge capture and retrieval: offline LLMs and vector search for enterprise. 5th International Conference on Smart Information Systems and Technologies. Astana, Kazakhstan 14 - 16 May 2025 IEEE. https://doi.org/10.1109/sist61657.2025.11139171
Insensitive games: game semantics for modal insensitivity
Baskent, C., Gilbert, D. and Venturi, G. 2025. Insensitive games: game semantics for modal insensitivity. Kozen, D. and de Queiroz, R. (ed.) 31st Workshop on Logic, Language, Information and Computation. Porto, Portugal 14 - 17 Jul 2025 Springer. pp. 228-242 https://doi.org/10.1007/978-3-031-99536-1_14
FACTors: a new dataset for studying the fact-checking ecosystem
Altuncu, E., Baskent, C., Bhattacherjee, S., Li, S. and Roy, D. 2025. FACTors: a new dataset for studying the fact-checking ecosystem. 48th International ACM SIGIR Conference on Research and Development in Information Retrieval. Padua, Italy 13 - 18 Jul 2025 Association for Computing Machinery (ACM). pp. 3530-3539 https://doi.org/10.1145/3726302.3730339
A taxonomy of knowledge management systems in the micro-enterprise
Hall, S.J., Smith, S., Baskent, C. and De Raffaele, C. 2024. A taxonomy of knowledge management systems in the micro-enterprise. International Journal of Operations Management. 4 (1), pp. 7-20. https://doi.org/10.18775/ijom.2757-0509.2020.41.4001
Playing games with diagrams: truth diagrams and game semantics
Baskent, C. 2024. Playing games with diagrams: truth diagrams and game semantics. Lemanski, J., Johansen, M.W., Manalo, E., Viana, P., Bhattacharjee, R. and Burns, R. (ed.) 14th International Conference on Theory and Application of Diagrams. Münster, Germany 27 Sep - 01 Oct 2024 Cham Springer. pp. 300-315 https://doi.org/10.1007/978-3-031-71291-3_24
Truth diagrams for some non-classical and modal logics
Baskent, C. 2024. Truth diagrams for some non-classical and modal logics. Journal of Applied Non-Classical Logics. 34 (4), pp. 527-560. https://doi.org/10.1080/11663081.2024.2366752
A logic of isolation
Baskent, C., Gilbert, D. and Venturi, G. 2024. A logic of isolation. Metcalfe, G., Studer, T. and de Queiroz, R. (ed.) 30th International Workshop on Logic, Language, Information, and Computation. Bern, Switzerland 10 - 13 Jun 2024 Cham Springer. pp. 36-46 https://doi.org/10.1007/978-3-031-62687-6_3
Paving the path: empowering women in STEM from university to industry
Vaka, S., Trestian, R., Baskent, C., Shayesteh, H. and Megeney, A. 2024. Paving the path: empowering women in STEM from university to industry. 2024 IEEE Global Engineering Education Conference. Kos, Greece 08 - 11 May 2024 IEEE.
Knowledge management for the micro enterprise: a taxonomy
Hall, S., Smith, S., Baskent, C. and De Raffaele, C. 2023. Knowledge management for the micro enterprise: a taxonomy. Matos, F. and Rosa, A. (ed.) 24th European Conference on Knowledge Management. Lisboa, Portugal 07 - 08 Sep 2023 Academic Conferences International (ACI). https://doi.org/10.34190/eckm.24.1.1268
An examination of counterexamples in proofs and refutations
Bagce, S. and Baskent, C. 2009. An examination of counterexamples in proofs and refutations. Philosophia Scientiae. https://doi.org/10.4000/philosophiascientiae.228
A formal approach to lakatosian heuristics
Baskent, C. 2012. A formal approach to lakatosian heuristics. Logique et Analyse. 55 (217), pp. 23-46.
Towards paraconsistent inquiry
Baskent, C. 2016. Towards paraconsistent inquiry. The Australian Journal of Logic. 13 (2), pp. 21-40. https://doi.org/10.26686/ajl.v13i2.2102
A non-classical logical approach to social software
Baskent, C. 2017. A non-classical logical approach to social software. in: Baskent, C., Moss, L. and Ramanujam, R. (ed.) Rohit Parikh on Logic, Language and Society Springer.
A game theoretical semantics for logics of nonsense
Baskent, C. 2020. A game theoretical semantics for logics of nonsense. Raskin, J. and Bresolin, D. (ed.) GandALF 2020. Brussels, Belgium [Online event] 21 - 22 Sep 2020 Open Publishing Association. pp. 66-81 https://doi.org/10.4204/EPTCS.326.5
A history based logic for dynamic preference updates
Baskent, C. and McCusker, G. 2019. A history based logic for dynamic preference updates. Journal of Logic, Language and Information. https://doi.org/10.1007/s10849-019-09307-1
A game theoretical semantics for a logic of formal inconsistency
Baskent, C. and Carrasqueira, P. 2018. A game theoretical semantics for a logic of formal inconsistency. Logic Journal of the IGPL. https://doi.org/10.1093/jigpal/jzy068
A Yabloesque paradox in epistemic game theory
Baskent, C. 2018. A Yabloesque paradox in epistemic game theory. Synthese. 195 (1), pp. 441-464. https://doi.org/10.1007/s11229-016-1231-9
Game theoretical semantics for some non-classical logics
Baskent, C. 2016. Game theoretical semantics for some non-classical logics. Journal of Applied Non-Classical Logics. 26 (3), pp. 208-239. https://doi.org/10.1080/11663081.2016.1225488
Some non-classical approaches to the Brandenburger–Keisler paradox
Baskent, C. 2015. Some non-classical approaches to the Brandenburger–Keisler paradox. Logic Journal of the IGPL. 23 (4), pp. 533-552. https://doi.org/10.1093/jigpal/jzv001
Game theoretical semantics for paraconsistent logics
Baskent, Can 2015. Game theoretical semantics for paraconsistent logics. van der Hoek, W., Holliday, W. and Wang, Wf. (ed.) LORI 2015: 5th International Workshop on Logic, Rationality and Interaction. Taipei, Taiwan 27 - 30 Oct 2015 Springer. pp. 14-26 https://doi.org/10.1007/978-3-662-48561-3_2
Some topological properties of paraconsistent models
Baskent, C. 2013. Some topological properties of paraconsistent models. Synthese. 190 (18), pp. 4023-4040. https://doi.org/10.1007/s11229-013-0246-8
On knowledge and obligation
Baskent, C., Olde Loohuis, L. and Parikh, R. 2012. On knowledge and obligation. Episteme. 9 (2), pp. 171-188. https://doi.org/10.1017/epi.2012.7
Public announcement logic in geometric frameworks
Baskent, C. 2012. Public announcement logic in geometric frameworks. Fundamenta Informaticae. 118 (3), pp. 207-223. https://doi.org/10.3233/FI-2012-710
A logic for strategy updates
Baskent, Can 2011. A logic for strategy updates. Ditmarsch, H., Lang, J. and Ju, S. (ed.) LORI 2011: 3rd International Workshop on Logic, Rationality and Interaction. Guangzhou, China 10 - 13 Oct 2011 Springer. pp. 382-383 https://doi.org/10.1007/978-3-642-24130-7_28