Formal ontologies and coherent spaces

DOI10.1016/j.jal.2013.07.003zbMath1335.68254OpenAlexW2070655954MaRDI QIDQ280844

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

Logic in artificial intelligence (68T27) Knowledge representation (68T30) 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

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