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

Quantificational logic

โœ Scribed by Paul C. Gilmore


Book ID
114036285
Publisher
Elsevier Science
Year
1960
Weight
453 KB
Volume
3
Category
Article
ISSN
0019-9958

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


A Completeness Result for Quantification
โœ 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