Pan, Haiyu; Zhang, Min; Wu, Hengyang; Chen, Yixiang Quantitative analysis of lattice-valued Kripke structures. (English) Zbl 1354.03028 Fundam. Inform. 135, No. 3, 269-293 (2014). MSC: 03B50 03B52 03B44 03G25 06D20 68Q85 PDFBibTeX XMLCite \textit{H. Pan} et al., Fundam. Inform. 135, No. 3, 269--293 (2014; Zbl 1354.03028) Full Text: DOI
Krídlo, Ondrej; Krajči, Stanislav; Ojeda-Aciego, Manuel The category of \(L\)-Chu correspondences and the structure of \(L\)-bonds. (English) Zbl 1256.06012 Fundam. Inform. 115, No. 4, 297-325 (2012). MSC: 06F05 18B99 68T30 PDFBibTeX XMLCite \textit{O. Krídlo} et al., Fundam. Inform. 115, No. 4, 297--325 (2012; Zbl 1256.06012) Full Text: Link
Wu, Zhengjiang; Li, Tianrui; Qin, Keyun; Ruan, Da Approximation operators, binary relation and basis algebra in L-fuzzy rough sets. (English) Zbl 1237.03036 Fundam. Inform. 111, No. 1, 47-63 (2011). MSC: 03E72 PDFBibTeX XMLCite \textit{Z. Wu} et al., Fundam. Inform. 111, No. 1, 47--63 (2011; Zbl 1237.03036) Full Text: Link
Švrček, Filip On the axiomatic system of \(\mathrm{SBL}_\neg\)-algebras. (English) Zbl 1166.03039 Fundam. Inform. 89, No. 2-3, 345-368 (2008). Reviewer: Dana Piciu (Craiova) MSC: 03G25 03B52 PDFBibTeX XMLCite \textit{F. Švrček}, Fundam. Inform. 89, No. 2--3, 345--368 (2008; Zbl 1166.03039)
Ciucci, Davide On the axioms of residuated structures: independence, dependencies and rough approximations. (English) Zbl 1100.06011 Fundam. Inform. 69, No. 4, 359-387 (2006). Reviewer: Jiří Rachůnek (Olomouc) MSC: 06F05 03G25 68T37 PDFBibTeX XMLCite \textit{D. Ciucci}, Fundam. Inform. 69, No. 4, 359--387 (2006; Zbl 1100.06011)