부산대학교 도서관

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.