On the transitivity of Logical Consequence without Assuming Monotonicity | Synapse