Semantic data modelling using linear logic

DOI10.1016/S0020-0190(96)00126-3MaRDI QIDQ1349996zbMATH OpenFDO

Authors Dong-Tsan Lee

Publication date 27 February 1997

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

zbMATH Keywords

Linear logicKnowledge representationDatabasesSpecification languagesEventsData modellingTransition constraints

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 3862494 (Why is no real title available?)
• scientific article; zbMATH DE number 4209572 (Why is no real title available?)
• scientific article; zbMATH DE number 48157 (Why is no real title available?)
• scientific article; zbMATH DE number 1324432 (Why is no real title available?)
• scientific article; zbMATH DE number 786485 (Why is no real title available?)
• Database updates and transition constraints: A formula-based approach
• Decision problems for propositional linear logic
• FROM PETRI NETS TO LINEAR LOGIC THROUGH CATEGORIES: A SURVEY
• Generating plans in linear logic. I: Actions as proofs
• Linear Logic and Exceptions
• Linear logic
• Logic and Exceptions: A Few Remarks
• Logic programming in a fragment of intuitionistic linear logic
• On specifying database updates
• The linear abstract machine

Describes a project that uses

Uses Software

• Lolli

This page was built for publication: Semantic data modelling using linear logic

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