Hypercanonicity, Extensive Canonicity, Canonicity and Strong Completeness of Intermediate Propositional Logics

Camillo Fiorentini. Hypercanonicity, Extensive Canonicity, Canonicity and Strong Completeness of Intermediate Propositional Logics. Reports on Mathematical Logic, 35:3-46, 2001. [doi]

Abstract

Abstract is missing.