scientific article; zbMATH DE number 975274

MaRDI QIDQ5283964zbMATH OpenFDO

Authors Romà J. Adillon, Ventura Verdú

Publication date 12 May 1997

zbMATH Keywords

BCK-logicGentzen systemquasivariety of BCK-algebrasquasivariety semanticssequent calculus

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Other algebras related to logic (03G25) BCK-algebras, BCI-algebras (06F35)

Recommendations

• Linearization of the BCK-logic
• scientific article; zbMATH DE number 2015401
• BCK is not structurally complete
• scientific article; zbMATH DE number 2099386
• scientific article; zbMATH DE number 4053575

Cited in

(4)

• A Gentzen-style axiomatization for basic predicate calculus
• Linearization of the BCK-logic
• scientific article; zbMATH DE number 4053575 (Why is no real title available?)
• scientific article; zbMATH DE number 2099386 (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 Q5283964)