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

hypersequentdisplay calculusnotational variant

Mathematics Subject Classification ID

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) Classical first-order logic (03B10)

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

(11)

• LINEAR TIME IN HYPERSEQUENT FRAMEWORK
• A non-distributive logic for semiconcepts and its modal extension with semantics based on Kripke contexts
• Display calculi and other modal calculi: a comparison
• A generalized proof-theoretic approach to logical argumentation based on hypersequents
• Embedding formalisms: hypersequents and two-level systems of rules
• BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS
• Hypersequent and display calculi -- a unified perspective
• Power and limits of structural display rules
• Compositional meaning in logic
• scientific article; zbMATH DE number 6987093 (Why is no real title available?)
• Disentangling structural connectives or life without display property

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)