Switch to: Citations

Add references

You must login to add references.
  1. A Proximity Approach to Some Region-Based Theories of Space.Dimiter Vakarelov, Georgi Dimov, Ivo Düntsch & Brandon Bennett - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):527-559.
    This paper is a continuation of [VAK 01]. The notion of local connection algebra, based on the primitive notions of connection and boundedness, is introduced. It is slightly different but equivalent to Roeper's notion of region-based topology [ROE 97]. The similarity between the local proximity spaces of Leader [LEA 67] and local connection algebras is emphasized. Machinery, analogous to that introduced by Efremovi?c [EFR 51],[EFR 52], Smirnov [SMI 52] and Leader [LEA 67] for proximity and local proximity spaces, is developed. (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Apartness spaces as a framework for constructive topology.Douglas Bridges & Luminia Vî - 2003 - Annals of Pure and Applied Logic 119 (1-3):61-83.
    An axiomatic development of the theory of apartness and nearness of a point and a set is introduced as a framework for constructive topology. Various notions of continuity of mappings between apartness spaces are compared; the constructive independence of one of the axioms from the others is demonstrated; and the product apartness structure is defined and analysed.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Distributive Lattices.Raymond Balbes & Philip Dwinger - 1977 - Journal of Symbolic Logic 42 (4):587-588.
    Download  
     
    Export citation  
     
    Bookmark   163 citations  
  • Apartness spaces as a framework for constructive topology.Douglas Bridges & Luminiţa Vîţă - 2003 - Annals of Pure and Applied Logic 119 (1-3):61-83.
    An axiomatic development of the theory of apartness and nearness of a point and a set is introduced as a framework for constructive topology. Various notions of continuity of mappings between apartness spaces are compared; the constructive independence of one of the axioms from the others is demonstrated; and the product apartness structure is defined and analysed.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Quasi-apartness and neighbourhood spaces.Hajime Ishihara, Ray Mines, Peter Schuster & Luminiţa Vîţă - 2006 - Annals of Pure and Applied Logic 141 (1):296-306.
    We extend the concept of apartness spaces to the concept of quasi-apartness spaces. We show that there is an adjunction between the category of quasi-apartness spaces and the category of neighbourhood spaces, which indicates that quasi-apartness is a more natural concept than apartness. We also show that there is an adjoint equivalence between the category of apartness spaces and the category of Grayson’s separated spaces.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Incomplete Information: Structure, Inference, Complexity.Stéphane P. Demri & Ewa S. Orłowska - 2006 - Studia Logica 84 (3):469-475.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Duality via Truth: Semantic frameworks for lattice-based logics.Ewa Orlowska & Ingrid Rewitzky - 2005 - Logic Journal of the IGPL 13 (4):467-490.
    A method of defining semantics of logics based on not necessarily distributive lattices is presented. The key elements of the method are representation theorems for lattices and duality between classes of lattices and classes of some relational systems . We suggest a type of duality referred to as a duality via truth which leads to Kripke-style semantics and three-valued semantics in the style of Allwein-Dunn. We develop two new representation theorems for lattices which, together with the existing theorems by Urquhart (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations