zbMath1073.03011MaRDI QIDQ5694704
Robert K. Meyer, Koushik Pal
Publication date: 4 October 2005
zbMATH Keywords
relevant logicbasic combinator lawsgreatest truth
Mathematics Subject Classification ID
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items