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

Fingerprint

semantics
newton
logic

Keywords

  • Da Costa logics
  • Paraconsistent logic
  • Topological semantics

Cite this

Baskent, C. (2016). Topological semantics for da costa paraconsistent logics Cω and C ω. In S. Dutta, J-Y. Beziau, & M. Chakraborty (Eds.), New Directions in Paraconsistent Logic, Part IV: 5th WCP, Kolkata, India, February 2014 (pp. 427-444). (Springer Proceedings in Mathematics & Statistics; Vol. 152). Springer. https://doi.org/10.1007/978-81-322-2719-9_19

Topological semantics for da costa paraconsistent logics Cω and C ω. / Baskent, Can.

New Directions in Paraconsistent Logic, Part IV: 5th WCP, Kolkata, India, February 2014. ed. / S. Dutta; J-Y. Beziau; M. Chakraborty. Springer, 2016. p. 427-444 (Springer Proceedings in Mathematics & Statistics; Vol. 152).

Research output: Chapter in Book/Report/Conference proceedingChapter

Baskent, C 2016, Topological semantics for da costa paraconsistent logics Cω and C ω. in S Dutta, J-Y Beziau & M Chakraborty (eds), New Directions in Paraconsistent Logic, Part IV: 5th WCP, Kolkata, India, February 2014. Springer Proceedings in Mathematics & Statistics, vol. 152, Springer, pp. 427-444, 5th World Congress on Paraconsistency, WCP 2014, Kolkata, India, 13/02/14. https://doi.org/10.1007/978-81-322-2719-9_19
Baskent C. Topological semantics for da costa paraconsistent logics Cω and C ω. In Dutta S, Beziau J-Y, Chakraborty M, editors, New Directions in Paraconsistent Logic, Part IV: 5th WCP, Kolkata, India, February 2014. Springer. 2016. p. 427-444. (Springer Proceedings in Mathematics & Statistics). https://doi.org/10.1007/978-81-322-2719-9_19
Baskent, Can. / Topological semantics for da costa paraconsistent logics Cω and C ω. New Directions in Paraconsistent Logic, Part IV: 5th WCP, Kolkata, India, February 2014. editor / S. Dutta ; J-Y. Beziau ; M. Chakraborty. Springer, 2016. pp. 427-444 (Springer Proceedings in Mathematics & Statistics).
@inbook{4ee6899114d04f928ab785b94aa61e63,
title = "Topological semantics for da costa paraconsistent logics Cω and 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.",
keywords = "Da Costa logics, Paraconsistent logic, Topological semantics",
author = "Can Baskent",
year = "2016",
month = "2",
day = "9",
doi = "10.1007/978-81-322-2719-9_19",
language = "English",
isbn = "9788132227175",
series = "Springer Proceedings in Mathematics & Statistics",
publisher = "Springer",
pages = "427--444",
editor = "S. Dutta and J-Y. Beziau and M. Chakraborty",
booktitle = "New Directions in Paraconsistent Logic, Part IV",

}

TY - CHAP

T1 - Topological semantics for da costa paraconsistent logics Cω and C∗ ω

AU - Baskent, Can

PY - 2016/2/9

Y1 - 2016/2/9

N2 - 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.

AB - 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.

KW - Da Costa logics

KW - Paraconsistent logic

KW - Topological semantics

UR - http://www.scopus.com/inward/record.url?scp=84959161863&partnerID=8YFLogxK

UR - http://dx.doi.org/10.1007/978-81-322-2719-9_19

U2 - 10.1007/978-81-322-2719-9_19

DO - 10.1007/978-81-322-2719-9_19

M3 - Chapter

SN - 9788132227175

T3 - Springer Proceedings in Mathematics & Statistics

SP - 427

EP - 444

BT - New Directions in Paraconsistent Logic, Part IV

A2 - Dutta, S.

A2 - Beziau, J-Y.

A2 - Chakraborty, M.

PB - Springer

ER -