Axiomatic Extensions of Hohle's Monoidal Logic
Esko Turunen · 2011
We introduce an axiomatic extension of Höhle's Monoidal Logic called Semi-divisible Monoidal Logic, and prove that it is complete by showing that semi-divisibility is preserved in MacNeille completion.Moreover, we introduce Strong semidivisible Monoidal Logic and conjecture that a predicate formula α is derivable in Strong Semi-divisible Monadic logic if, and only if its double negation ¬¬α is derivable in Łukasiewicz * logic.