Bunched sequential information

DOI10.1016/j.jal.2016.02.003zbMath1436.03144MaRDI QIDQ266883

Norihiro Kamide

Publication date: 7 April 2016

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2016.02.003

zbMATH Keywords

completeness theorem; cut-elimination theorem; logic BI of bunched implications; sequential information

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03B70: Logic in computer science

03B25: Decidability of theories and sets of sentences

03F05: Cut-elimination and normal-form theorems

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