scientific article; zbMATH DE number 4085609

MaRDI QIDQ3815280zbMATH OpenFDO

Authors

Publication date 1988

zbMATH Keywords

A-decisivityBoolean equationsF-decisivity

Mathematics Subject Classification ID

Classical propositional logic (03B05)

Recommendations

• scientific article; zbMATH DE number 3885864
• Decidability by resolution for propositional modal logics
• Logics for propositional determinacy and independence
• Decision problems for propositional linear logic
• Decidable and enumerable predicate logics of provability
• scientific article; zbMATH DE number 50606
• Decidability of some classes of modal logic
• AI 2003: Advances in Artificial Intelligence
• Decidability of definability
• Decidability of logical theories and their combination

Cited in

(3)

• The decidability of syllogism
• scientific article; zbMATH DE number 3885864 (Why is no real title available?)
• scientific article; zbMATH DE number 5183795 (Why is no real title available?)

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