scientific article; zbMATH DE number 1852933

zbMATH Open1005.03500MaRDI QIDQ4789463FDOQ4789463

Authors: Wiesław A. Dudek 

Publication date: 13 January 2003

Title of this publication is not available (Why is that?)

Recommendations

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

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)

Cited In (7)

• Characterizing equivalential and algebraizable logics by the Leibniz operator
• A formalisation of nominal \(\alpha\)-equivalence with A and AC function symbols
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Remarks on Dudek's E-groupoids
• Title not available (Why is that?)

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)