Formal ontologies and coherent spaces

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

V. Michele Abrusci, Marco Romano, Christophe Fouqueré

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)

Cites Work

• Linear logic
• Locus solum: From the rules of logic to the logic of rules.
• Ontologies and Coherence Spaces

Cited In (2)

• An ontology of directional regularity implying joint regularity
• 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)