Quantifiers determined by partial orderings

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 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,296

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 - Mathematical Logic Quarterly 36 (1):79-86.
Constructive Well-Orderings.Robin J. Grayson - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (33-38):495-504.
Orderings of Types of Countable Arithmetic.K. Potthoff - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (7):97-108.
Rosser Orderings in Bimodal Logics.Alessandra Carbone & Franco Montagna - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (4):343-358.
L-Elementary Types of Well-Orderings.Detlef Seese & Martin Weese - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (33-38):557-564.
Elimination of Cardinality Quantifiers.H. P. Tuschik - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (4-7):75-81.
Orderings in Exponential Fields of Term Defined Functions.Helmut Wolter - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (2):187-192.
Elimination of Quantifiers on Łukasiewicz Logics.Néstor G. Martínez - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (1):15-21.
Pure Logic with Branched Quantifiers.Marcin Mostowski - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (1):45-48.
Effective extensions of partial orders.Dev Kumar Roy - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (3):233-236.

Analytics

Added to PP
2016-02-04

Downloads
29 (#569,467)

6 months
8 (#415,230)

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.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
Model Theory.Gebhard Fuhrken - 1976 - Journal of Symbolic Logic 41 (3):697-699.

Add more references