Continuity, proof systems and the theory of transfinite computations

Abstract.

 We use the theory of domains with totality to construct some logics generalizing ω-logic and β-logic and we prove a completenes theorem for these logics. The key application is E-logic, the logic related to the functional ³ E. We prove a compactness theorem for sets of sentences semicomputable in ³ E.