加载中…
2025-07-15
FMP for QD logics. A wrong proof
Olivier Gasquet
文献摘要
This paper initially aimed at proposing a proof that quasi-dense logics have f.m.p, but it contains a major flaw, unfixable.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本
This paper initially aimed at proposing a proof that quasi-dense logics have f.m.p, but it contains a major flaw, unfixable.
生成讲解博客的中文版本
生成AI智能校验的中文版本