Embedding the hypersequent calculus in the display calculus

DOI10.1093/LOGCOM/EXU061zbMATH Open1348.03054OpenAlexW2155634961MaRDI QIDQ5262490FDOQ5262490

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

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

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)

Cited In (9)

• 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
• Power and Limits of Structural Display Rules
• A generalized proof-theoretic approach to logical argumentation based on hypersequents
• Hypersequent and display calculi -- a unified perspective
• Title not available (Why is that?)
• Compositional meaning in logic
• 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)