𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Variants of Rescher's semantics for preference logic and some completeness theorems

✍ Scribed by Dirk Dalen

Publisher
Springer Netherlands
Year
1974
Tongue
English
Weight
865 KB
Volume
33
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Completeness theorem for dummett's LC qu
Completeness theorem for dummett's LC quantified and some of its extensions
✍ Giovanna Corsi 📂 Article 📅 1992 🏛 Springer Netherlands 🌐 English ⚖ 873 KB

Dummett's logic LC quantified, Q-LC, is shown to be characterized by the extended frame (Q+, <,D), where Q+ is the set of non-negative rational numbers, \_< is the numerical relation "less or equal then" and D is the domain function such that for all v, w E Q+, D~ r ~ and if v < w, then Do C Dw. Mor