𝔖 Bobbio Scriptorium
✦   LIBER   ✦

ANTI-SYMMETRY AND NON-EXTENSIONAL MEREOLOGY

✍ Scribed by Aaron J. Cotnoir

Book ID
110989215
Publisher
John Wiley and Sons
Year
2010
Tongue
English
Weight
85 KB
Volume
60
Category
Article
ISSN
0031-8094

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Detection of symmetry and anti-symmetry
Detection of symmetry and anti-symmetry
✍ Sandra Mancini; Sharon L. Sally; Rick Gurnsey πŸ“‚ Article πŸ“… 2005 πŸ› Elsevier Science 🌐 English βš– 492 KB
Confluence of extensional and non-extens
Confluence of extensional and non-extensional Ξ»-calculi with explicit substitutions
✍ Delia Kesner πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 242 KB

This paper studies con uence of extensional and non-extensional -calculi with explicit substitutions, where extensionality is interpreted by Á-expansion. For that, we propose a scheme for explicit substitutions which describes those abstract properties that are su cient to guarantee con uence. Our m