15 citations · 33 across the 6 of their papers we have counts for
Showing 2019 · math.LOShow all
3 papers · 2 filters
math.LO2019★ 7 cited
Epimorphism surjectivity in varieties of Heyting algebras
T. Moraschini, J. J. Wannenburg
It was shown recently that epimorphisms need not be surjective in a variety K of Heyting algebras, but only one counter-example was exhibited in the literature until now. Here, a c…
math.LO2019
On prevarieties of logic
T. Moraschini, J. G. Raftery
It is proved that every prevariety of algebras is categorically equivalent to a "prevariety of logic", i.e., to the equivalent algebraic semantics of some sentential deductive syst…
math.LO2019★ 3 cited
Singly generated quasivarieties and residuated structures
T. Moraschini, J. G. Raftery, J. J. Wannenburg
A quasivariety K of algebras has the joint embedding property (JEP) iff it is generated by a single algebra A. It is structurally complete iff the free countably generated algebra…