From Ifigenia, the wiki for intuitionistic fuzzy sets and generalized nets
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
shortcut
|
http://ifigenia.org/wiki/issue:nifs/7/2/63-64
|
| Title of paper:
|
A variant of Craig's interpolation theorem for intuitionistic fuzzy formulae. Part 1
|
| Author(s):
|
| Krassimir Atanassov
|
| CLBME - Bulgarian Academy of Sciences, P.O. Box 12, Sofia-1113, Bulgaria
|
| krat@bgcict.acad.bg (current: krat@bas.bg)
|
|
| Published in:
|
Notes on Intuitionistic Fuzzy Sets, Volume 7 (2001), Number 2, pages 63—64
|
| Download:
|
 PDF (1393 Kb, File info)
|
| Abstract:
|
What is formulated and proved is an analogue of the W. Craig’s interpolation theorem [1,2] for the case of Intuitionistic Fuzzy Propositional Calculus (IFPC) formulae [3].
|
| 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 Physica-Verlag, Heidelberg, 1999.
|
| 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.
|
|
