CUT ELIMINATION IN HYPERSEQUENT CALCULUS FOR SOME LOGICS OF LINEAR TIME

DOI10.1017/S1755020319000352MaRDI QIDQ5216979zbMATH OpenOpenAlexWikidataFDO

Authors Andrzej Indrzejczak

Publication date 20 February 2020

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s1755020319000352

zbMATH Keywords

cut eliminationtemporal logichypersequent calculus

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Cut-elimination and normal-form theorems (03F05) Temporal logic (03B44)

Recommendations

• Cut elimination theorem for non-commutative hypersequent calculus
• LINEAR TIME IN HYPERSEQUENT FRAMEWORK
• Eliminability of cut in hypersequent calculi for some modal logics of linear frames
• Cut-free hypersequent calculus for S4.3.
• Cut-free sequent calculi for some tense logics

Cites work

• scientific article; zbMATH DE number 3572133 (Why is no real title available?)
• A constructive analysis of RM
• A hypersequent calculus with clusters for linear frames
• Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions
• Axioms vs hypersequent rules with context restrictions: theory and applications
• Cut elimination theorem for non-commutative hypersequent calculus
• Cut-free hypersequent calculus for S4.3.
• Eliminability of cut in hypersequent calculi for some modal logics of linear frames
• From Frame Properties to Hypersequent Rules in Modal Logics
• Grafting hypersequents onto nested sequents
• Hypersequent Calculi for Godel Logics -- a Survey
• Hypersequent calculi for S5: the methods of cut elimination
• Hypersequents, logical consequence and intermediate logics for concurrency
• LINEAR TIME IN HYPERSEQUENT FRAMEWORK
• Linear Nested Sequents, 2-Sequents and Hypersequents
• Proof theory for fuzzy logics

Cited in

(7)

• Free logics are cut-free
• Partial cut elimination for propositional discrete linear time temporal logic
• Cut elimination for a calculus with context-dependent rules
• Free Definite Description Theory – Sequent Calculi and Cut Elimination
• scientific article; zbMATH DE number 7471682 (Why is no real title available?)
• scientific article; zbMATH DE number 4197951 (Why is no real title available?)
• Cut-free completeness for modular hypersequent calculi for modal logics K, T, and D

This page was built for publication: CUT ELIMINATION IN HYPERSEQUENT CALCULUS FOR SOME LOGICS OF LINEAR TIME

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5216979)