La teoria beta-eta del lambda-calcolo è Post-completa. È possibile aggiungere ulteriori regole per estendere la teoria beta del lambda-calcolo per ottenere teorie confluenti diverse dalla teoria beta-eta?
poscritto
Questa domanda ha violato la mia stessa regola secondo cui le domande dovrebbero spiegare il motivo per cui l'interrogante si preoccupa.
Mi è sembrato una notte, non molto tempo prima che questo sito entrasse nella beta privata, che poiché l'estensione e il principio del mezzo escluso sono correlati, la regola eta è una sorta di regola dell'estensione, e ci sono logiche intermedie tra logica intuitiva e classica, allora sarebbe interessante se esistessero cose come le teorie "intermedie eta".
Se lo avessi fatto, sarebbe stato ovvio che la risposta di Evgenij solleva un ovvio problema nel modo in cui avevo formulato la domanda, piuttosto che essere ciò che stavo cercando.