Semigroups with apartness

, &
Mathematical Logic Quarterly 59 (6):407-414 (2013)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.201200107

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Compactness notions for an apartness space.Douglas S. Bridges - 2012 - Archive for Mathematical Logic 51 (5-6):517-534.
Extending strongly continuous functions between apartness spaces.Luminiţa Simona Vîţă - 2006 - Archive for Mathematical Logic 45 (3):351-356.
A discrete duality between apartness algebras and apartness frames.Ivo Düntsch & Ewa Orlowska - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):213-227.
Sequent calculus proof theory of intuitionistic apartness and order relations.Sara Negri - 1999 - Archive for Mathematical Logic 38 (8):521-547.
Proximal and uniform convergence on apartness spaces.Luminiţa Simona Vîţă - 2003 - Mathematical Logic Quarterly 49 (3):255.
A constructive treatment of Urysohn's Lemma in an apartness space.Douglas Bridges & Hannes Diener - 2006 - Mathematical Logic Quarterly 52 (5):464-469.
Separation properties in neighbourhood and quasi-apartness spaces.Robin Havea, Hajime Ishihara & Luminiţa Vîţă - 2008 - Mathematical Logic Quarterly 54 (1):58-64.
Almost new pre-apartness from old.Douglas S. Bridges - 2012 - Annals of Pure and Applied Logic 163 (8):1009-1015.
Two subcategories of apartness spaces.Hajime Ishihara - 2012 - Annals of Pure and Applied Logic 163 (2):132-139.
Polymorphism and apartness.David Charles McCarty - 1991 - Notre Dame Journal of Formal Logic 32 (4):513-532.
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.
Product a-frames and proximity.Douglas S. Bridges - 2008 - Mathematical Logic Quarterly 54 (1):12-26.
Simplifying von Plato's axiomatization of Constructive Apartness Geometry.Dafa Li, Peifa Jia & Xinxin Li - 2000 - Annals of Pure and Applied Logic 102 (1-2):1-26.

Analytics

Added to PP
2013-12-01

Downloads
27 (#554,860)

6 months
4 (#678,769)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Intuitionism.Arend Heyting - 1956 - Amsterdam,: North-Holland Pub. Co..
Foundations of Constructive Analysis.John Myhill - 1972 - Journal of Symbolic Logic 37 (4):744-747.
Intuitionism, an Introduction.A. Heyting - 1958 - Studia Logica 7:277-278.
The Early Development of the Algebraic Theory of Semigroups.Christopher Hollings - 2009 - Archive for History of Exact Sciences 63 (5):497-536.

View all 6 references / Add more references