Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Una dimonstrazione del fatto che ogni varietà ammette algebre semplici | 1969 | |||
Congruence distributive varieties | 1995 | |||
On factoring by compact congruences in algebras of certain varieties related to the intuitionistic logic | 1986 | |||
Structural completeness of some fragments of intermediate logics | 1983 | |||
Decidability of structural completeness for strongly finite propositional calculi | 1978 |
Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Semilinear De Morgan monoids and epimorphisms | Algebra universalis |
| 2024 | |
Structural and universal completeness in algebra and logic | Annals of Pure and Applied Logic |
| 2024 | |
ELEMENTARY EQUIVALENCE IN POSITIVE LOGIC VIA PRIME PRODUCTS | The Journal of Symbolic Logic |
| 2023 | |
The algebraic significance of weak excluded middle laws | Mathematical Logic Quarterly |
| 1 | 2022 |
Hereditarily Structurally Complete Intermediate Logics: Citkin’s Theorem Via Duality | Studia Logica |
| 1 | 2022 |