Remark on a finite axiomatization of finite intermediate propositional logics
D. P. Skvortsov · Journal of Applied Non-Classical Logics · 1999
A simple method of axiomatizing every finite intermediate propositional logic by a finite set of axioms with the minimal number of variables is proposed. The method is based on Jankov's characteristic formulas.