Formal Ontologies and Coherent Spaces

, &
Journal of Applied Logic 12 (1):67-74 (2014)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1016/j.jal.2013.07.003

Links

PhilArchive



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

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

Normalizing medical ontologies using Basic Formal Ontology.Thomas Bittner & Barry Smith - 2004 - In K. Versorgung & V. Forschung (eds.), Ubiquitäre Information (Proceedings of GMDS 2004). Videel OHG. pp. 199-201.
On the T 1 axiom and other separation properties in constructive point-free and point-set topology.Peter Aczel & Giovanni Curi - 2010 - Annals of Pure and Applied Logic 161 (4):560-569.
Putting Biomedical Ontologies to Work.Barry Smith & Mathias Brochhausen - 2010 - Methods of Information in Medicine 49 (2):135-40.
Formal spaces and their effective presentations.Inger Sigstam - 1995 - Archive for Mathematical Logic 34 (4):211-246.
Building Ontologies with Basic Formal Ontology.Robert Arp, Barry Smith & Andrew D. Spear - 2015 - Cambridge, MA: MIT Press.
Why Be Disposed to Be Coherent?Niko Kolodny - 2008 - Ethics 118 (3):437-463.
Ontological categories in GOL.Barbara Heller & Heinrich Herre - 2004 - Axiomathes 14 (1-3):57-76.
Cellular spaces.Wolfgang Merzenich - 1980 - Theoretical Medicine and Bioethics 1 (1):51-65.
Coherent phase spaces. Semiclassical semantics.Sergey Slavnov - 2005 - Annals of Pure and Applied Logic 131 (1-3):177-225.
Function, role and disposition in Basic Formal Ontology.Robert Arp & Barry Smith - 2008 - Proceedings of Bio-Ontologies Workshop, Intelligent Systems for Molecular Biology (ISMB), Toronto.
Carnap, Goguen, and the hyperontologies: Logical pluralism and heterogeneous structuring in ontology design. [REVIEW]Dominik Lücke - 2010 - Logica Universalis 4 (2):255-333.
Beware of mereologists bearing gifts: prolegomena to a medical metaphysics.George Khushf - 2013 - Theoretical Medicine and Bioethics 34 (5):385-408.
Beyond concepts: Ontology as reality representation.Barry Smith - 2004 - In Achille C. Varzi & Laure Vieu (eds.), Formal Ontology in Information Systems (FOIS). pp. 1-12.
Completions, comonoids, and topological spaces.Anna Bucalo & Giuseppe Rosolini - 2006 - Annals of Pure and Applied Logic 137 (1-3):104-125.
Establishing and Harmonizing Ontologies in an Interdisciplinary Health Care and Clinical Research Environment.Barry Smith & Mathias Brochhausen - 2008 - Studies in Health, Technology and Informatics 134:219-234.

Analytics

Added to PP
2016-06-30

Downloads
9 (#1,228,347)

6 months
1 (#1,516,429)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

Linear Logic.Jean-Yves Girard - 1987 - Theoretical Computer Science 50:1–102.
Locus Solum: From the Rules of Logic to the Logic of Rules.Jean-Yves Girard - 2001 - Mathematical Structures in Computer Science 11 (3):301–506.

Add more references