Decidability of Cancellative Extension of Monoidal T-norm Based Logic
From Mathfuzzlog
| Authors: |
|
|
| Title: | Decidability of Cancellative Extension of Monoidal T-norm Based Logic | |
| Journal: | Logic Journal of the IGPL | |
| Volume | 14 | |
| Number | 6 | |
| Pages: | 827-843 | |
| Year: | 2006 |
