Mathematical logic quarterly · 1992 · 29 citations · 6 references
HumanitiesComputer ScienceMathematicsFormal MethodsLogicFirst-order LogicModel TheoryPartial OrdersPredicate LogicPartial OrderingSyntactic Properties Of Logic
Abstract We show that a coherent theory of partially ordered connectives can be developed along the same line as partially ordered quantification. We estimate the expressive power of various partially ordered connectives and use methods like Ehrenfeucht games and infinitary logic to get various undefinability results.
6
Finite partially-ordered quantification
Wilbur Walkoe · Journal of Symbolic Logic · 1970 · 169 citations
Humanities, Mathematics, Logic +6
Finite Partially‐Ordered Quantifiers
H. B. Enderton · Mathematical logic quarterly · 1970 · 118 citations
Definability hierarchies of generalized quantifiers
Lauri Hella · Annals of Pure and Applied Logic · 1989 · 86 citations
On the semantics of the Henkin quantifier
Michał Krynicki, A. H. Lachlan · Journal of Symbolic Logic · 1979 · 34 citations
Humanities, Mathematics, Logic +6
Some applications of Henkin quantifiers
Jon Barwise · Israel Journal of Mathematics · 1976 · 33 citations