Formal ontologies and coherent spaces

DOI10.1016/J.JAL.2013.07.003zbMATH Open1335.68254OpenAlexW2070655954MaRDI QIDQ280844FDOQ280844

Authors V. Michele Abrusci, Christophe Fouqueré, Marco Romano

Publication date 10 May 2016

Published in Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jal.2013.07.003

zbMATH Keywords

linear logiccoherent spacesontologies

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• Formal semantics and ontologies
• What is a formalized ontology today? An example of IIC
• Ontologies and coherence spaces
• scientific article; zbMATH DE number 1552571
• Ontology management. II.

Cites work

• Linear logic
• Locus solum: From the rules of logic to the logic of rules.
• Ontologies and coherence spaces

Cited in

(3)

• An ontology of directional regularity implying joint regularity
• Formal semantics and ontologies
• Axiomatic formal ontology

This page was built for publication: Formal ontologies and coherent spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q280844)