15 citations · 33 across the 6 of their papers we have counts for
7 papers
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…
Varieties of De Morgan monoids: minimality and irreducible algebras
T. Moraschini, J. G. Raftery, J. J. Wannenburg
It is proved that every finitely subdirectly irreducible De Morgan monoid A (with neutral element e) is either (i) a Sugihara chain in which e covers not(e) or (ii) the union of an…