A short proof that adding some permutation rules to beta preserves SN

Simple item page
dc.creatorDavid, René
dc.date2009-04-20
dc.date2009-04-27
dc.date.accessioned2026-07-07T13:08:22Z
dc.date.available2026-07-07T13:08:22Z
dc.descriptionI show that, if a term is $SN$ for $β$, it remains $SN$ when some permutation rules are added.
dc.identifierhttps://arxiv.org/abs/0904.2955
dc.identifierhttp://arxiv.org/abs/0904.2955
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/228395
dc.subjectLogic
dc.subjectLogic in Computer Science
dc.titleA short proof that adding some permutation rules to beta preserves SN
dc.typetext

Files

Collections

arXiv