Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Subdirectly Irreducible IKt-Algebras | Studia Logica |
| 5 | 2017 |
Characterizing intermediate tense logics in terms of Galois connections | Logic Journal of the IGPL |
| 8 | 2014 |
An algebraic axiomatization of the Ewald’s intuitionistic tense logic | Soft Computing |
| 9 | 2014 |
Algebraic axiomatization of tense intuitionistic logic | Central European Journal of Mathematics | 20 | 2011 | |
10.18514/MMN.2008.132 | 2008 |
Category | Category Repetition |
---|---|
Science: Mathematics | 7 |
Philosophy. Psychology. Religion: Philosophy (General) | 3 |