Embedding formalisms: hypersequents and two-level systems of rules

MaRDI QIDQ4636035zbMATH OpenFDO

Authors Agata Ciabattoni, Francesco A. Genco

Publication date 23 April 2018

zbMATH Keywords

proof theoryhypersequent calculiintermediate logicssystems of rules

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Intermediate logics (03B55) Structure of proofs (03F07)

Recommendations

• Hypersequents and Systems of Rules
• Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics
• Embedding the hypersequent calculus in the display calculus
• Hypersequent and labelled calculi for intermediate logics
• Hypersequent rules with restricted contexts for propositional modal logics

Cited in

(4)

• scientific article; zbMATH DE number 2064306 (Why is no real title available?)
• Embedding the hypersequent calculus in the display calculus
• Hypersequents and Systems of Rules
• scientific article; zbMATH DE number 6863852 (Why is no real title available?)

This page was built for publication: Embedding formalisms: hypersequents and two-level systems of rules

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