Partially ordered connectives and finite graphs

In Michał Krynicki, Marcin Mostowski & Lesław W. Szczerba, Quantifiers: Logics, Models and Computation: Volume Two: Contributions. Dordrecht, Netherland: Kluwer Academic Publishers. pp. 79--88 (1995)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,449

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

Decidability Results for Classes of Ordered Abelian Groups in Logics with Ramsey-Quantifiers.Wolfgang Lenski - 1995 - In Michał Krynicki, Marcin Mostowski & Lesław W. Szczerba, Quantifiers: Logics, Models and Computation: Volume Two: Contributions. Dordrecht, Netherland: Kluwer Academic Publishers. pp. 139--168.
Pre-Ordered Quantifiers in Elementary Sentences of Natural Language.Marek W. Zawadowski - 1995 - In Michał Krynicki, Marcin Mostowski & Lesław W. Szczerba, Quantifiers: Logics, Models and Computation: Volume Two: Contributions. Dordrecht, Netherland: Kluwer Academic Publishers. pp. 237--253.
Computable quantifiers and logics over finite structures.J. Makowsky & Y. Pnueli - 1995 - In Michał Krynicki, Marcin Mostowski & Lesław W. Szczerba, Quantifiers: Logics, Models and Computation: Volume Two: Contributions. Dordrecht, Netherland: Kluwer Academic Publishers. pp. 313--357.
Finite generation problem and n-ary quantifiers.Lauri Hella & Kerkko Luosto - 1995 - In Michał Krynicki, Marcin Mostowski & Lesław W. Szczerba, Quantifiers: Logics, Models and Computation: Volume Two: Contributions. Dordrecht, Netherland: Kluwer Academic Publishers. pp. 63--104.
Generalized quantifiers in algebra.Alexandre G. Pinus - 1995 - In Michał Krynicki, Marcin Mostowski & Lesław W. Szczerba, Quantifiers: Logics, Models and Computation: Volume Two: Contributions. Dordrecht, Netherland: Kluwer Academic Publishers. pp. 215--228.
Operators on branched quantifiers.Mark A. Brown - 1995 - In Michał Krynicki, Marcin Mostowski & Lesław W. Szczerba, Quantifiers: Logics, Models and Computation: Volume Two: Contributions. Dordrecht, Netherland: Kluwer Academic Publishers. pp. 21--61.
Quantifiers determined by classes of binary relations.Michał Krynicki - 1995 - In Michał Krynicki, Marcin Mostowski & Lesław W. Szczerba, Quantifiers: Logics, Models and Computation: Volume Two: Contributions. Dordrecht, Netherland: Kluwer Academic Publishers. pp. 125--138.
Henkin Quantifiers.M. Krynicki & M. Mostowski - 1995 - In Michał Krynicki, Marcin Mostowski & Lesław W. Szczerba, Quantifiers: Logics, Models and Computation: Volume Two: Contributions. Dordrecht, Netherland: Kluwer Academic Publishers. pp. 193--263.
Definable Second-Order Quantifiers and Quasivarieties.Alexandre A. Ivanov - 1995 - In Michał Krynicki, Marcin Mostowski & Lesław W. Szczerba, Quantifiers: Logics, Models and Computation: Volume Two: Contributions. Dordrecht, Netherland: Kluwer Academic Publishers. pp. 115--123.
On the model theory of some generalized quantifiers.Heinz-Dieter Ebbinghaus - 1995 - In Michał Krynicki, Marcin Mostowski & Lesław W. Szczerba, Quantifiers: Logics, Models and Computation: Volume Two: Contributions. Dordrecht, Netherland: Kluwer Academic Publishers. pp. 25--62.

Analytics

Added to PP
2014-01-31

Downloads
20 (#1,084,435)

6 months
1 (#1,572,794)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Gabriel Sandu
University of Helsinki

Citations of this work

Generalized quantifiers.Dag Westerståhl - 2008 - Stanford Encyclopedia of Philosophy.
If-logic and truth-definition.Gabriel Sandu - 1998 - Journal of Philosophical Logic 27 (2):143-164.
Independence friendly logic.Tero Tulenheimo - 2010 - Stanford Encyclopedia of Philosophy.
Definability of polyadic lifts of generalized quantifiers.Lauri Hella, Jouko Väänänen & Dag Westerståhl - 1997 - Journal of Logic, Language and Information 6 (3):305-335.
Partially ordered connectives and monadic monotone strict np.Lauri Hella, Merlijn Sevenster & Tero Tulenheimo - 2008 - Journal of Logic, Language and Information 17 (3):323-344.

Add more citations

References found in this work

No references found.

Add more references