A topological duality for the F-chains associated with the logic Cω

Title:

A topological duality for the F-chains associated with the logic Cω

Creator:

Quiroga, Verónica and Fernández, Víctor

Identifier:

https://cdk.lib.cas.cz/client/handle/uuid:5a390928-da94-4de6-b5a1-6a74c672bd66
uuid:5a390928-da94-4de6-b5a1-6a74c672bd66
doi:10.21136/MB.2016.0079-14

Subject:

paraconsistent logic, algebraic logic, and dualities for ordered structures

Type:

model:article and TEXT

Format:

bez média and svazek

Description:

In this paper we present a topological duality for a certain subclass of the Fω-structures defined by M. M. Fidel, which conform to a non-standard semantics for the paraconsistent N. C. A. da Costa logic Cω. Actually, the duality introduced here is focused on Fω-structures whose supports are chains. For our purposes, we characterize every Fω-chain by means of a new structure that we will call down-covered chain (DCC) here. This characterization will allow us to prove the dual equivalence between the category of Fω-chains and a new category, whose objects are certain special topological spaces (together with a distinguished family of open sets) and whose morphisms are particular continuous functions.

Language:

English

Rights:

http://creativecommons.org/publicdomain/mark/1.0/
policy:public

Coverage:

225-241

Source:

Mathematica bohemica | 2017 Volume:142 | Number:3

Harvested from:

CDK

Metadata only:

false