Logic and Fixed-Domain Reasoning
Volume 1: An Empirico-Pragmatist Model Theory and Proof Theory
The author develops, incrementally over the course of several chapters, related concepts of logical system over fixed domain, both classical and nonclassical, by means of pragmatism-inspired translations into paradigmatic, infinitary, quantifier-free languages having rigidly designating constants for all elements of a fixed domain.
Specificaties
| ISBN/EAN | 9783031981883 |
| Auteur | Ralph Gregory Taylor |
| Uitgever | Van Ditmar Boekenimport B.V. |
| Taal | Engels |
| Uitvoering | Gebonden in harde band |
| Pagina's | 369 |
| Lengte | |
| Breedte |