A Sequence of Decidable Finitely Axiomatizable Intermediate Logics with the Disjunction Property

Dov M. Gabbay, Dick De Jongh. A Sequence of Decidable Finitely Axiomatizable Intermediate Logics with the Disjunction Property. Journal of Symbolic Logic, 39(1):67-78, 1974.

Abstract

Abstract is missing.