Subtractive Logic (1999)

Cached

Download Links

by Tristan Crolard
Citations:20 - 1 self

Documents Related by Co-Citation

23 Semi-boolean algebras and their applications to intuitionistic logic with dual operators – C Rauszer - 1974
23 A formulae-as-types interpretation of subtractive logic – Tristan Crolard - 2004
15 An algebraic and Kripke-style approach to a certain extension of intuitionistic logic – C Rauszer - 1980
10 A formalization of the propositional calculus of H-B logic – C Rauszer - 1974
162 Duality of computation – Pierre-louis Curien - 2005
11 Dual intuitionistic logic revisited – Rajeev Goré - 2000
10 Applications of Kripke models to Heyting-Brouwer logic – C Rauszer - 1977
13 Towards a logic for pragmatics. assertions and conjectures – G Bellin, C Biasi
11 A Pragmatic Interpretation Of Substructural Logics – Gianluigi Bellin, Carlo, Carlo Dalla Pozza
225 Natural Deduction, A Proof-Theoretical Study. Almqvist and Wiskell – Dag Prawitz - 1965
84 Control Categories and Duality: on the Categorical Semantics of the Lambda-Mu Calculus – Peter Selinger, I Nger - 1999
131 Contraction-free sequent calculi for intuitionistic logic – R Dyckhoff - 1992
11 A pragmatic interpretation of intuitionistic propositional logic – C Pozza, C Garola - 1995
77 Eine Interpretation des intuitionistischen Aussagenkalküls – K Gödel - 1933
328 An algorithmic interpretation of classical natural deduction – M Parigot - 1992
7 Combining Derivations and Refutations for Cut-free Completeness in Bi-Intuitionistic Logic – Rajeev Goré, Linda Postniece - 2008
5 A cut-free sequent calculus for bi-intuitionistic logic: extended version – Linda Buisman, Rajeev Goré - 2007
13 Bi-Heyting algebras, Toposes and Modalities – G Reyes, H Zolfaghari - 1996
5 Chu’s Construction: A Proof-theoretic Approach – G. Bellin - 2001