We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
THE LANGUAGE OF STRATIFIED SETS IS CONFLUENT AND STRONGLY NORMALISING.
- Authors
GABBAY, MURDOCH J.
- Abstract
We study the properties of the language of Stratified Sets (first-order logic with ∈ and a stratification condition) as used in TST, TZT, and (with stratifiability instead of stratification) in Quine's NF. We find that the syntax forms a nominal algebra for substitution and that stratification and stratifiability imply confluence and strong normalisation under rewrites corresponding naturally to β-conversion.
- Subjects
HIERARCHY (Linguistics); SYNTAX in programming languages; REWRITING systems (Computer science); NOMINALS (Grammar); SET theory
- Publication
Logical Methods in Computer Science (LMCS), 2018, Vol 14, Issue 2, p1
- ISSN
1860-5974
- Publication type
Article
- DOI
10.23638/LMCS-14(2:12)2018