Arithmetic with the Henkin quantifier and its generalizations

In F. Gaillard & D. Richard (eds.), Seminaire du Laboratoire Logique, Algorithmique Et Informatique Clermontois. pp. 1--25 (1991)
Abstract This article has no associated abstract. (fix it)
Keywords bibtex-import   generalized   quantifiers
Categories (categorize this paper)
Options
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Translate to english
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 29,440
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA

No references found.

Add more references

Citations of this work BETA
Partially Ordered Connectives and Monadic Monotone Strict Np.Lauri Hella, Merlijn Sevenster & Tero Tulenheimo - 2008 - Journal of Logic, Language and Information 17 (3):323-344.

Add more citations

Similar books and articles
Henkin Quantifiers.M. Krynicki & M. Mostowski - 1995 - In M. Krynicki, M. Mostowski & L. Szczerba (eds.), Quantifiers: Logics, Models and Computation. Kluwer Academic Publishers. pp. 193--263.
Ways of Branching Quantifers.Gila Sher - 1990 - Linguistics and Philosophy 13 (4):393 - 422.
Ramsey Quantifiers in Arithmetic.A. Macintyre - 1980 - In L. Pacholski, J. Wierzejewski & A. J. Wilkie (eds.), Journal of Symbolic Logic. Springer--Verlag. pp. 186--210.
Quantifiers Definable by Second Order Means.M. Mostowski - 1995 - In M. Krynicki, M. Mostowski & L. Szczerba (eds.), Quantifiers: Logics, Models and Computation. Kluwer Academic Publishers. pp. 181--214.
Quantifiers, Some Problems and Ideas.M. Krynicki & M. Mostowski - 1995 - In M. Krynicki, M. Mostowski & L. Szczerba (eds.), Quantifiers: Logics, Models and Computation. Kluwer Academic Publishers. pp. 1--21.
Ambigous Quantifiers.M. Krynicki & M. Mostowski - 1999 - In E. Orłowska (ed.), Logic at Work. Heidelberg. pp. 548--565.
Henkin Quantifiers and Complete Problems.A. Blass & Y. Gurevich - 1986 - Annals of Pure and Applied Logic 32 (1):1--16.
Added to PP index
2012-03-18

Total downloads
0

Recent downloads (6 months)
0

How can I increase my downloads?

Monthly downloads

Sorry, there are not enough data points to plot this chart.
My notes
Sign in to use this feature


Discussion
Order:
There  are no threads in this forum
Nothing in this forum yet.

Other forums