عنوان

Quantifiers:

9401705240

9789401705240

b596570

Quantifiers:

[Book]

Logics, Models and Computation : Volume Two: Contributions

edited by Michał Krynicki, Marcin Mostowski, Lesław W. Szczerba.

Dordrecht

Springer Netherlands

1995

(ix, 278 pages)

Synthese library, 249.

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.

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.

Information theory.

Logic.

Philosophy (General)

edited by Michał Krynicki, Marcin Mostowski, Lesław W. Szczerba.

Lesław W Szczerba

Marcin Mostowski

Michał Krynicki

[Book]

Y