Documents Related by Co-Citation

131 Contraction-free sequent calculi for intuitionistic logic – R Dyckhoff - 1992
65 The Collected Papers of Gerhard Gentzen – G Gentzen - 1969
333 Logic Programming with Focusing Proofs in Linear Logic – Jean-marc Andreoli - 1992
178 Intuitionistic Modal Logic – Frank Wolter, Michael Zakharyaschev - 1997
1500 Reasoning about Knowledge – R Fagin, J Y Halpern, Y Moses, M Y Vardi - 2003
17 Functionality in the Basic Logic of Proofs – Sergei Artemov, Tyko Straßen - 1993
22 On explicit counterparts of modal logics – V Brezhnev - 2000
20 On Epistemic Logic with Justification – Sergei Artemov , Elena Nogina - 2005
80 On the interpretation of intuitionistic number theory – S C Kleene - 1945
201 Call-by-name, call-by-value and the λ-calculus – G Plotkin, D - 1975
58 Non-commutativity and MELL in the Calculus of Structures – Alessio Guglielmi, Lutz Straßburger - 2001
107 Display logic – N D Belnap - 1982
141 Introduction to Higher-Order Categorical Logic – J Lambek, P Scott - 1986
262 Investigations into logical deduction – G Gentzen - 1969
616 Light Linear Logic – Jean-yves Girard
225 Natural Deduction, A Proof-Theoretical Study. Almqvist and Wiskell – Dag Prawitz - 1965
96 Quantification in modal logic – J W Garson - 1977
98 Proof Theory – K Schütte - 1977
31 Labelled Deductive Systems, volume 1 – D Gabbay - 1996