Logical operators for ontological modeling

In Pawel Garbacz & Oliver Kutz (eds.), Formal Ontology in Information Systems - Proceedings of the Eighth International Conference, {FOIS} 2014, September, 22-25, 2014, Rio de Janeiro, Brazil}. pp. 23--36 (2014)
  Copy   BIBTEX


We show that logic has more to offer to ontologists than standard first order and modal operators. We first describe some operators of linear logic which we believe are particularly suitable for ontological modeling, and suggest how to interpret them within an ontological framework. After showing how they can coexist with those of classical logic, we analyze three notions of artifact from the literature to conclude that these linear operators allow for reducing the ontological commitment needed for their formalization, and even simplify their logical formulation.



External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Logic for Alethic, Logical, and Ontological Pluralists.Andy Yu - 2018 - In Jeremy Wyatt, Nikolaj J. L. L. Pedersen & Nathan Kellen (eds.), Pluralisms in Truth and Logic. London, UK: pp. 407-427.
Linearity and negation.Kenji Tokuo - 2012 - Journal of Applied Non-Classical Logics 22 (1-2):43-51.
Current Trends in Substructural Logics.Katalin Bimbó - 2015 - Journal of Philosophical Logic 44 (6):609-624.
Kripke semantics for modal substructural logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.
Modal translations in substructural logics.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (3):283 - 336.
Subintuitionistic Logics.Greg Restall - 1994 - Notre Dame Journal of Formal Logic 35 (1):116-129.
Logics for modelling collective attitudes.Daniele Porello - 2018 - Fundamenta Informaticae 158 (1-3):239-27.


Added to PP

117 (#108,330)

6 months
16 (#64,326)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Daniele Porello
Università degli Studi di Genova

Citations of this work

Non-normal modalities in variants of linear logic.D. Porello & N. Troquard - 2015 - Journal of Applied Non-Classical Logics 25 (3):229-255.

Add more citations

References found in this work

No references found.

Add more references