Logic and Fixed-Domain Reasoning : Volume 1: An Empirico-Pragmatist Model Theory and Proof Theory (Trends in Logic)

予約

Logic and Fixed-Domain Reasoning : Volume 1: An Empirico-Pragmatist Model Theory and Proof Theory (Trends in Logic)

Taylor, Ralph Gregory

Springer International Publishing AG（2025/09発売）

ただいまウェブストアではご注文を受け付けておりません。 ⇒古書を探す

製本 Hardcover:ハードカバー版／ページ数 298 p.
言語 ENG
商品コード 9783031981883

Full Description

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.