Handbook of philosophical logic : Volume 9
Enregistré dans:
Autres auteurs : | , |
---|---|
Format : | Livre |
Langue : | anglais |
Titre complet : | Handbook of philosophical logic. Volume 9 / edited by D. M. Gabbay,... and F. Guenthner,... |
Édition : | 2nd edition |
Publié : |
Dordrecht [etc.] :
Kluwer Academic Publishers
, C 2002 |
Description matérielle : | 1 vol. (XIII-368 p.) |
Sujets : |
- P. 1
- Rewriting logic as a logical and semantic framework / N. Martí-Oliet and J. Meseguer
- P. 89
- Logical frameworks / D. Basin and S. Matthews
- P. 165
- Proof theory and meaning / Goran Stundholm
- P. 199
- Goal direction deductions / Dov M. Gabbay and Nicola Olivetti
- P. 287
- On negation, completeness and consitency / Arnon Avron
- P. 321
- Logic as general rationality: a survey / Ton Sales