3 problems

Regularity conjecture. Regularity is a sufficient condition for a logic to enjoy the subformula property.

Let ${\rm {\bf HpsUL}}$ be the Hilbert system for pseudo-uninorm logic, and let ${\rm {\bf HpsUL}}^\ast$ be obtained by adding the weakly commutativity rule … Here $A$ is a formula…

The Hilbert system ${\rm {\bf HpsUL}}$ is a substructural logic associated with pseudo-uninorms and their residua. Metcalfe–Olivetti–Gabbay conjecture. The Hilbert system…