Topological Semantics for da Costa Paraconsistent Logics Cω and C*ω

Can Baskent

Preprints, Working Papers, ... Year :

Topological Semantics for da Costa Paraconsistent Logics Cω and C*ω

(1)

Can Baskent

Function : Author

Semantic Analysis of Natural Language

Abstract

In this work, we consider a well-known and well-studied system of para-consistent logic which is due to Newton da Costa, and present a topological semantics for it.

Keywords

Paraconsistency Da Costa logics topological semantics

Domains

Mathematics [math] Logic [math.LO]

Fichier principal

topologicaldacosta.pdf (242.34 Ko)

Origin : Files produced by the author(s)

Can Baskent : Connect in order to contact the contributor

https://hal.inria.fr/hal-01094786

Submitted on : Saturday, December 13, 2014-9:08:00 AM

Last modification on : Wednesday, February 2, 2022-4:30:56 PM

Long-term archiving on: Saturday, March 14, 2015-10:16:01 AM

Dates and versions

hal-01094786 , version 1 (13-12-2014)

Identifiers

HAL Id : hal-01094786 , version 1

Cite

Can Baskent. Topological Semantics for da Costa Paraconsistent Logics Cω and C*ω. 2014. ⟨hal-01094786⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

CNRS INRIA INSMI UNIV-LORRAINE INRIA2 LORIA LORIA-NLPKD

117 View

198 Download

Topological Semantics for da Costa Paraconsistent Logics Cω and C*ω

Abstract

Keywords

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Share