Monoidal Logic
Ulrich Höhle · 1994
Monoidal logic is the a common framework for intuitionistic logic, Lukasiewicz logic and to a ceratin extent for Girard’s commutative logic. Soundness and completeness of the corresponding predicate calculi are verified.