Teori beta-eta dari lambda-calculus adalah Post-complete. Dapatkah aturan tambahan ditambahkan untuk memperluas teori beta dari lambda-calculus untuk mendapatkan teori-teori konfluen selain dari teori beta-eta?
Nota bene
Pertanyaan ini melanggar aturan saya sendiri bahwa pertanyaan harus menjelaskan mengapa si penanya peduli.
Saya terkejut pada suatu malam, tidak lama sebelum situs ini masuk ke versi beta pribadi, bahwa karena ekstensionalitas dan prinsip tengah yang dikecualikan terkait, aturan eta adalah semacam aturan ekstensionalitas, dan ada logika menengah antara logika intuitionistic dan logika klasik, maka akan menarik jika ada yang namanya teori "eta menengah".
Jika saya melakukannya, akan jelas bahwa jawaban Evgenij menimbulkan masalah yang jelas dalam cara saya merumuskan pertanyaan, daripada menjadi apa yang saya cari.