✦ LIBER ✦

Partially Ordered Quantifiers vs. Partially Ordered Ideas

✍ Scribed by Jaakko HINTIKKA

Book ID: 111366916
Publisher: John Wiley and Sons
Year: 1976
Tongue: English
Weight: 603 KB
Volume: 30
Category: Article
ISSN: 0012-2017
DOI: 10.1111/j.1746-8361.1976.tb00720.x

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Finite Partially-Ordered Quantifiers

✍ Herbert B. Enderton 📂 Article 📅 1970 🏛 John Wiley and Sons 🌐 English ⚖ 264 KB

This is to be read "For every x there is a y and for every u there is a v (depending only on u) such that y ( x , y, u , w) ." The precise meaning of this can be given in terms of SKOLEM functions; the above formula is semantically equivalent to the second-order formula Such partially-ordered quant

Hierarchies of Partially Ordered Connect

Hierarchies of Partially Ordered Connectives and Quantifiers

✍ Michał Krynicki 📂 Article 📅 1993 🏛 John Wiley and Sons 🌐 English ⚖ 381 KB

## Abstract Connections between partially ordered connectives and Henkin quantifiers are considered. It is proved that the logic with all partially ordered connectives and the logic with all Henkin quantifiers coincide. This implies that the hierarchy of partially ordered connectives is strongly hi

Partially-Ordered (Branching) Generalize

Partially-Ordered (Branching) Generalized Quantifiers: A General Definition

✍ G.Y. Sher 📂 Article 📅 1997 🏛 Springer Netherlands 🌐 English ⚖ 359 KB

On the concept of formalization and part

On the concept of formalization and partially ordered quantifiers

✍ Bengt-Olof Qvarnström 📂 Article 📅 1977 🏛 Springer Netherlands 🌐 English ⚖ 833 KB

ON THE CONCEPT OF FORMALIZATION AND PARTIALLY ORDERED QUANTIFIERS.\* \* I would like to thank an anonymous referee for very useful comments on an earlier version of this paper and Krister Segerberg, Erik Stenius and in particular Risto Hilpinen and Patrick Sibelius for discussing the topic of this p

Partially homogeneous partially ordered

Partially homogeneous partially ordered sets

✍ Dan Saracino; Carol Wood 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 421 KB

PARTIALLY ORDERED CONNECTIVES

✍ Gabriel Sandu; Jouko Väänänen 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 527 KB

## 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