๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A Completeness Result for Extending Signed Orders

โœ Scribed by Luo Yunfeng; Yue Chaoyuan; Chen Ting

Book ID
112257535
Publisher
Elsevier Science
Year
1996
Tongue
English
Weight
282 KB
Volume
69
Category
Article
ISSN
0022-0531

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

A Completeness Result for Quantification
A Completeness Result for Quantificational Tense Logic
โœ Robert P. McArthur; Hugues Leblanc ๐Ÿ“‚ Article ๐Ÿ“… 1976 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 529 KB

We establish in this paper the strong completeness of QK,, a minimal quantificational tense logic. Our result differs from those already in the literature, say [l], in two major respects. First, unlike COCCHIARELLA'S proof, which utilizea semantic tableaux, ours is run in the HENKIN fashion (with mo