scientific article; zbMATH DE number 16514
From MaRDI portal
Publication:3973197
zbMATH Open0744.03063MaRDI QIDQ3973197
Publication date: 26 June 1992
Title of this publication is not available (Why is that?)
Categorical logic, topoi (03G30) Topoi (18B25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30)
Related Items (2)
A dynamic characterization of the pure logic of relevant implication ⋮ 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 Q3973197)
