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
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.

Copyright
© 2011, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

Volume Title
Proceedings of the 7th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-11)
Series
Advances in Intelligent Systems Research
Publication Date
August 2011
ISBN
10.2991/eusflat.2011.16
ISSN
1951-6851
DOI
10.2991/eusflat.2011.16How to use a DOI?
Copyright
© 2011, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

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 (EUSFLAT-11)
PB  - Atlantis Press
SP  - 163
EP  - 168
SN  - 1951-6851
UR  - https://doi.org/10.2991/eusflat.2011.16
DO  - 10.2991/eusflat.2011.16
ID  - Turunen2011/08
ER  -