Quantifiers determined by partial orderings

Mathematical Logic Quarterly 36 (1):79-86 (1990)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,990

External links

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

Through your library

Similar books and articles

Quantifiers determined by partial orderings.Michal Krynicki - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (1):79-86.
Generalized quantifiers and well orderings.A. B. Slomson - 1972 - Archive for Mathematical Logic 15 (1-2):57-73.
Constructive Well‐Orderings.Robin J. Grayson - 1982 - Mathematical Logic Quarterly 28 (33‐38):495-504.
Orderings of Types of Countable Arithmetic.K. Potthoff - 1978 - Mathematical Logic Quarterly 24 (7):97-108.
Rosser Orderings in Bimodal Logics.Alessandra Carbone & Franco Montagna - 1989 - Mathematical Logic Quarterly 35 (4):343-358.
Orderings in Exponential Fields of Term Defined Functions.Helmut Wolter - 1989 - Mathematical Logic Quarterly 35 (2):187-192.
Henkin Quantifiers,[w:] Krynicki M., Mostowski M., Szczerba LW (red.).M. Krynicki - 1995 - In Michał Krynicki, Marcin Mostowski & Lesław W. Szczerba (eds.), Quantifiers: Logics, Models and Computation: Volume Two: Contributions. Dordrecht, Netherland: Kluwer Academic Publishers.
L(aa)‐Elementary Types of Well‐Orderings.Detlef Seese & Martin Weese - 1982 - Mathematical Logic Quarterly 28 (33‐38):557-564.

Analytics

Added to PP
2013-12-01

Downloads
14 (#994,967)

6 months
7 (#592,005)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Generalized Quantification as Substructural Logic.Natasha Alechina & Michiel Van Lambalgen - 1996 - Journal of Symbolic Logic 61 (3):1006 - 1044.
On simplicity of formulas.Michał Krynicki & Lesław Szczerba - 1990 - Studia Logica 49 (3):401 - 419.

Add more citations

References found in this work

Model Theory.Gebhard Fuhrken - 1976 - Journal of Symbolic Logic 41 (3):697-699.

Add more references