Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Hypersequents and Systems of Rules

Hypersequents and Systems of Rules We define a bi-directional embedding between hypersequent calculi and a subclass of systems of rules (2-systems). In addition to showing that the two proof frameworks have the same expressive power, the embedding allows for the recovery of the benefits of locality for 2-systems, analyticity results for a large class of such systems, and a rewriting of hypersequent rules as natural deduction rules. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png ACM Transactions on Computational Logic (TOCL) Association for Computing Machinery

Hypersequents and Systems of Rules

Download PDF
27 pages

Loading next page...
 
/lp/association-for-computing-machinery/hypersequents-and-systems-of-rules-08mIs3Lqon

References

References for this paper are not available at this time. We will be adding them shortly, thank you for your patience.

Publisher
Association for Computing Machinery
Copyright
Copyright © 2018 ACM
ISSN
1529-3785
eISSN
1557-945X
DOI
10.1145/3180075
Publisher site
See Article on Publisher Site

Abstract

We define a bi-directional embedding between hypersequent calculi and a subclass of systems of rules (2-systems). In addition to showing that the two proof frameworks have the same expressive power, the embedding allows for the recovery of the benefits of locality for 2-systems, analyticity results for a large class of such systems, and a rewriting of hypersequent rules as natural deduction rules.

Journal

ACM Transactions on Computational Logic (TOCL) – Association for Computing Machinery

Published: Apr 2, 2018

Keywords: Hypersequents

References

  • Logic programming with focusing proofs in linear logic
    Andreoli, Jean-Marc
  • Gödel logic: From natural deduction to parallel computation
    Aschieri, Federico; Ciabattoni, Agata; Genco, Francesco A.
  • A constructive analysis of RM
    Avron, Arnon
  • Hypersequents, logical consequence and intermediate logics for concurrency
    Avron, Arnon
  • The method of hypersequents in the proof theory of propositional non-classical logics
    Avron, Arnon
  • A natural deduction system for intuitionistic fuzzy logic
    Baaz, Matthias; Ciabattoni, Agata; Fermüller, Christian
  • Hyper natural deduction
    Beckmann, Arnold; Preining, Norbert
  • From axioms to analytic rules in nonclassical logics
    Ciabattoni, Agata; Galatos, Nikolaos; Terui, Kazushige
  • Embedding formalisms: Hypersequents and two-level systems of rules
    Ciabattoni, Agata; Genco, Francesco A.
  • Disjunctive tautologies as synchronisation schemes
    Danos, Vincent; Krivine, Jean-Louis
  • Prefixed tableaus and nested sequents
    Fitting, Melvin
  • Untersuchungen über das logische Schließen
    Gentzen, Gerhard
  • Labelled tree sequents, tree hypersequents, and nested (deep) sequents
    Goré, Rajeev; Ramanayake, Revantha
  • The formulae-as-types notion of construction
    Howard, William A.
  • From frame properties to hypersequent rules in modal logics
    Lahav, Ori
  • Hypersequent rules with restricted contexts for propositional modal logics
    Lellmann, Björn
  • Implicational logics in natural deduction systems
    López-Escobar, Edgar G. K.
  • Proof analysis in modal logic
    Negri, Sara
  • Proof analysis beyond geometric theories: From rule systems to systems of rules
    Negri, Sara
  • Display calculi and other modal calculi: A comparison
    Poggiolesi, Francesca
  • Gentzen Calculi for Modal Propositional Logic
    Poggiolesi, Francesca
  • Ideas and results in proof theory
    Prawitz, Dag
  • Embedding the hypersequent calculus in the display calculus
    Ramanayake, Revantha
  • Inducing syntactic cut-elimination for indexed nested sequents
    Ramanayake, Revantha
  • The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony
    Schroeder-Heister, Peter
  • Translation of hypersequents into display sequents
    Wansing, Heinrich