A note on functions associated with Gödel formulas

DOI10.1007/PL00009890zbMath1002.03520MaRDI QIDQ5957457

Brunella Gerla

Publication date: 24 July 2002

Published in: Soft Computing (Search for Journal in Brave)

zbMATH Keywords

continuous t-normsfree linearly ordered Heyting algebrasfunctional completenessGödel logic

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Many-valued logic (03B50)

Related Items (9)

Normal forms and free algebras for some extensions of MTL ⋮ A characterization of truth-functions in the nilpotent minimum logic ⋮ Lewis dichotomies in many-valued logics ⋮ Extending possibilistic logic over Gödel logic ⋮ Probability measures in the logic of nilpotent minimum ⋮ Functional representation of finitely generated free algebras in subvarieties of BL-algebras ⋮ Description of all functions definable by formulæ of the 2nd order intuitionistic propositional calculus on some linear Heyting algebras ⋮ Representations for logics and algebras related to revised drastic product t-norm ⋮ Complexity issues in Basic Logic

This page was built for publication: A note on functions associated with Gödel formulas