Premium
Joint Consistency of Fuzzy Theories
Author(s) -
Novák Vilém
Publication year - 2002
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/1521-3870(200211)48:4<563::aid-malq563>3.0.co;2-w
Subject(s) - mathematics , fuzzy logic , consistency (knowledge bases) , generalization , algebra over a field , joint (building) , syntax , interpolation (computer graphics) , pure mathematics , artificial intelligence , discrete mathematics , computer science , mathematical analysis , engineering , architectural engineering , motion (physics)
This paper is a contribution to the development of fuzzy logic in narrow sense with evaluated syntax and connectives interpreted in Łukasiewicz algebra. The main results concern model theory of fuzzy logic (various kinds of submodels, chains of models) and generalization of the Craig‐Robinson's theorem on joint consistency of fuzzy theories as well as Craig's interpolation theorem.