×

zbMATH — the first resource for mathematics

Joint consistency of fuzzy theories. (English) Zbl 1019.03020
For Łukasiewicz fuzzy logic, i.e. for infinite-valued Łukasiewicz logic with graded entailment, the author discusses and proves suitable generalizations of the Craig Interpolation Theorem and of the Craig-Robinson Joint Consistency Theorem, and develops the necessary model-theoretic tools he needs for the proofs.

MSC:
03B52 Fuzzy logic; logic of vagueness
03B50 Many-valued logic
03C99 Model theory
PDF BibTeX XML Cite
Full Text: DOI