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

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