scientific article; zbMATH DE number 1941930

zbMath1023.03528MaRDI QIDQ4408990

Barbara Morawska

Publication date: 5 November 2003

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

consequence operationrelevant logicmultisets of formulae

Mathematics Subject Classification ID

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

This page was built for publication: