作者: Vilém Novák
DOI: 10.1002/1521-3870(200211)48:4<563::AID-MALQ563>3.0.CO;2-W
关键词:
摘要: This paper is a contribution to the development of fuzzy logic in narrow sense with evaluated syntax and connectives interpreted Łukasiewicz algebra. The main results concern model theory (various kinds submodels, chains models) generalization Craig-Robinson's theorem on joint consistency theories as well Craig's interpolation theorem.