Decidability of some intuitionistic predicate theories

Journal of Symbolic Logic 37 (3):579-587 (1972)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272747

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,369

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Gabbay Dov M.. Semantical investigations in Heyting's intuitionistic logic. Synthese library, vol. 148. D. Reidel Publishing Company, Dordrecht, Boston, and London, 1981, x + 287 pp. [REVIEW]Wim Veldman - 1986 - Journal of Symbolic Logic 51 (3):824-824.
Review: Dov M. Gabbay, Investigations in Modal and Tense Logics with Application to Problems in Philosophy and Linguistics. [REVIEW]Kit Fine - 1979 - Journal of Symbolic Logic 44 (4):656-657.
Review: Dov M. Gabbay, C. J. Hogger, J. A. Robinson, D. Nute, Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 3, Nonmonotonic Reasoning and Uncertain Reasoning. [REVIEW]G. Aldo Antonelli - 2000 - Bulletin of Symbolic Logic 6 (4):480-484.
Dov M. Gabbay, Fibring Logics.A. Sernadas - 2000 - Journal of Logic Language and Information 9 (4):511-513.
Fibring logics, Dov M. Gabbay.Amílcar Sernadas - 2000 - Journal of Logic, Language and Information 9 (4):511-513.
Dov M. Gabbay and John Woods.Formal Approaches To Practical - 2002 - In Dov M. Gabbay (ed.), Handbook of the logic of argument and inference: the turn towards the practical. New York: Elsevier.
Labelled deductive systems, volume 1, Dov M. Gabbay.Geert-Jan M. Kruijff - 1998 - Journal of Logic, Language and Information 7 (4):502-506.
John Woods, Ralph H. Johnson, Dov M. Gabbay.Hans Jurgen Ohlbach - 2002 - In Dov M. Gabbay (ed.), Handbook of the logic of argument and inference: the turn towards the practical. New York: Elsevier.

Analytics

Added to PP
2009-01-28

Downloads
63 (#339,481)

6 months
22 (#137,899)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Dov Gabbay
Hebrew University of Jerusalem

Citations of this work

Decidability results in non-classical logics.Dov M. Gabbay - 1975 - Annals of Mathematical Logic 8 (3):237-295.

Add more citations

References found in this work

Semantical Analysis of Intuitionistic Logic I.Saul A. Kripke - 1963 - In Michael Dummett & J. N. Crossley (eds.), Formal Systems and Recursive Functions. Amsterdam,: North Holland. pp. 92-130.
Decidability results in non-classical logics.Dov M. Gabbay - 1975 - Annals of Mathematical Logic 8 (3):237-295.
Deductive validity and reduction classes.V. A. Lifshits - 1969 - In A. O. Slisenko (ed.), Studies in constructive mathematics and mathematical logic. New York,: Consultants Bureau. pp. 26--28.

Add more references