Decidability of Cancellative Extension of Monoidal T-norm Based Logic

From Mathfuzzlog
Jump to: navigation, search
Authors:
Rostislav Horčík
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