Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Representation of Distributive Lattices by means of ordered Stone Spaces | Bulletin of the London Mathematical Society |
| 326 | 1970 |
10.4134/CKMS.2012.27.1.047 | Communications of the Korean Mathematical Society |
| 2012 | |
Tense Operators on Basic Algebras | International Journal of Theoretical Physics |
| 18 | 2011 |
Algebraic axiomatization of tense intuitionistic logic | Central European Journal of Mathematics | 20 | 2011 | |
Tense θ-valued Moisil propositional logic | INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL |
| 11 | 2010 |
Category | Category Repetition |
---|---|
Science: Physics | 2 |
Science: Mathematics | 1 |
Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Kripke-Completeness and Sequent Calculus for Quasi-Boolean Modal Logic | Studia Logica |
| 2024 | |
An alternative definition of tense operators on residuated lattices | Journal of Logic and Computation |
| 2024 | |
Merging Intuitionistic and De Morgan Logics | Mathematics |
| 2024 | |
Tense Logic Based on Finite Orthomodular Posets | International Journal of Theoretical Physics |
| 2023 | |
Tense Operators on Distributive Lattices with Implication | Studia Logica |
| 1 | 2023 |