3 citations · 3 across the 3 of their papers we have counts for
5 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…
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…
Epimorphisms in varieties of subidempotent residuated structures
T. Moraschini, J. G. Raftery, J. J. Wannenburg
A commutative residuated lattice A is said to be subidempotent if the lower bounds of its neutral element e are idempotent (in which case they naturally constitute a Brouwerian alg…