𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The category of complete Boolean algebras is not an intersection of reflective subcategories of the category of frames

✍ Scribed by V. Vajner


Publisher
Springer
Year
1993
Tongue
English
Weight
239 KB
Volume
1
Category
Article
ISSN
0927-2852

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


The emptiness of intersection problem fo
✍ Annie Foret πŸ“‚ Article πŸ“… 2004 πŸ› Elsevier Science 🌐 English βš– 465 KB

This paper is concerned with usual decidability questions on grammars for some classes of categorial grammars that arise in the field of learning categorial grammars. We prove that the emptiness of intersection of two langages is an undecidable problem for the following classes : k-valued classical