La teoría beta-eta del cálculo lambda es Post-completa. ¿Se pueden agregar reglas adicionales para extender la teoría beta del cálculo lambda para obtener teorías confluentes distintas de la teoría beta-eta?
Posdata
Esta pregunta violó mi propia regla de que las preguntas deberían explicar por qué el interlocutor se preocupa.
Me sorprendió una noche, no mucho antes de que este sitio entrara en beta privada, que debido a que la extensionalidad y el principio del medio excluido están relacionados, la regla eta es una especie de regla de extensionalidad, y hay lógicas intermedias entre la lógica intuitiva y la clásica. entonces sería interesante si existieran las teorías "intermedias eta".
Si lo hubiera hecho, habría sido obvio que la respuesta de Evgenij plantea un problema obvio en la forma en que formulé la pregunta, en lugar de ser lo que buscaba.