Logic Journal of the IGPL 26 (1):109-148 (2018)
| Authors |
|
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.1093/jigpal/jzx057 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
The Relative Efficiency of Propositional Proof Systems.Stephen A. Cook & Robert A. Reckhow - 1979 - Journal of Symbolic Logic 44 (1):36-50.
On the Logic of an Interrogative Model of Scientific Inquiry.Jaakko Hintikka - 1981 - Synthese 47 (1):69 - 83.
Polynomial Size Proofs of the Propositional Pigeonhole Principle.Samuel R. Buss - 1987 - Journal of Symbolic Logic 52 (4):916-927.
The Complexity of Propositional Proofs.Nathan Segerlind - 2007 - Bulletin of Symbolic Logic 13 (4):417-481.
View all 15 references / Add more references
Citations of this work BETA
Rasiowa–Sikorski Deduction Systems with the Rule of Cut: A Case Study.Dorota Leszczyńska-Jasion, Mateusz Ignaszak & Szymon Chlebowski - 2019 - Studia Logica 107 (2):313-349.
Similar books and articles
Socratic Trees.Dorota Leszczyńska-Jasion, Mariusz Urbański & Andrzej Wiśniewski - 2013 - Studia Logica 101 (5):959-986.
Dual Erotetic Calculi and the Minimal $${\Mathsf{LFI}}$$ LFI.Dorota Leszczyńska-Jasion & Szymon Chlebowski - 2015 - Studia Logica 103 (6):1245-1278.
Dual Erotetic Calculi and the Minimal {Mathsf{LFI}}.Szymon Chlebowski & Dorota Leszczyńska-Jasion - 2015 - Studia Logica 103 (6):1245-1278.
The Method of Socratic Proofs for Modal Propositional Logics: K5, S4.2, S4.3, S4F, S4R, S4M and G.Dorota Leszczyńska-Jasion - 2008 - Studia Logica 89 (3):365-399.
The Method of Socratic Proofs for Normal Modal Propositional Logics.Dorota Leszczynska-Jasion - 2007 - Wydawn. Naukowe Uniwersytetu Im. Adama Mickiewicza.
Socratic Proofs and Paraconsistency: A Case Study.Andrzej Wiśniewski, Guido Vanackere & Dorota Leszczyńska - 2005 - Studia Logica 80 (2-3):431-466.
Proofs and Countermodels in Non-Classical Logics.Sara Negri - 2014 - Logica Universalis 8 (1):25-60.
A Nonstandard Counterpart of WWKL.Stephen G. Simpson & Keita Yokoyama - 2011 - Notre Dame Journal of Formal Logic 52 (3):229-243.
A Loop-Free Decision Procedure for Modal Propositional Logics K4, S4 and S.Dorota Leszczyńska-Jasion - 2009 - Journal of Philosophical Logic 38 (2):151 - 177.
A Note on da Costa-Doria “Exotic Formalizations”.L. Gordeev - 2010 - Archive for Mathematical Logic 49 (7-8):813-821.
Analytics
Added to PP index
2017-11-20
Total views
28 ( #377,726 of 2,425,720 )
Recent downloads (6 months)
3 ( #247,402 of 2,425,720 )
2017-11-20
Total views
28 ( #377,726 of 2,425,720 )
Recent downloads (6 months)
3 ( #247,402 of 2,425,720 )
How can I increase my downloads?
Downloads
