scientific article; zbMATH DE number 1089458

zbMATH Open0889.03057MaRDI QIDQ4366155FDOQ4366155

Wendy MacCaull, G. W. Dueck

Publication date: 12 May 1998

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

zbMATH Keywords

substructural logicsmatrix modelsalgebraic semanticspropositional logicfinite modelsisomorphism checking

Mathematics Subject Classification ID

Other algebras related to logic (03G25) BCK-algebras, BCI-algebras (06F35)

   Recommendations

• Algorithms for finding matrix models of propositional calculi 👍 👎
• Algebras and matrices for annotated logics 👍 👎
• 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 Q4366155)