15 citations · 34 across the 8 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
math.LO2021
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…
math.LO2021
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…