scientific article; zbMATH DE number 638618
From MaRDI portal
Publication:4305491
zbMath0805.03005MaRDI QIDQ4305491
Martin W. Bunder, John K. Slaney
Publication date: 29 January 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other nonclassical logic (03B60) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subsystems of classical logic (including intuitionistic logic) (03B20)
Uses Software
This page was built for publication: