Completeness results for product logic with truth-constants

Lluís Godo1

Research Institute on Artificial Intelligence, Barcelona

In this paper we investigate expansions of Product fuzzy logic by adding into the language a countable set of truth-constants and by adding the corresponding book-keeping axioms for the truth-constants. We study algebraic semantics and prove standard completeness for all these expansions. We also investigate the issue of finite strong standard completeness. We conclude with some remarks on the expansion with truth-constants of other schematic extensions of BL and MTL.


... Godo1
joint work with P. Savicky, R. Cignoli, F. Esteva and C. Noguera