A discrete duality between apartness algebras and apartness frames

DOI10.3166/JANCL.18.213-227MaRDI QIDQ3643313zbMATH OpenOpenAlexFDO

Authors Ewa Orłowska, Ivo Düntsch

Publication date 11 November 2009

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3166/jancl.18.213-227

zbMATH Keywords

apartness framesapartness spacesdiscrete dualities

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Other algebras related to logic (03G25) Proximity structures and generalizations (54E05)

Recommendations

• Apartness spaces as a framework for constructive topology
• Journey into Apartness Space
• Apartness, compactness and nearness
• Apartness, Topology, and Uniformity: a Constructive View
• Apartness and uniformity. A constructive development.

Cites work

• A proximity approach to some region-based theories of space
• Apartness spaces as a framework for constructive topology
• Boolean Algebras with Operators. Part I
• Duality via Truth: Semantic frameworks for lattice-based logics
• scientific article; zbMATH DE number 3328048 (Why is no real title available?)
• Quasi-apartness and neighbourhood spaces
• Region-based theory of discrete spaces: A proximity approach

Cited in

(5)

• Duality results for (co)residuated lattices
• Application of Urquhart’s Representation of Lattices to Some Non–classical Logics
• A Boolean extension of a frame and a representation of discontinuity
• T-rough symmetric Heyting algebras with tense operators
• Algebraic structure of the families of compatible frames of discernment

This page was built for publication: A discrete duality between apartness algebras and apartness frames

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3643313)