𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The Circumscription of Karimbolea Descoings (Asclepiadaceae)

✍ Scribed by Sigrid Liede and Ulrich Meve


Book ID
115056373
Publisher
Springer-Verlag
Year
1996
Tongue
English
Weight
996 KB
Volume
48
Category
Article
ISSN
0007-196X

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


The Asclepiadaceae of Ohio
✍ Barbara K. Andreas and Tom S. Cooperrider πŸ“‚ Article πŸ“… 1980 πŸ› Southern Appalachian Botanical Society 🌐 English βš– 209 KB
On the satisfiability of circumscription
✍ Vladimir Lifschitz πŸ“‚ Article πŸ“… 1986 πŸ› Elsevier Science 🌐 English βš– 476 KB

Etherington, Mercer and Reiter showed, on the basis of ideas of Bossu and Siegel, that circumscription cannot lead to inconsistency for universal formulas. We extend this result in three directions: to formulas of a more general syntactic form, to circumscr~tion with some predicate symbols allowed t