Heyting* algebras, topological boolean algebras and P.O. systems
Copyright policy )Heyting* algebras, topological boolean algebras and P.O. systems
The background to this paper is the theory of topological Boolean algebras (TBA's) developed by R. S. Pierce. TBA's are closure algebras with a unary operation which captures algebraic properties of the Cantor-Bendixson derivation. Using the notion of Heyting algebras with a unary operation, also destined to capture algebraic properties of topological derivation, the author generalizes Pierce's duality to the category P of all partially ordered systems and morphisms of p.o. systems (as defined by Pierce) and to a category A of TBA's with some conditions.
closure algebras, topological derivation, Heyting algebras with a unary operation, Heyting algebras (lattice-theoretic aspects), partially ordered systems, topological Boolean algebras, Other algebras related to logic
closure algebras, topological derivation, Heyting algebras with a unary operation, Heyting algebras (lattice-theoretic aspects), partially ordered systems, topological Boolean algebras, Other algebras related to logic
selected citations These citations are derived from selected sources.This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).3 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Average influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Average impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Average
Citations provided by BIP!Popularity provided by BIP!