Die Beta-Eta-Theorie der Lambda-Rechnung lautet Post-complete. Können zusätzliche Regeln hinzugefügt werden, um die Beta-Theorie des Lambda-Kalküls zu erweitern und konfluente Theorien zu erhalten, die von der Beta-Eta-Theorie abweichen?
Nachsatz
Diese Frage verstieß gegen meine eigene Regel, dass Fragen erklären sollten, warum sich der Fragesteller darum kümmert.
Es fiel mir eines Nachts, nicht lange bevor diese Seite in die private Beta ging, auf, dass die eta-Regel eine Art Extensionalitätsregel ist, da Extensionalität und das Prinzip der ausgeschlossenen Mitte zusammenhängen, und es dazwischenliegende Logiken zwischen intuitionistischer und klassischer Logik gibt. dann wäre es interessant, wenn es so etwas wie "intermediäre eta" -Theorien gäbe.
Wenn ich das getan hätte, wäre es offensichtlich gewesen, dass Evgenijs Antwort ein offensichtliches Problem in der Art und Weise aufwirft, wie ich die Frage formuliert habe, anstatt das zu sein, wonach ich gesucht habe.