𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Banaschewski’s theorem forS-posets: regular injectivity and completeness

✍ Scribed by M. M. Ebrahimi; M. Mahmoudi; H. Rasouli

Publisher
Springer
Year
2010
Tongue
English
Weight
382 KB
Volume
80
Category
Article
ISSN
0037-1912

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