Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Uniform interpolation and compact congruences | Annals of Pure and Applied Logic |
| 10 | 2017 |
Independence of the axiomatic system for MV-algebras | Mathematica Slovaca |
| 14 | 2013 |
The Beth Property in Algebraic Logic | Studia Logica |
| 18 | 2006 |
MV-algebras: a variety for magnitudes with archimedean units | Algebra universalis |
| 29 | 2005 |
On the relationship between compact regularity and Gentzen's cut rule | Theoretical Computer Science |
| 4 | 2004 |
Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
DUALITY FOR COALGEBRAS FOR VIETORIS AND MONADICITY | The Journal of Symbolic Logic |
| 2024 | |
AF-algebras with lattice-ordered K0: Logic and computation | Annals of Pure and Applied Logic |
| 1 | 2023 |
Category | Category Repetition |
---|---|
Science: Mathematics | 2 |
Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods | 1 |