Topological semantics for da costa paraconsistent logics Cω and C ω

Can Baskent

Research output: Chapter in Book/Report/Conference proceedingChapter

1 Citation (Scopus)

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.

Original languageEnglish
Title of host publicationNew Directions in Paraconsistent Logic, Part IV
Subtitle of host publication5th WCP, Kolkata, India, February 2014
EditorsS. Dutta, J-Y. Beziau, M. Chakraborty
PublisherSpringer
Pages427-444
Number of pages18
ISBN (Print)9788132227175
DOIs
Publication statusPublished - 9 Feb 2016
Event5th World Congress on Paraconsistency, WCP 2014 - Kolkata, India
Duration: 13 Feb 201417 Feb 2014

Publication series

NameSpringer Proceedings in Mathematics & Statistics
Volume152

Conference

Conference5th World Congress on Paraconsistency, WCP 2014
CountryIndia
CityKolkata
Period13/02/1417/02/14

Keywords

  • Da Costa logics
  • Paraconsistent logic
  • Topological semantics

Fingerprint Dive into the research topics of 'Topological semantics for da costa paraconsistent logics C<sub>ω</sub> and C<sup>∗</sup> <sub>ω</sub>'. Together they form a unique fingerprint.

Cite this