1. A topological duality for the F-chains associated with the logic Cω
- Creator:
- Quiroga, Verónica and Fernández, Víctor
- Format:
- bez média and svazek
- Type:
- model:article and TEXT
- Subject:
- paraconsistent logic, algebraic logic, and dualities for ordered structures
- Language:
- English
- 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.
- Rights:
- http://creativecommons.org/publicdomain/mark/1.0/ and policy:public