Subtractive Logic (1999)

Cached

Download Links

by Tristan Crolard
Citations:13 - 1 self

Documents Related by Co-Citation

18 Semi-Boolean algebras and their applications to intuitionistic logic with dual operations – C Rauszer - 1974
7 A formalization of the propositional calculus of H-B logic – C Rauszer - 1974
15 A formulae-as-types interpretation of subtractive logic – Tristan Crolard - 2004
122 Contraction-free sequent calculi for intuitionistic logic – Roy Dyckhoff - 1992
11 An algebraic and Kripke-style approach to a certain extension of intuitionistic logic – C Rauszer - 1980
126 Duality of computation – Pierre-louis Curien - 2005
7 Dual intuitionistic logic revisited – Rajeev Goré - 2000
4 A cut-free sequent calculus for bi-intuitionistic logic: extended version – Linda Buisman, Rajeev Goré - 2007
50 Mathematical intuitionism, introduction to proof theory – A-G Dragalin - 1988
7 Applications of Kripke Models to Heyting-Brouwer Logic – C Rauszer - 1977
195 Natural Deduction. A proof Theoretical Study, Almqvist – D Prawitz - 1965
65 Eine interpretation des intuitionistischen aussagenkalküls. Ergebnisse eines Mathematischen Kolloquiums – Kurt Gödel - 1933
270 Λµ-calculus: an algorithmic interpretation of classical natural deduction – M Parigot - 1992
3 Modal interpretation of Heyting-Brouwer logic – P ̷Lukowski - 1996
5 Dual-intuitionistic logic – I Urbas - 1996
6 A remark on Gentzen’s calculus of sequents – J Czermak - 1977
5 On logics with coimplication – Frank Wolter - 1998
3 Combining Derivations and Refutations for Cut-free Completeness in Bi-Intuitionistic Logic – Rajeev Goré, Linda Postniece - 2008
29 Efficient Loop-Check for Backward Proof Search in Some Non-Classical Propositional Logics – Alain Heuerding, Michael Seyfried, Heinrich Zimmermann - 1996