Classical proofs via basic logic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1414, Issue , 1998, Pages 203-219

  Faggian, Claudia ^a  

^a UNIVERSITY OF PADOVA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; DIFFERENTIATION (CALCULUS); RECONFIGURABLE HARDWARE;

CLASSICAL LOGIC; CUT ELIMINATION; CUT-ELIMINATION PROCEDURE; PROOF SEARCH; PROOFS-AS-PROGRAMS; SEQUENT CALCULUS; STRUCTURAL RULES; TECHNICAL TOOLS;

COMPUTER CIRCUITS;

EID: 84882893478     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0028016     Document Type: Conference Paper

References (16)

1. BATTILOTTI G., SAMBIN G. (1996), Basic logic and the cube of its extensions, in Logic in Florence '95, A. Cantini, E. Casaxi, P. Minari (eds.), Kluwer, to appear.
2. BATTILOTTI G., FAGGIAN C. (1997), Quantum logic and the cube of logics, Handbook of Philosophical Logic (new edition), D. Gabbay, F. Guenthner (eds.), Kluwer, vol. VII, ch. Quantum Logic by M. L. Dalla Chiara and R. Giuntini, to appear.
3. CUTLAND N.J., GIBBINS P.F. (1982), A regular Sequent Calculus for Quantum Logic in which A and V are dual, Logique et Analyse-Nouvelle Serie-25, 221-248.
4. DALLA CHIARA M.L., GIUNTINI R. (1989), Paraconsistent Quantum Logics, Foundations of Physics 19, 891-904.
5. DANOS V., JOINET J.-B., SCHELLINX H. (1997), A new deconstructive logic: linear logic, Journal of Symbolic Logic, to appear.
6. FAGGIAN C. (1996), Basic logic and linear negation: a new approach to orthologic, draft.
7. FAGGIAN C., SAMBIN G (1996), From Basic Logic to Quantum Logics with Cut-elimination, to appear in Proceedings of the International Quantum Structures Association (Berlino, 96). International Journal of Theoretical Physics, 12.97.
8. FAGGIAN C., SAMBIN G. (1997), Visibility and modular cut-elimination, in preparation.
9. GENTZEN G. (1935), Untersuchungen uber das logische Schliessen, Mathematis-che Zeitschrift 39, 176-210; english translation in “The collected papers of Gerhard Gentzen”, M.E. Szabo ed., North-Holland (1969), 68-131.
10. GIRARD J.-Y. (1987), Linear Logic, Theor. Computer Sci. 50, 1-102.
11. GIRARD J.-Y.(1991), A new constructive logic: classical logic, Mathematical Structures in Computer Science, 1(3), 255-296.
12. GIRARD J.-Y.(1993), On the unity of logic, Annals of Pure and Applied Logic, 59, 201-217.
13. GIRARD J.-Y., LAFONT Y., TAYLOR P. (1989), Proofs and Types, Cambridge University Press.
14. PARIGOT M. (1991), Free Deduction: an analysis of computation in classical logic, in A. Voronkov editor, Russian Conference on Logic Programming, Springer Verlag, LNAI 592, 361-380.
15. SAMBIN G. (1997), Basic logic: a structure in the space of logics, in preparation.
16. SAMBIN G., BATTILOTTI G., FAGGIAN C. (1997), Basic logic: reflection, symmetry, visibility, Journal of Symbolic Logic, to appear.