CUT ELIMINATION IN HYPERSEQUENT CALCULUS FOR SOME LOGICS OF LINEAR TIME

DOI10.1017/S1755020319000352OpenAlexW2968640505WikidataQ127369089 ScholiaQ127369089MaRDI QIDQ5216979FDOQ5216979

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

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

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)

Cites Work

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

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
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)