scientific article; zbMATH DE number 1501628

zbMATH Open0963.68061MaRDI QIDQ4500375FDOQ4500375

Authors: Wendy MacCaull 

Publication date: 11 January 2001

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 4061209
• Relational proof system for relevant logics
• scientific article; zbMATH DE number 1827079
• scientific article; zbMATH DE number 970626
• scientific article; zbMATH DE number 1735911
• A Proof Procedure for Data Dependencies
• A top-down proof procedure for generalized data dependencies
• Relational proof system for linear and other substructural logics
• Relational semantics and a relational proof system for full Lambek calculus
• Correspondence results for relational proof systems with application to the Lambek calculus

zbMATH Keywords

indiscernibility relationproof system for database dependencies

Mathematics Subject Classification ID

Database theory (68P15) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Cited In (9)

• Title not available (Why is that?)
• A reasoning system for satisfiability of diagrammatic specifications
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication:

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