✦ LIBER ✦

Encoding of Multiple Inheritance Hierarchies and Partial Orders

✍ Scribed by Yves Caseau; Michel Habib; Lhouari Nourine; Olivier Raynaud

Book ID: 108507812
Publisher: John Wiley and Sons
Year: 1999
Tongue: English
Weight: 155 KB
Volume: 15
Category: Article
ISSN: 0824-7935
DOI: 10.1111/0824-7935.00081

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Encoding multiple inheritance hierarchie

Encoding multiple inheritance hierarchies for lattice operations

✍ M.F. van Bommel; P. Wang 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 434 KB

Well-partial orderings and hierarchies

✍ D.H.J de Jongh; Rohit Parikh 📂 Article 📅 1977 🏛 Elsevier Science ⚖ 722 KB

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

Effective extensions of partial orders

✍ Dev Kumar Roy 📂 Article 📅 1990 🏛 John Wiley and Sons 🌐 English ⚖ 241 KB

Partial orders of dimension 2

✍ K. A. Baker; P. C. Fishburn; F. S. Roberts 📂 Article 📅 1972 🏛 John Wiley and Sons 🌐 English ⚖ 873 KB

Multiple hierarchies and the duplex natu

Multiple hierarchies and the duplex nature of groups

✍ Frans J. Schryer 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 96 KB