scientific article; zbMATH DE number 1089458

zbMATH Open0889.03057MaRDI QIDQ4366155FDOQ4366155

Authors: Wendy MacCaull, G. W. Dueck 

Publication date: 12 May 1998

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

Recommendations

• Algorithms for finding matrix models of propositional calculi
• Algebras and matrices for annotated logics
• scientific article; zbMATH DE number 823603
• scientific article; zbMATH DE number 49746

zbMATH Keywords

substructural logicsmatrix modelsalgebraic semanticspropositional logicfinite modelsisomorphism checking

Mathematics Subject Classification ID

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

Cited In (1)

• 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)