Embedding the hypersequent calculus in the display calculus

DOI10.1093/LOGCOM/EXU061MaRDI QIDQ5262490zbMATH OpenOpenAlexFDO

Authors Revantha Ramanayake

Publication date 15 July 2015

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exu061

zbMATH Keywords

display calculushypersequentnotational variant

Mathematics Subject Classification ID

Classical first-order logic (03B10) Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof theory in general (including proof-theoretic semantics) (03F03) Cut-elimination and normal-form theorems (03F05)

Recommendations

• Hypersequents and Systems of Rules
• Hypersequent and display calculi -- a unified perspective
• Embedding formalisms: hypersequents and two-level systems of rules
• Translation of hypersequents into display sequents
• A formal framework for hypersequent calculi and their fibring

Cited in

(12)

• Compositional meaning in logic
• A generalized proof-theoretic approach to logical argumentation based on hypersequents
• Hypersequent and display calculi -- a unified perspective
• Disentangling structural connectives or life without display property
• A non-distributive logic for semiconcepts and its modal extension with semantics based on Kripke contexts
• Translation of hypersequents into display sequents
• Inducing syntactic cut-elimination for indexed nested sequents
• Embedding formalisms: hypersequents and two-level systems of rules
• BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS
• Power and limits of structural display rules
• LINEAR TIME IN HYPERSEQUENT FRAMEWORK
• Display calculi and other modal calculi: a comparison

This page was built for publication: Embedding the hypersequent calculus in the display calculus

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