La bêta-eta-théorie du lambda-calcul est post-complète. Peut-on ajouter des règles supplémentaires pour étendre la théorie bêta du lambda-calcul afin d'obtenir des théories confluentes autres que la théorie bêta-éta?
Postscript
Cette question a violé ma propre règle selon laquelle les questions devraient expliquer pourquoi le questionneur se soucie.
Cela m'a frappé une nuit, peu de temps avant que ce site ne passe en version bêta privée, parce que l'extensionnalité et le principe du milieu exclu sont liés, la règle ETA est une sorte de règle d'extensionnalité, et il existe des logiques intermédiaires entre la logique intuitionniste et la logique classique, alors il serait intéressant s'il y avait une telle chose comme les théories "intermédiaires eta".
Si je l'avais fait, il aurait été évident que la réponse d'Evgenij soulève un problème évident dans la façon dont j'avais formulé la question, plutôt que d'être ce que je recherchais.