Logic and Fixed-Domain Reasoning: Volume 1: An Empirico-Pragmatist Model Theory and Proof Theory

(Bog, Hardback, Engelsk)



Forventes på lager: 20-07-2026

Levering: Kan forudbestilles (Forventes d. 20-07-2026)

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Beskrivelse

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.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer International Publishing AG
Forfatter Ralph Gregory Taylor
Type Bog
Format Hardback
Sprog Engelsk
Udgivelsesdato 20-07-2026
Første udgivelsesår 2026
Serie Trends in Logic
Illustrationer 5 Illustrations, color; 27 Illustrations, black and white
Originalsprog Switzerland
Sideantal 369
Indbinding Hardback
Forlag Springer International Publishing AG
Sideoplysninger 369 pages, 5 Illustrations, color; 27 Illustrations, black and white
Mål 235 x 155
ISBN-13 / EAN-13 9783031981883