scientific article; zbMATH DE number 1852933

zbMATH Open1005.03500MaRDI QIDQ4789463FDOQ4789463

Authors Wiesław A. Dudek

Publication date 13 January 2003

zbMATH Keywords

equivalential calculus

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Other algebras related to logic (03G25) BCK-algebras, BCI-algebras (06F35)

Recommendations

• scientific article; zbMATH DE number 2217114
• Publication:4889425
• scientific article; zbMATH DE number 915956
• Free equivalential algebras
• Publication:4487293

Cited in

(7)

• Characterizing equivalential and algebraizable logics by the Leibniz operator
• Remarks on Dudek's E-groupoids
• scientific article; zbMATH DE number 915947 (Why is no real title available?)
• scientific article; zbMATH DE number 3853903 (Why is no real title available?)
• A formalisation of nominal \(\alpha\)-equivalence with A and AC function symbols
• scientific article; zbMATH DE number 915956 (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 Q4789463)