scientific article; zbMATH DE number 2209820

zbMATH Open1073.03524MaRDI QIDQ5692795

P. I. Bystrov

Publication date: 28 September 2005

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

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (2)

Körner's criterion of relevance and analytic tableaux ⋮ 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 Q5692795)