An \(O(n \log n)\)-space decision procedure for the relevance logic \(B^+\)

DOI10.1023/A:1005212701420zbMath0963.03036OpenAlexW1497654352MaRDI QIDQ1595921

Luca Viganò

Publication date: 18 February 2001

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1005212701420

zbMATH Keywords

computational complexityrelevance logicssequent systemslabelled deductive systems

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Cut-elimination and normal-form theorems (03F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

This page was built for publication: An \(O(n \log n)\)-space decision procedure for the relevance logic \(B^+\)