𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On Some Subsystems of Dummett's LC

✍ Scribed by Branislav R. Boričić

Publisher
John Wiley and Sons
Year
1985
Tongue
English
Weight
227 KB
Volume
31
Category
Article
ISSN
0044-3050

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