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

Can Baskent

doi:10.1007/978-81-322-2719-9_19

Topological semantics for da costa paraconsistent logics C_ω and C^∗ _ω

Can Baskent

Department of Computer Science

Research output: Chapter or section in a book/report/conference proceeding › Book chapter

1 Citation (SciVal)

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 language	English
Title of host publication	New Directions in Paraconsistent Logic, Part IV
Subtitle of host publication	5th WCP, Kolkata, India, February 2014
Editors	S. Dutta, J-Y. Beziau, M. Chakraborty
Publisher	Springer
Pages	427-444
Number of pages	18
ISBN (Print)	9788132227175
DOIs	https://doi.org/10.1007/978-81-322-2719-9_19
Publication status	Published - 9 Feb 2016
Event	5th World Congress on Paraconsistency, WCP 2014 - Kolkata, India Duration: 13 Feb 2014 → 17 Feb 2014

Publication series

Name	Springer Proceedings in Mathematics & Statistics
Volume	152

Conference

Conference	5th World Congress on Paraconsistency, WCP 2014
Country/Territory	India
City	Kolkata
Period	13/02/14 → 17/02/14

Keywords

Da Costa logics
Paraconsistent logic
Topological semantics

Access to Document

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

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

Cite this

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 or section in a book/report/conference proceeding › Book chapter

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

@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 = feb,

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",

note = "5th World Congress on Paraconsistency, WCP 2014 ; Conference date: 13-02-2014 Through 17-02-2014",

}

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 - https://www.scopus.com/pages/publications/84959161863

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 - Book chapter

AN - SCOPUS:84959161863

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

T2 - 5th World Congress on Paraconsistency, WCP 2014

Y2 - 13 February 2014 through 17 February 2014

ER -

Topological semantics for da costa paraconsistent logics C_ω and C^∗ _ω

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

ALPUIS

Cite this

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

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Projects

ALPUIS

Cite this

Topological semantics for da costa paraconsistent logics C_ω and C^∗ _ω