OpenAlex
( α, β )-Ordered linear resolution of intuitionistic fuzzy propositional logic
Work