Logic and fixed-domain reasoning: volume 1: an empirico-pragmatist model theory and proof theory
Auteur :
Taylor, Ralph Gregory
Éditeur :
Springer International Publishing AG
ISBN :
9783031981883
Date de publication :
22 juin 2026
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
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.