- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Continuous Lattices and Domains
Studia Logica 86 (1):137-138 (2007)
Abstract
This article has no associated abstract. (fix it)Author's Profile
My notes
Similar books and articles
G. gierz, K. H. Hofmann, K. keimel, J. D. Lawson, M. W. mislove and D. S. Scott, continuous lattices and domains.Ulrich Berger - 2007 - Studia Logica 86 (1):137-138.
Rough concept lattices and domains.Yinbin Lei & Maokang Luo - 2009 - Annals of Pure and Applied Logic 159 (3):333-340.
A constructive theory of continuous domains suitable for implementation.Andrej Bauer & Iztok Kavkler - 2009 - Annals of Pure and Applied Logic 159 (3):251-267.
Continuous Lattices and Whiteheadian Theory of Space.Thomas Mormann - 1998 - Logic and Logical Philosophy 6:35 - 54.
Using Scott domains to explicate the notions of approximate and idealized data.Ronald Laymon - 1987 - Philosophy of Science 54 (2):194-221.
Infinite substructure lattices of models of Peano Arithmetic.James H. Schmerl - 2010 - Journal of Symbolic Logic 75 (4):1366-1382.
Glueing continuous functions constructively.Douglas S. Bridges & Iris Loeb - 2010 - Archive for Mathematical Logic 49 (5):603-616.
Two identities for lattices, distributive lattices and modular lattices with a constant.Saburo Tamura - 1975 - Notre Dame Journal of Formal Logic 16 (1):137-140.
Natural non-dcpo domains and f-spaces.Vladimir Sazonov - 2009 - Annals of Pure and Applied Logic 159 (3):341-355.
Some investigations of varieties of N -lattices-lattices.Andrzej Sendlewski - 1984 - Studia Logica 43 (3):257-280.
On the (semi)lattices induced by continuous reducibilities.Arno Pauly - 2010 - Mathematical Logic Quarterly 56 (5):488-502.
Representation of finite demi-p-lattices by means of posets.Hernando Gaitan - 1996 - Studia Logica 56 (1-2):97 - 110.
Remarks on an algebraic semantics for paraconsistent Nelson's logic.Manuela Busaniche & Roberto Cignoli - 2011 - Manuscrito 34 (1):99-114.
Prime Filters, Normality and Irreducibility in Lattices.Gabriela Hauser-Bordalo - 2011 - Studia Logica 98 (1-2):5-7.
Analytics
Added to PP
2015-02-06
Downloads
0
6 months
0
2015-02-06
Downloads
0
6 months
0
Historical graph of downloads
Sorry, there are not enough data points to plot this chart.
Author's Profile
Citations of this work
Tools, Objects, and Chimeras: Connes on the Role of Hyperreals in Mathematics.Vladimir Kanovei, Mikhail G. Katz & Thomas Mormann - 2013 - Foundations of Science 18 (2):259-296.
Prototypes, Poles, and Topological Tessellations of Conceptual Spaces.Thomas Mormann - 2021 - Synthese 199 (1):3675 - 3710.
Idealization in Cassirer's philosophy of mathematics.Thomas Mormann - 2008 - Philosophia Mathematica 16 (2):151 - 181.
A strict implication calculus for compact Hausdorff spaces.G. Bezhanishvili, N. Bezhanishvili, T. Santoli & Y. Venema - 2019 - Annals of Pure and Applied Logic 170 (11):102714.
Uniform interpolation and compact congruences.Samuel J. van Gool, George Metcalfe & Constantine Tsinakis - 2017 - Annals of Pure and Applied Logic 168 (10):1927-1948.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c76586df8-hc2g5 uwo