Formulas of L(aa) Where aa is not in The Scope of “¬”

Mathematical Logic Quarterly 27 (16‐17):249-254 (1981)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19810271603

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,070

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

L(aa)‐Elementary Types of Well‐Orderings.Detlef Seese & Martin Weese - 1982 - Mathematical Logic Quarterly 28 (33‐38):557-564.
Formulas ofL Where aa is not in The Scope of “¬”.Andreas Baudisch - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (16-17):249-254.
On not strengthening intuitionistic logic.N. D. Belnap, H. Leblanc & R. H. Thomason - 1963 - Notre Dame Journal of Formal Logic 4 (4):313-320.
Andreas Baudisch, A new uncountably categorical group, Transactions of the American Mathematical Society, vol. 348 , pp. 3889–3940. [REVIEW]Gregory Cherlin - 1999 - Journal of Symbolic Logic 64 (2):905-906.
Arity and alternation in second-order logic.J. A. Makowsky & Y. B. Pnueli - 1994 - Annals of Pure and Applied Logic 78 (1-3):189-202.
The necessity of modal logic S5 is metalogical.Zdzislaw Dywan - 1981 - Bulletin of the Section of Logic 10 (4):162-167.
PA( aa ).James H. Schmerl - 1995 - Notre Dame Journal of Formal Logic 36 (4):560-569.
Baudisch Andreas, Seese Detlef, Tuschik Hans-Peter, and Weese Martin. Decidability and generalized quantifiers. Mathematical research-Mathematische Forschung, vol. 3. Akademie-Verlag, Berlin 1980, XII + 235 pp. [REVIEW]John Cowles - 1982 - Journal of Symbolic Logic 47 (4):907-908.
Review: Andreas Baudisch, A New Uncountably Categorical Group. [REVIEW]Gregory Cherlin - 1999 - Journal of Symbolic Logic 64 (2):905-906.
Review: Andreas Baudisch, Detlef Seese, Hans-Peter Tuschik, Martin Weese, Decidability and Generalized Quantifiers. [REVIEW]John Cowles - 1982 - Journal of Symbolic Logic 47 (4):907-908.

Analytics

Added to PP
2013-11-24

Downloads
12 (#1,095,505)

6 months
12 (#304,463)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references