Boffa, Stefania; Campagner, Andrea; Ciucci, Davide; Yao, Yiyu Aggregation operators on shadowed sets. (English) Zbl 07810535 Inf. Sci. 595, 313-333 (2022). MSC: 68-XX 47-XX PDFBibTeX XMLCite \textit{S. Boffa} et al., Inf. Sci. 595, 313--333 (2022; Zbl 07810535) Full Text: DOI
Ibrahim, Musa Adeku; William-West, Tamunokuro Opubo A generalized cost-sensitive model for decision-theoretic three-way approximation of fuzzy sets. (English) Zbl 1528.68373 Inf. Sci. 570, 638-667 (2021). MSC: 68T37 03E72 PDFBibTeX XMLCite \textit{M. A. Ibrahim} and \textit{T. O. William-West}, Inf. Sci. 570, 638--667 (2021; Zbl 1528.68373) Full Text: DOI
Yao, Yiyu; Wang, Shu; Deng, Xiaofei Constructing shadowed sets and three-way approximations of fuzzy sets. (English) Zbl 1435.68330 Inf. Sci. 412-413, 132-153 (2017). MSC: 68T37 03E72 PDFBibTeX XMLCite \textit{Y. Yao} et al., Inf. Sci. 412--413, 132--153 (2017; Zbl 1435.68330) Full Text: DOI
Deng, Guannan; Jiang, Yanli Fuzzy reasoning method by optimizing the similarity of truth-tables. (English) Zbl 1355.68255 Inf. Sci. 288, 290-313 (2014). MSC: 68T37 PDFBibTeX XMLCite \textit{G. Deng} and \textit{Y. Jiang}, Inf. Sci. 288, 290--313 (2014; Zbl 1355.68255) Full Text: DOI
Deng, Xiaofei; Yao, Yiyu Decision-theoretic three-way approximations of fuzzy sets. (English) Zbl 1354.03073 Inf. Sci. 279, 702-715 (2014). MSC: 03E72 PDFBibTeX XMLCite \textit{X. Deng} and \textit{Y. Yao}, Inf. Sci. 279, 702--715 (2014; Zbl 1354.03073) Full Text: DOI
Ciucci, D.; Dubois, D. A map of dependencies among three-valued logics. (English) Zbl 1321.03037 Inf. Sci. 250, 162-177 (2013); corrigendum ibid. 256, 234-235 (2014). MSC: 03B50 06D35 PDFBibTeX XMLCite \textit{D. Ciucci} and \textit{D. Dubois}, Inf. Sci. 250, 162--177 (2013; Zbl 1321.03037) Full Text: DOI HAL
Fiorino, Guido Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus. (English) Zbl 1202.03026 Inf. Sci. 180, No. 19, 3633-3646 (2010). MSC: 03B35 03B55 PDFBibTeX XMLCite \textit{G. Fiorino}, Inf. Sci. 180, No. 19, 3633--3646 (2010; Zbl 1202.03026) Full Text: DOI
Liu, Faye F.; Moore, Douglas H. An implementation of Kripke-Kleene semantics. (English) Zbl 0934.68057 Inf. Sci. 108, No. 1-4, 31-50 (1998). MSC: 68Q55 68N17 PDFBibTeX XMLCite \textit{F. F. Liu} and \textit{D. H. Moore}, Inf. Sci. 108, No. 1--4, 31--50 (1998; Zbl 0934.68057) Full Text: DOI
Suzuki, Hisashi; Arimoto, Suguru Embedment of a fuzzy logic system into a Boolean lattice for satisfying a complementary law. (English) Zbl 0801.03020 Inf. Sci. 78, No. 3-4, 257-268 (1994). MSC: 03B52 03G10 PDFBibTeX XMLCite \textit{H. Suzuki} and \textit{S. Arimoto}, Inf. Sci. 78, No. 3--4, 257--268 (1994; Zbl 0801.03020) Full Text: DOI
Rozonoèr, L. I. On interpretation of inconsistent theories. (English) Zbl 0677.03019 Inf. Sci. 47, No. 3, 243-266 (1989). Reviewer: L.I.Rozonoehr MSC: 03B60 03B20 PDFBibTeX XMLCite \textit{L. I. Rozonoèr}, Inf. Sci. 47, No. 3, 243--266 (1989; Zbl 0677.03019) Full Text: DOI
Chen, Tsong Yueh Formalization of equivalence of recursively defined functions. (English) Zbl 0443.68023 Inf. Sci. 15, 219-227 (1978). MSC: 68Q65 03D20 68N01 PDFBibTeX XMLCite \textit{T. Y. Chen}, Inf. Sci. 15, 219--227 (1978; Zbl 0443.68023) Full Text: DOI
Lawrence, J. Dennis; Starkey, J. Denbigh Experimental tests of resolution-based theorem-proving strategies. (English) Zbl 0338.68065 Inf. Sci. 10, 131-154 (1976). MSC: 68T15 68N01 68W99 68T10 PDFBibTeX XMLCite \textit{J. D. Lawrence} and \textit{J. D. Starkey}, Inf. Sci. 10, 131--154 (1976; Zbl 0338.68065) Full Text: DOI
Coray, G.; Hatcher, W. S. A logical framework for large file information handling. (English) Zbl 0295.68030 Inf. Sci. 8, 27-38 (1975). MSC: 68N01 PDFBibTeX XMLCite \textit{G. Coray} and \textit{W. S. Hatcher}, Inf. Sci. 8, 27--38 (1975; Zbl 0295.68030) Full Text: DOI
Peters, P. Stanley jun.; Ritchie, R. W. On the generative power of transformational grammars. (English) Zbl 0251.68045 Inf. Sci. 6, 49-83 (1973). MSC: 68Q45 PDFBibTeX XMLCite \textit{P. S. Peters jun.} and \textit{R. W. Ritchie}, Inf. Sci. 6, 49--83 (1973; Zbl 0251.68045) Full Text: DOI
Cannonito, Frank B. A note on inverses of elementary permutations. (English) Zbl 0229.02034 Inf. Sci. 3, 355-359 (1971). MSC: 03D20 PDFBibTeX XMLCite \textit{F. B. Cannonito}, Inf. Sci. 3, 355--359 (1971; Zbl 0229.02034) Full Text: DOI
Feder, Jerome Plex languages. (English) Zbl 0222.68029 Inf. Sci. 3, 225-241 (1971). MSC: 68Q42 68Q45 PDFBibTeX XMLCite \textit{J. Feder}, Inf. Sci. 3, 225--241 (1971; Zbl 0222.68029) Full Text: DOI
Gilmore, P. C. The lambda-gamma calculus: A language adequate for defining recursive functions. (English) Zbl 0205.01402 Inf. Sci. 2, 111-126 (1970). MSC: 03B40 03D20 PDFBibTeX XMLCite \textit{P. C. Gilmore}, Inf. Sci. 2, 111--126 (1970; Zbl 0205.01402) Full Text: DOI