scientific article; zbMATH DE number 650883

MaRDI QIDQ4308674zbMATH OpenFDO

Authors Yasuo Seto, Shotaro Tanaka, Kiyoshi Iseki

Publication date 16 October 1994

zbMATH Keywords

axiom systems of equivalential calculus

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Recommendations

• scientific article; zbMATH DE number 2217114
• scientific article; zbMATH DE number 120344
• scientific article; zbMATH DE number 3176035
• \textbf{D}-complete axioms for the classical equivalential calculus
• Shortest single axioms for the equivalential calculus with CD and RCD

Cited in

(7)

• On sofic systems. II
• Vanquishing the XCB question: The methodological discovery of the last shortest single axiom for the equivalential calculus
• \textbf{D}-complete axioms for the classical equivalential calculus
• scientific article; zbMATH DE number 3972841 (Why is no real title available?)
• scientific article; zbMATH DE number 4063061 (Why is no real title available?)
• scientific article; zbMATH DE number 3176035 (Why is no real title available?)
• scientific article; zbMATH DE number 2217114 (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 Q4308674)