Linear Logic and Exceptions

DOI10.1093/logcom/4.6.859zbMath0819.03002OpenAlexW2010669235MaRDI QIDQ4323006

Jacqueline Vauzeilles, Christophe Fouqueré

Publication date: 13 February 1995

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/4.6.859

zbMATH Keywords

linear logicdefault logicsemantic networks with default and exception linkstaxonomic default theorytaxonomic linear theorytaxonomic networks with exceptions

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Subsystems of classical logic (including intuitionistic logic) (03B20) Other applications of logic (03B80)

Related Items (2)

Semantic data modelling using linear logic ⋮ A logical calculus for controlled monotonicity

This page was built for publication: Linear Logic and Exceptions