An algebraic axiomatization of the Ewald's intuitionistic tense logic
scientific article; zbMATH DE number 6515149
scientific article