A Framework for Defining Logics

Robert Harper, Furio Honsell, Gordon D. Plotkin. A Framework for Defining Logics. Journal of the ACM, 40(1):143-184, 1993. [doi]

Abstract

Abstract is missing.