title: |
Axiomatic Extensions of H¨ohle's Monoidal Logic |
|
publication: |
||
part of series: |
Advances in Intelligent Systems Research | |
| pages: | 163 - 168 | |
DOI: |
To be assigned soon (how to use a DOI) | |
author(s): |
Esko Turunen |
|
publication date: |
July 2011 |
|
keywords: |
Residuated lattice, nonclassical logics,
substructural logics. |
|
abstract: |
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. |
|
copyright: |
©
Atlantis Press. This article is distributed under the
terms of the Creative Commons Attribution License, which permits
non-commercial use, distribution and reproduction in any medium,
provided the original work is properly cited. |
|
full text: |