BCI-Algebras and Related Logics

DOI10.26686/AJL.V19I2.7567OpenAlexW4296333404MaRDI QIDQ5039833

Martin W. Bunder

Publication date: 4 October 2022

Published in: The Australasian Journal of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.26686/ajl.v19i2.7567

zbMATH Keywords

implicational logicsBCI and BCK-algebras

Mathematics Subject Classification ID

BCK-algebras, BCI-algebras (06F35) Cut-elimination and normal-form theorems (03F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Combinatory logic and lambda calculus (03B40)

This page was built for publication: BCI-Algebras and Related Logics