Proceedings of the 7th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-11)

Axiomatic Extensions of Höhle's Monoidal Logic

Authors
Esko Turunen
Corresponding Author
Esko Turunen
Available Online August 2011.
DOI
https://doi.org/10.2991/eusflat.2011.16How to use a DOI?
Keywords
Residuated lattice, non­classical logics, substructural logics.
Abstract
We introduce an axiomatic extension of H¨ohle'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 semi­ divisible 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 Lukasiewicz logic.
Open Access
This is an open access article distributed under the CC BY-NC license.

Download article (PDF)

Proceedings
Proceedings of the 7th conference of the European Society for Fuzzy Logic and Technology
Part of series
Advances in Intelligent Systems Research
Publication Date
August 2011
ISBN
978-90-78677-00-0
ISSN
1951-6851
DOI
https://doi.org/10.2991/eusflat.2011.16How to use a DOI?
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  -