람다 미적분의 베타 이론의 확장

람다 미적분의 베타 에타 이론은 사후 완료입니다. 람다 미적분의 베타 이론을 확장하여 베타 에타 이론 이외의 유창한 이론을 얻기 위해 추가 규칙을 추가 할 수 있습니까?

추신

이 질문은 질문자가 질문자가 관심을 갖는 이유를 설명해야한다는 본인의 규칙을 위반했습니다.

이 사이트가 비공개 베타에 들어가기 얼마 전 어느 날 밤,이 사이트는 확장 성과 배제 된 중간의 원리가 관련되어 있기 때문에 에타 규칙은 일종의 확장 규칙이며, 직관과 고전 논리 사이에는 중간 논리가 있습니다. "중간 에타"이론과 같은 것이 있다면 흥미로울 것입니다.

내가 그렇게했다면, Evgenij의 대답은 내가 그랬던 것이 아니라 질문을 공식화하는 방식으로 명백한 문제를 제기한다는 것이 분명했을 것입니다.

예. 예를 들어 베타 + 규칙 {s = t | s와 t는 해결할 수없는 용어입니다}. 이것은 내가 베타 에타와 같지 않다는 것을 기억하는 한 일관성이 있습니다. Barendregt에 대한 간단한 설명과 참조는 mathgate 를 참조하십시오 .