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)
Download Edit this record How to cite View on PhilPapers
Abstract
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.
PhilPapers/Archive ID
BORLOF
Revision history
Archival date: 2019-09-28
View upload history
References found in this work BETA

No references found.

Add more references

Citations of this work BETA
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

Added to PP index
2019-09-28

Total views
29 ( #46,053 of 48,952 )

Recent downloads (6 months)
17 ( #34,758 of 48,952 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.