Completeness theorem for dummett's LC qu
โ
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