scientific article; zbMATH DE number 4053564

MaRDI QIDQ3789523zbMATH OpenFDO

Authors Peter K. Malkin, Errol P. Martin

Publication date 1988

zbMATH Keywords

automated theorem-provinggeneral constraint satisfactionimplementation of a general matrix generate and test algorithmLogical matrices

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04) Mechanization of proofs and logical operations (03B35)

Recommendations

• Algorithms for finding matrix models of propositional calculi
• scientific article; zbMATH DE number 49746
• scientific article; zbMATH DE number 1380573
• Theory matrices (for modal logics) using alphabetical monotonicity
• scientific article; zbMATH DE number 1089458

Cited in

(2)

• Algorithms for finding matrix models of propositional calculi
• Theory matrices (for modal logics) using alphabetical monotonicity

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