From Ifigenia, the wiki for intuitionistic fuzzy sets and generalized nets
Jump to navigation
Jump to search
shortcut
|
http://ifigenia.org/wiki/issue:nifs/18/2/51-52
|
| Title of paper:
|
A variant of Craig's interpolation theorem for intuitionistic fuzzy formulas. Part 2
|
| Author(s):
|
| Krassimir Atanassov
|
| Dept. of Bioinformatics and Mathematical Modelling, Institute of Biophysics and Biomedical Engineering, Bulgarian Academy of Sciences, 105 Acad. G. Bonchev Str., 1113 Sofia, Bulgaria
|
| krat@bas.bg
|
|
| Published in:
|
"Notes on IFS", Volume 18 (2012) Number 2, pages 51—52
|
| Download:
|
 PDF (99 Kb, Info)
|
| Abstract:
|
A variant of Craig’s interpolation theorem related to so-called sg-implication in intuitionistic fuzzy logic, is given. An open problem is formulated.
|
| Keywords:
|
Craig's interpolation theorem, Intuitionistic fuzzy logic.
|
| AMS Classification:
|
03E72
|
| References:
|
- Craig, W. Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory. J. Symbolic Logic, Vol. 22, 1957, 269–285.
- Barwise, J. (Ed.) Handbook of Mathematical Logic, North-Holland, Amsterdam, 1977.
- Atanassov, K., Intuitionistic Fuzzy Sets, Springer, Heidelberg, 1999.
- Atanassov, K., A variant of Craig's interpolation theorem for intuitionistic fuzzy formulas. Part 1, Notes on Intuitionistic Fuzzy Sets, Vol. 7, 2001, No. 2, 63–64.
|
| Citations:
|
The list of publications, citing this article may be empty or incomplete. If you can provide relevant data, please, write on the talk page.
|
|
