✦ LIBER ✦

Validity Concepts in Proof-theoretic Semantics

✍ Scribed by Peter Schroeder-Heister

Publisher: Springer Netherlands
Year: 2006
Tongue: English
Weight: 267 KB
Volume: 148
Category: Article
ISSN: 0039-7857
DOI: 10.1007/s11229-004-6296-1

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Introduction: Proof-theoretic Semantics

✍ Reinhard Kahle; Peter Schroeder-Heister 📂 Article 📅 2006 🏛 Springer Netherlands 🌐 English ⚖ 155 KB

Proof-theoretic Semantics for Classical

Proof-theoretic Semantics for Classical Mathematics

✍ William W. Tait 📂 Article 📅 2006 🏛 Springer Netherlands 🌐 English ⚖ 265 KB

Proof-Theoretic Semantics for Subsentent

Proof-Theoretic Semantics for Subsentential Phrases

✍ Nissim Francez; Roy Dyckhoff; Gilad Ben-Avi 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 293 KB

Proof-theoretic semantics for a natural

Proof-theoretic semantics for a natural language fragment

✍ Nissim Francez; Roy Dyckhoff 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 525 KB

On Reduction Rules, Meaning-as-use, and

On Reduction Rules, Meaning-as-use, and Proof-theoretic Semantics

✍ Ruy J. G. B. de Queiroz 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 306 KB

Cluster validation using graph theoretic

Cluster validation using graph theoretic concepts

✍ N.R. Pal; J. Biswas 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 848 KB

In this article we have generalized Dunn's index and the Davies-Bouldin index for cluster validation using graph structures, such as GG, RNG and MST. Unlike Dunn's index and the Davies-Bouldin index, the proposed indices are not sensitive to noisy points and are applicable to hyperspherical and stru