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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,247

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

Formal ontologies in manufacturing.Emilio M. Sanfilippo, Yoshinobu Kitamura & Robert I. M. Young - 2019 - Applied ontology 14 (2):119-125.
On the computational realization of formal ontologies: Formalizing an ontology of instantiation in spacetime using Isabelle/HOL as a case study.Thomas Bittner - 2019 - Applied ontology 14 (3):251-292.
Domain modelling and NLP: Formal ontologies? Lexica? Or a bit of both?Massimo Poesio - 2005 - Applied ontology 1 (1):27-33.
Marco Aurelio.David Hernández de la Fuente - 2024 - In Javier Gomá Lanzón, Carlos García Gual, Hernández de la Fuente & A. David (eds.), El estoicismo romano: Séneca, Epicteto y Marco Aurelio. Barcelona: Arpa.
Coherent phase spaces. Semiclassical semantics.Sergey Slavnov - 2005 - Annals of Pure and Applied Logic 131 (1-3):177-225.
Building Ontologies with Basic Formal Ontology.Robert Arp, Barry Smith & Andrew D. Spear - 2015 - Cambridge, MA: MIT Press.
Maximal and partial points in formal spaces.Erik Palmgren - 2006 - Annals of Pure and Applied Logic 137 (1-3):291-298.
Formal spaces and their effective presentations.Inger Sigstam - 1995 - Archive for Mathematical Logic 34 (4):211-246.
Abrusci, VM and Ruet, P., Non-commutative logic I: the multiplicative fragment (1) 29} 64 Bridges, D., Richman, F. and Schuster, P., Linear independence without choice (1) 95} 102 Creed, P. and Truss, JK, On o-amorphous sets (2} 3) 185} 226. [REVIEW]B. Herwig, H. D. Macpherson, G. Martin & A. Nurtazin - 1999 - Annals of Pure and Applied Logic 101 (1):299.
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.

Analytics

Added to PP
2016-06-30

Downloads
20 (#1,038,527)

6 months
9 (#482,469)

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