Complete Types in an Extension of the System AF2

Simple item page
dc.creatorFarkh, Samir
dc.creatorNour, Karim
dc.date2009-05-04
dc.date.accessioned2026-07-07T13:11:26Z
dc.date.available2026-07-07T13:11:26Z
dc.descriptionIn this paper, we extend the system AF2 in order to have the subject reduction for the $βη$-reduction. We prove that the types with positive quantifiers are complete for models that are stable by weak-head expansion.
dc.identifierhttps://arxiv.org/abs/0905.0371
dc.identifierhttp://arxiv.org/abs/0905.0371
dc.identifierJournal of Applied Non-Classical Logics 13 (2003) 73-85
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/229284
dc.subjectLogic
dc.titleComplete Types in an Extension of the System AF2
dc.typetext

Files

Collections

arXiv