Krynicki

Quantifiers: Logics, Models and Computation

Volume Two: Contributions
Herausgegeben:Krynicki, Michal; Mostowski, M.; Szczerba, L. W.

• Broschiertes Buch

Produktbeschreibung

The quantifier concept is central to current logical investigations. Quantifiers: Logics, Models and Computation. Volume Two: Contributions contains twelve research papers devoted to generalized quantifiers and their applications. It offers an exhaustive survey of logical methods that are useful in investigations involving generalized quantifiers. Both model-theoretical and proof-theoretical approaches are well represented. Moreover, some papers focus on the applications of logical theory, particularly in relation to semantics of natural language. The volume includes a wide-ranging survey of logical methods which are useful in investigations into generalized quantifiers.
The book is the second volume of a large collection. The first volume - Quantifiers: Logics, Models and Computation. Volume One: Surveys - contains a collection of survey papers on selected, well-defined areas organized around the quantifier concept. Volumes One and Two are complementary.
For logicians, mathematicians, philosophers, linguists and computer scientists. Also suitable as a text for advanced undergraduate or graduate specialized courses in logic.

---

Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.

Produktdetails

• Quantifiers: Logics, Models and Computation 1
• Verlag: Springer / Springer Netherlands
• Artikelnr. des Verlages: 978-0-7923-3450-7
• 1995
• Seitenzahl: 708
• Erscheinungstermin: 30. April 1995
• Englisch
• Abmessung: 223mm x 152mm
• Gewicht: 807g
• ISBN-13: 9780792334507
• ISBN-10: 0792334507
• Artikelnr.: 27652026

Inhaltsangabe

Preface. Quantifiers and Inference; J. van Benthem. Operators on Branched
Quantifiers; M.A. Brown. Hilbert's Epsilon-Symbol in the Presence of
Generalized Quantifiers; X. Caicedo. Partially Ordered Connectives and
Finite Graphs; L. Hella, G. Sandu. Theories of Finitely Determined Linear
Orderings in Stationary Logics; H. Herre. Definable Second-Order
Quantifiers and Quasivarieties; A.A. Ivanov. Quantifiers Determined by
Classes of Binary Relations; M. Krynicki. Decidability Results for Classes
of Ordered Abelian Groups in Logics with Ramsey Quantifiers; W. Lenski. On
the Eliminability of the Quantifier `There Exists Uncountably Many'; Z.
Mijajlovic. Quantifiers Definable by Second Order Means; M. Mostowski.
Generalized Quantifiers in Algebra; A.G. Pinus. On Ordering of the Family
of Logics with Skolem-Löwenheim Property and Countable Compactness
Property; M. Waclawek.DAGGER. Pre-Ordered Quantifiers in Elementary
Sentences of Natural Language; M.W. Zawadowsky. Some Remarks on
Zawadowski's `Theory of Preordered Quantifiers'; M.A. Brown. Index of
Names.

---

to Volume I.- Quantifiers, Some Problems and Ideas.- Prologue.- On the Model Theory of Some Generalized Quantifiers.- Finite Generation Problem and n-ary Quantifiers.- Games and Trees in Infinitary Logic: A Survey.- Theory of Linear Order in Extended Logics.- Henkin Quantifiers.- Continuous Operations on Spaces of Structures.- Model Theory of Topological Structures.- Computable Quantifiers and Logics over Finite Structures.- Quantifiers in Natural Language: A Survey of Some Recent Work.- Index of Names.- Table of Contents to Volume II.