FMP for QD logics. A wrong proof
Logic in Computer Science
2026-03-17 v4
Abstract
This paper initially aimed at proposing a proof that quasi-dense logics have f.m.p, but it contains a major flaw, unfixable.
Cite
@article{arxiv.2507.11258,
title = {FMP for QD logics. A wrong proof},
author = {Olivier Gasquet},
journal= {arXiv preprint arXiv:2507.11258},
year = {2026}
}
Comments
It contains a major mistake that makes it valueless