Nantilus
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