Lý thuyết beta-eta của lambda-compus là Post-perfect. Các quy tắc bổ sung có thể được thêm vào để mở rộng lý thuyết beta của phép tính lambda để có được các lý thuyết hợp lưu khác với lý thuyết beta-eta không?
Bản thảo
Câu hỏi này đã vi phạm quy tắc riêng của tôi rằng các câu hỏi sẽ giải thích tại sao người hỏi quan tâm.
Một đêm nọ, tôi cảm thấy ngạc nhiên, không lâu trước khi trang web này chuyển sang phiên bản beta riêng tư, bởi vì tính mở rộng và nguyên tắc của loại trừ có liên quan, quy tắc eta là một loại quy tắc mở rộng và có logic logic giữa logic trực giác và cổ điển, sau đó sẽ rất thú vị nếu có một thứ gọi là lý thuyết "eta trung gian".
Nếu tôi đã làm như vậy, rõ ràng câu trả lời của Evgenij đã đặt ra một vấn đề rõ ràng theo cách tôi đặt ra câu hỏi, thay vì là những gì tôi đang theo đuổi.