Beta-eta-teoria rachunku lambda jest ukończona. Czy można dodać dodatkowe reguły, aby rozszerzyć teorię beta rachunku lambda, aby uzyskać teorie zbieżne inne niż teoria beta-eta?
Postscriptum
To pytanie naruszyło moją zasadę, że pytania powinny wyjaśniać, dlaczego pytający się przejmuje.
Pewnej nocy uderzyło mnie niedługo, zanim ta strona przeszła na prywatną wersję beta, ponieważ ponieważ ekstensywność i zasada wykluczonego środka są ze sobą powiązane, reguła eta jest pewnego rodzaju regułą ekstensywności, i istnieją logiki pośrednie między logiką intuicyjną a klasyczną, to byłoby interesujące, gdyby istniały takie rzeczy jak teorie „pośredniej eti”.
Gdybym to zrobił, byłoby oczywiste, że odpowiedź Evgenija rodzi oczywisty problem w sposobie, w jaki sformułowałem pytanie, zamiast być tym, o co mi chodziło.