Review of Symbolic Logic:1-32 (forthcoming)
Abstract | This article has no associated abstract. (fix it) |
Keywords | No keywords specified (fix it) |
Categories | (categorize this paper) |
DOI | 10.1017/s175502031900039x |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
No references found.
Citations of this work BETA
A Note on the Sequent Calculi.Franco Parlamento & Flavio Previale - forthcoming - Review of Symbolic Logic:1-15.
Similar books and articles
Translations From Natural Deduction to Sequent Calculus.Jan von Plato - 2003 - Mathematical Logic Quarterly 49 (5):435.
Cut Elimination for Gentzen's Sequent Calculus with Equality and Logic of Partial Terms.Franco Parlamento & Flavio Previale - 2013 - In Kamal Lodaya (ed.), Logic and its Applications. Springer. pp. 161--172.
A Cut-Free Gentzen Formulation Of The Modal Logic S5.T. Braüner - 2000 - Logic Journal of the IGPL 8 (5):629-643.
Implications-as-Rules Vs. Implications-as-Links: An Alternative Implication-Left Schema for the Sequent Calculus. [REVIEW]Peter Schroeder-Heister - 2011 - Journal of Philosophical Logic 40 (1):95 - 101.
Normal Derivations and Sequent Derivations.Mirjana Borisavljevi - 2008 - Journal of Philosophical Logic 37 (6):521 - 548.
Gentzen Sequent Calculi for Some Intuitionistic Modal Logics.Zhe Lin & Minghui Ma - 2019 - Logic Journal of the IGPL 27 (4):596-623.
Modal Multilattice Logic.Norihiro Kamide & Yaroslav Shramko - 2017 - Logica Universalis 11 (3):317-343.
A Modal Sequent Calculus for a Fragment of Arithmetic.G. Sambin & S. Valentini - 1980 - Studia Logica 39 (2-3):245-256.
Dual-Context Sequent Calculus and Strict Implication.Kentaro Kikuchi - 2002 - Mathematical Logic Quarterly 48 (1):87-92.
Symmetric and Dual Paraconsistent Logics.Norihiro Kamide & Heinrich Wansing - 2010 - Logic and Logical Philosophy 19 (1-2):7-30.
Synchronized Linear-Time Temporal Logic.Heinrich Wansing & Norihiro Kamide - 2011 - Studia Logica 99 (1-3):365-388.
Gentzen's Proof Systems: Byproducts in a Work of Genius.Jan von Plato - 2012 - Bulletin of Symbolic Logic 18 (3):313-367.
An Analytic Calculus for the Intuitionistic Logic of Proofs.Brian Hill & Francesca Poggiolesi - 2019 - Notre Dame Journal of Formal Logic 60 (3):353-393.
Algebraic Aspects of Cut Elimination.Francesco Belardinelli, Peter Jipsen & Hiroakira Ono - 2004 - Studia Logica 77 (2):209 - 240.
Analytics
Added to PP index
2019-08-14
Total views
8 ( #1,005,902 of 2,504,866 )
Recent downloads (6 months)
1 ( #417,030 of 2,504,866 )
2019-08-14
Total views
8 ( #1,005,902 of 2,504,866 )
Recent downloads (6 months)
1 ( #417,030 of 2,504,866 )
How can I increase my downloads?
Downloads