Constructive Canonicity in Non-Classical Logics

Silvio Ghilardi, Giancarlo Meloni. Constructive Canonicity in Non-Classical Logics. Annals of Pure and Applied Logic, 86(1):1-32, 1997.

Abstract

Abstract is missing.