A Paraconsistent Linear-time Temporal Logic

DOI10.3233/FI-2011-374zbMath1228.03012OpenAlexW1948104915MaRDI QIDQ3084992

Norihiro Kamide, Heinrich Wansing

Publication date: 28 March 2011

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2011-374

zbMATH Keywords

embeddingcut eliminationsequent calculusparaconsistent negationparaconsistent logicdisplay calculuslinear-time temporal logic

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Temporal logic (03B44) Paraconsistent logics (03B53) Combined logics (03B62)

Related Items (3)

Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic ⋮ Synchronized linear-time temporal logic ⋮ Proof theory of Nelson's paraconsistent logic: a uniform perspective

This page was built for publication: A Paraconsistent Linear-time Temporal Logic