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.
@article{GabbayJ74,
title = {A Sequence of Decidable Finitely Axiomatizable Intermediate Logics with the Disjunction Property},
author = {Dov M. Gabbay and Dick De Jongh},
year = {1974},
tags = {logic},
researchr = {https://researchr.org/publication/GabbayJ74},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Logic},
volume = {39},
number = {1},
pages = {67-78},
}