\((\alpha, \beta)\)-ordered linear resolution of intuitionistic fuzzy propositional logic
intuitionistic fuzzy propositional logic
\((\alpha, \beta)\)-ordered linear resolution
scientific article; zbMATH DE number 7216889