An Algorithm for Finding Finite Axiomatization of Finite Intermediate Logics by Means of Jankov Formulas

Bulletin of the Section of Logic, Tom 31, Numer 1 (2002) s. 1-6
Eugeniusz Tomaszewski