Axiomatic Extensions of Höhle's Monoidal Logic
Available Online August 2011.
- https://doi.org/10.2991/eusflat.2011.16How to use a DOI?
- Residuated lattice, nonclassical logics, substructural logics.
- We introduce an axiomatic extension of H¨ohle's Monoidal Logic called Semidivisible Monoidal Logic, and prove that it is complete by showing that semidivisibility is preserved in MacNeille completion. Moreover, we introduce Strong semi divisible Monoidal Logic and conjecture that a predicate formula is derivable in Strong Semidivisible Monadic logic if, and only if its double negation ¬¬ is derivable in Lukasiewicz logic.
- Open Access
- This is an open access article distributed under the CC BY-NC license.
Cite this article
TY - CONF AU - Esko Turunen PY - 2011/08 DA - 2011/08 TI - Axiomatic Extensions of Höhle's Monoidal Logic PB - Atlantis Press SP - 163 EP - 168 SN - 1951-6851 UR - https://doi.org/10.2991/eusflat.2011.16 DO - https://doi.org/10.2991/eusflat.2011.16 ID - Turunen2011/08 ER -