Suzuki, N.-Y. 1997. Kripke frames with graded accessibility and fuzzy possible world semantics.
Studia Logica 59, 249--269.
доступные мне онлайн базы уже обысканы.
буду, опять же, очень и весьма!!!
АПДЕЙТ:
надо идти на службу, а я тут чуть не свалился со стула!!!! в этой статье, текст которой мне только что прислал justpasha -- паки и паки, спасибо ему!!!! -- уже разработана вся формальная логика под то, что я назвал FK-миры, и даже введено название fuzzy Kripke logic и даже обозначение fK (f маленькая, но это единственное различие).
слава Богу!!! не приходится изобретать велосипед.
но, однако, долго логики думали: Крипке -- 1963 г., Заде -- 1976, а эта статья -- 1997.
