Description
Book Synopsis
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.
Table of Contents
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.
