Phase semantics for linear-time formalism

DOI10.1093/JIGPAL/JZQ023zbMath1216.03034OpenAlexW2016937543MaRDI QIDQ3081245

Norihiro Kamide

Publication date: 7 March 2011

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

Full work available at URL: https://doi.org/10.1093/jigpal/jzq023

zbMATH Keywords

linear logiccompleteness theoremphase semanticscut-elimination theoremlinear-time temporal logic

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Temporal logic (03B44) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (2)

Temporal BI: proof system, semantics and translations ⋮ Temporal Gödel‐Gentzen and Girard translations

This page was built for publication: Phase semantics for linear-time formalism