Lambda hesabının beta-eta-teorisi Post-complete'tur. Beta-eta teorisi dışında konfluent teoriler elde etmek için lambda-hesabının beta teorisini genişletmek için ek kurallar eklenebilir mi?
dipnot
Bu soru kendi kuralımı ihlal ederek soruların soru soran kişinin neden umursadığını açıklamalıdır.
Bu site özel beta sürümüne girmeden kısa bir süre önce beni vurdu, uzatma ve dışlanan ortalamanın prensibi ilişkili olduğu için, eta kuralı bir çeşit uzatma kuralı ve sezgisel ve klasik mantık arasında ara mantıklar var, "ara eta" teorileri diye bir şey olsaydı ilginç olurdu.
Eğer bunu yapsaydım, Evgenij'in cevabının, peşinde olduğum şeyden ziyade soruyu formüle etme şeklimde bariz bir problem yarattığı açık olurdu.