In this work we present two new classes of logics determined by specific properties of the Leibniz operator that expand the Leibniz hierarchy. By doing so, we present a sufficient condition for the commutativity of the Leibniz operator with inverse substitutions/homomorphisms, which gives us a negative answer to the possibility of establishing a precise connection between Leibniz classes and the behavior of the Leibniz operator.
No takes yet. Share an insight, caveat, or question.
Almeida et al. (2024) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: