Quantifiers: Logics, Models and Computation : Volume Two: Contributions / edited by Michał Krynicki, Marcin Mostowski, Lesław W. Szczerba.
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...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Main Author: | |
| Other Authors: | , |
| Format: | eBook |
| Language: | English |
| Published: |
Dordrecht :
Springer Netherlands,
1995.
|
| Series: | Synthese library ;
v. 249. |
| Subjects: |
Table of Contents:
- To Volume II
- Quantifiers and Inference
- Operators on Branched Quantifiers
- Hilbert's?-Symbol in the Presence of Generalized Quantifiers
- Partially Ordered Connectives and Finite Graphs
- Theories of Finitely Determinate Linear Orderings in Stationary Logic
- Definable Second-Order Quantifiers and Quasivarieties
- Quantifiers Determined by Classes of Binary Relations
- Decidability Results for Classes of Ordered Abelian Groups in Logics with Ramsey-Quantifiers
- On the Eliminability of the Quantifier 'There Exists Uncountably Many'
- Quantifiers Definable by Second Order Means
- Generalized Quantifiers in Algebra
- On Ordering of the Family of Logics with Skolem-Löwenheim Property and Countable Compactness Property
- Pre-Ordered Quantifiers in Elementary Sentences of Natural Language
- Some Remarks on Zawadowsky's Theory of Preordered Quantifiers
- Index of Names
- Table of Contents to Volume I.