Embedding formalisms: hypersequents and two-level systems of rules

zbMATH Open1400.03071MaRDI QIDQ4636035FDOQ4636035

Authors: Agata Ciabattoni, Francesco A. Genco 

Publication date: 23 April 2018

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

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)

Cited In (4)

• Embedding the hypersequent calculus in the display calculus
• Title not available (Why is that?)
• Title not available (Why is that?)
• Hypersequents and Systems of Rules

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)