Proof analysis beyond geometric theories: from rule systems to systems of rules-Reference-Cited by-同舟云学术

Proof analysis beyond geometric theories: from rule systems to systems of rules

Published:2014-06-13 Issue:2 Volume:26 Page:513-537
ISSN:0955-792X
Container-title:Journal of Logic and Computation
language:en
Short-container-title:J Logic Computation

Author:

Negri Sara

Publisher

Oxford University Press (OUP)

Subject

Logic,Hardware and Architecture,Arts and Humanities (miscellaneous),Software,Theoretical Computer Science

Link

http://academic.oup.com/logcom/article-pdf/26/2/513/7951679/exu037.pdf

Reference28 articles.

1. A FORMAL SYSTEM FOR EUCLID’S ELEMENTS

2. Avron A. The method of hypersequents in the proof theory of propositional non-classical logics. In: Hodges W. , editors. Logic: from Foundations to Applications. Oxford Science Publications; 1996. p. 1-32.

3. Blackburn P. de Rijke Venema Y. Modal Logic. Cambridge University Press; 2001.

4. Ciabattoni A. Galatos N. Terui K. Proceedings Logic in Computer Science. IEEE Computer Society; 2008. From axioms to analytic rules in nonclassical logics; p. 229-240.

5. Proof analysis in intermediate logics

Cited by 20 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Some Analytic Systems of Rules;Lecture Notes in Computer Science;2023

2. Towards formal Baer criteria;Confluentes Mathematici;2022-11-21

3. From axioms to synthetic inference rules via focusing;Annals of Pure and Applied Logic;2022-05

4. The Jacobson Radical of a Propositional Theory;The Bulletin of Symbolic Logic;2021-12-02

5. A universal algorithm for Krull's theorem;Information and Computation;2021-05