×

Found 1,279 Documents (Results 1–100)

Finite model property and varieties of BL-algebras. (English) Zbl 1501.06001

Harmati, István Á. (ed.) et al., Computational intelligence and mathematics for tackling complex problems 3. Selected papers based on the presentations at the ESCIM-2020, virtual, 2020 and 2021. Cham: Springer. Stud. Comput. Intell. 959, 23-30 (2022).
MSC:  06D35 03G25
PDFBibTeX XMLCite
Full Text: DOI

Unification in Łukasiewicz logic with a finite number of variables. (English) Zbl 1512.03032

Lesot, Marie-Jeanne (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 18th International Conference, IPMU 2020, Lisbon, Portugal, June 15–19, 2020. Proceedings, Part III. Cham: Springer. Commun. Comput. Inf. Sci. 1239, 622-633 (2020).
MSC:  03B50 06D35
PDFBibTeX XMLCite
Full Text: DOI

Graded decagon of opposition with fuzzy quantifier-based concept-forming operators. (English) Zbl 1512.68316

Lesot, Marie-Jeanne (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 18th International Conference, IPMU 2020, Lisbon, Portugal, June 15–19, 2020. Proceedings, Part III. Cham: Springer. Commun. Comput. Inf. Sci. 1239, 131-144 (2020).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software