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 BT - Proceedings of the 7th conference of the European Society for Fuzzy Logic and Technology 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 -