1 paper · 1 filter
Quentin Blomet, Bruno Da Ré
Recently, arXiv:2312.16035 showed that all logics based on Boolean Normal monotonic three-valued schemes coincide with classical logic when defined using a strict-tolerant standard…