A simple algorithm for deduction

DOI10.1017/S1446181109000352MaRDI QIDQ3564631zbMATH OpenOpenAlexFDO

Authors Bill Whiten

Publication date 26 May 2010

Published in The ANZIAM Journal (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s1446181109000352

zbMATH Keywords

classical propositional logicdeduction enginemany-valued logictwo-variable logic

Mathematics Subject Classification ID

Classical propositional logic (03B05) Mechanization of proofs and logical operations (03B35) Many-valued logic (03B50) Paraconsistent logics (03B53)

Recommendations

• scientific article; zbMATH DE number 989195
• An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics
• Propositional information systems
• scientific article; zbMATH DE number 4152343
• scientific article; zbMATH DE number 4176494

Cites work

• scientific article; zbMATH DE number 783783 (Why is no real title available?)
• Mathematical Logic for Computer Science

Cited in

(3)

• A Simplified IDEA Algorithm
• Propositional information systems
• scientific article; zbMATH DE number 2227401 (Why is no real title available?)

This page was built for publication: A simple algorithm for deduction

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