The decision problem for some finite extensions of the intuitionistic theory of abelian groups

Studia Logica 34 (1):59-67 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf02314424

Other Versions

No versions found

Links

PhilArchive



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

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

Guido Boella Dov M. Gabbay Leendert van der Torre Serena Villata.Dov M. Gabbay - 2006 - Studia Logica 82:1-59.
On Preservation of Stability for Finite Extensions of Abelian Groups.Frieder Haug - 1994 - Mathematical Logic Quarterly 40 (1):14-26.
Dov M. Gabbay, Sergei S. Goncharov and Michael Zakharyaschev (eds.), Mathematical problems from applied logic I.Anders Søgaard - 2007 - Studia Logica 87 (2-3):363-367.
Dov Gabbay, Reactive Kripke Semantics. [REVIEW]Valentin Goranko - 2017 - Studia Logica 105 (2):431-437.
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.
Abelian‐by‐G Groups, for G Finite, from the Model Theoretic Point of View.Annalisa Marcja & Carlo Toffalori - 1994 - Mathematical Logic Quarterly 40 (1):125-131.
On the elementarity of some classes of Abelian-by-infinite groups.Annalisa Marcja & Carlo Toffalori - 1999 - Studia Logica 62 (2):201-213.
Axiomatization of abelian-by- G groups for a finite group G.Francis Oger - 2001 - Archive for Mathematical Logic 40 (7):515-521.
Dov M. Gabbay, Fibring Logics.A. 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.

Analytics

Added to PP
2009-01-28

Downloads
49 (#446,201)

6 months
6 (#851,951)

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

Decidability of some intuitionistic predicate theories.Dov M. Gabbay - 1972 - Journal of Symbolic Logic 37 (3):579-587.

Add more references