A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property (1974)

by D M Gabbay, D H de Jongh
Venue:Journal of Symbolic Logic