## Abstract The main purpose of this note is to characterize consistency of logic theories in propositional logic by means of topological concept. Based on the concepts of truth degree of formulas and similarity degree between formulas the concept of logic metric space has been proposed by the firs
Joint Consistency of Fuzzy Theories
✍ Scribed by Vilém Novák
- Publisher
- John Wiley and Sons
- Year
- 2002
- Tongue
- English
- Weight
- 194 KB
- Volume
- 48
- Category
- Article
- ISSN
- 0044-3050
No coin nor oath required. For personal study only.
✦ Synopsis
This paper is a contribution to the development of fuzzy logic in narrow sense with evaluated syntax and connectives interpreted in Lukasiewicz 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.
📜 SIMILAR VOLUMES
Theory of limits is the base of the classical mathematical analysis (the calculus). In a similar way, theory of fuzzy limits, presented in this paper, is the base of neoclassical analysis, which is a new branch of fuzzy mathematics and extends possibilities provided by classical analysis. The concep