ON THE EXPRESSIVE POWER OF THE LOGICS L(Q α _n1_,…, _n_ _m_)

Mathematical Logic Quarterly 30 (1-6):11-20 (1984)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19840300103

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,991

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

On the expressive power of the logics l(qαn1,…,nm).Andreas Rapp - 1984 - Mathematical Logic Quarterly 30 (1‐6):11-20.
An algebraic approach to elementary theories based on N‐valued Lukasiewicz logics.Roberto Cignoli - 1984 - Mathematical Logic Quarterly 30 (1-6):87-96.
A Simplified Self m_‐AL Set of Primitive Functors for the _m‐Valued Propositional Calculus.Alan Rose - 1962 - Mathematical Logic Quarterly 8 (3-4):257-266.
A Refinement of Low n_ and High _n for the R.E. Degrees.Jeanleah Mohrherr - 1986 - Mathematical Logic Quarterly 32 (1-5):5-12.
On n‐Place Strictly Monotonic Functions.John Hickman - 1985 - Mathematical Logic Quarterly 31 (9-12):169-171.
n‐Ary Almost Recursive Functions.John W. Berry - 1974 - Mathematical Logic Quarterly 20 (34-36):551-559.
On the definition of ordered N‐tuples.Olaf Neumann - 1984 - Mathematical Logic Quarterly 30 (13-16):197-198.
A Method for Finding Formulae Corresponding to First Order Universal Decision Elements in m‐Valued Logic.John Loader - 1974 - Mathematical Logic Quarterly 20 (1-3):1-18.
Äquivalenzklassen von n‐Tupeln.Erwin Engeler - 1959 - Mathematical Logic Quarterly 5 (14-24):340-345.
On Weak Operator Compactness of the Unit Ball of L_( _H).Douglas S. Bridges - 1978 - Mathematical Logic Quarterly 24 (31-36):493-494.

Analytics

Added to PP
2015-12-02

Downloads
27 (#608,699)

6 months
3 (#1,046,148)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Definability hierarchies of general quantifiers.Lauri Hella - 1989 - Annals of Pure and Applied Logic 43 (3):235.

Add more citations

References found in this work

Relative strength of Malitz quantifiers.Steven Garavaglia - 1978 - Notre Dame Journal of Formal Logic 19 (3):495-503.
Compact extensions of L(Q).Menachem Magidor & Jerome Malitz - 1977 - Annals of Mathematical Logic 11 (2):217--261.
Compact extensions of L.Menachem Magidor - 1977 - Annals of Mathematical Logic 11 (2):217.

Add more references