3 citations · 3 across the 3 of their papers we have counts for
5 papers · 1 filter
The Algebraic Significance of Weak Excluded Middle Laws
T. Lávička, T. Moraschini, J. G. Raftery
For (finitary) deductive systems, we formulate a signature-independent abstraction of the \emph{weak excluded middle law} (WEML), which strengthens the existing general notion of a…
Epimorphisms in varieties of residuated structures
G. Bezhanishvili, T. Moraschini, J. Raftery
It is proved that epimorphisms are surjective in a range of varieties of residuated structures, including all varieties of Heyting or Brouwerian algebras of finite depth, and all v…
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…
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…
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…