AXIOMATIZATIONS OF STANDARD ALGEBRAS FOR FUZZY PC BY USE OF TRUTH CONSTANTS

Zuzana Honzýková

   This paper deals with fuzzy propositional calculi (PC) given by continuous t -norms. The logical approach is that of [3]; enlarging upon that, we try to axiomatize a logic given by a particular t -norm, namely, an ordered sum of a copy of Lukasiewicz’s t -norm and a copy of product t -norm. We enrich the propositional language by a truth constant denoting the one delimiting idempotent; then the axiomatization can be obtained in a uniform way.

Keywords: operators, uzzy propositional calculus, t -norm, propositional language

[full-paper]