MaRDI QIDQ5100011
Andrew Tedder
Publication date: 26 August 2022
zbMATH Keywords
operational semanticsrelevant logicternary relation semanticsMares-Goldblatt semantics
Mathematics Subject Classification ID
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Other applications of logic (03B80)