|
" Quantifiers: "
edited by Michał Krynicki, Marcin Mostowski, Lesław W. Szczerba.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
776573
|
| Doc. No
|
:
|
b596570
|
| Main Entry
|
:
|
edited by Michał Krynicki, Marcin Mostowski, Lesław W. Szczerba.
|
| Title & Author
|
:
|
Quantifiers: : Logics, Models and Computation : Volume Two: Contributions\ edited by Michał Krynicki, Marcin Mostowski, Lesław W. Szczerba.
|
| Publication Statement
|
:
|
Dordrecht : Springer Netherlands, 1995
|
| Series Statement
|
:
|
Synthese library, 249.
|
| Page. NO
|
:
|
(ix, 278 pages)
|
| ISBN
|
:
|
9401705240
|
|
|
:
|
: 9789401705240
|
| 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.
|
| Abstract
|
:
|
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.
|
| Subject
|
:
|
Information theory.
|
| Subject
|
:
|
Logic.
|
| Subject
|
:
|
Philosophy (General)
|
| Added Entry
|
:
|
Lesław W Szczerba
|
|
|
:
|
Marcin Mostowski
|
|
|
:
|
Michał Krynicki
|
| |