LOMar 16
FMP for QD logics. A wrong proof
arXiv:2507.1125815.9h-index: 14
Predicted impact top 48% in LO · last 90 daysOriginality Synthesis-oriented
AI Analysis
This is an incremental contribution that highlights an error in a theoretical claim for logicians and mathematicians.
The paper attempted to prove that quasi-dense logics have the finite model property, but the proof was found to contain a major, unfixable flaw.
This paper initially aimed at proposing a proof that quasi-dense logics have f.m.p, but it contains a major flaw, unfixable.