AN ALGEBRAIC PROOF OF COMPLETENESS FOR MONADIC FUZZY PREDICATE LOGIC MMTL∀ – ERRATUM
REVIEW OF SYMBOLIC LOGIC（2023）
关键词
monadic fuzzy predicate logic,S5-like fuzzy modal logic,monadic MTL-algebra,functional representation,subdirectly irreducible,completeness
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要