Semantic data modelling using linear logic

DOI10.1016/S0020-0190(96)00126-3zbMath0998.68523MaRDI QIDQ1349996

Dong-Tsan Lee

Publication date: 27 February 1997

Published in: Information Processing Letters (Search for Journal in Brave)

zbMATH Keywords

DatabasesLinear logicKnowledge representationSpecification languagesEventsData modellingTransition constraints

Mathematics Subject Classification ID

Database theory (68P15) Knowledge representation (68T30) Metamathematics of constructive systems (03F50)

Uses Software

• Lolli

Cites Work

• Linear logic
• The linear abstract machine
• Decision problems for propositional linear logic
• Logic programming in a fragment of intuitionistic linear logic
• Generating plans in linear logic. I: Actions as proofs
• On specifying database updates
• Logic and Exceptions: A Few Remarks
• FROM PETRI NETS TO LINEAR LOGIC THROUGH CATEGORIES: A SURVEY
• Database updates and transition constraints: A formula-based approach
• Linear Logic and Exceptions
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item