Hypersequents and Systems of Rules

DOI10.1145/3180075zbMath1407.03066arXiv1805.04852OpenAlexW4299603271MaRDI QIDQ4579958

Agata Ciabattoni, Francesco A. Genco

Publication date: 10 August 2018

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1805.04852

zbMATH Keywords

natural deductionintermediate logicshypersequentsembedding between formalismssystems of rules

Mathematics Subject Classification ID

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

Related Items (2)

From axioms to synthetic inference rules via focusing ⋮ On the concurrent computational content of intermediate logics

This page was built for publication: Hypersequents and Systems of Rules