On completeness results for Predicate Lukasiewicz, Product, Gödel and Nilpotent Minimum Logics Expanded with Truth-constants.
Esteva, F. ; Godo, L. ; Noguera, C.
Mathware and Soft Computing, Tome 14 (2007), p. 233-246 / Harvested from Biblioteca Digital de Matemáticas
Publié le : 2007-01-01
DMLE-ID : 4666
@article{urn:eudml:doc:42207,
     title = {On completeness results for Predicate Lukasiewicz, Product, G\"odel and Nilpotent Minimum Logics Expanded with Truth-constants.},
     journal = {Mathware and Soft Computing},
     volume = {14},
     year = {2007},
     pages = {233-246},
     zbl = {1213.03035},
     language = {en},
     url = {http://dml.mathdoc.fr/item/urn:eudml:doc:42207}
}
Esteva, F.; Godo, L.; Noguera, C. On completeness results for Predicate Lukasiewicz, Product, Gödel and Nilpotent Minimum Logics Expanded with Truth-constants.. Mathware and Soft Computing, Tome 14 (2007) pp. 233-246. http://gdmltest.u-ga.fr/item/urn:eudml:doc:42207/