A Three-Valued Fregean Quantification Logic

Journal of Philosophical Logic - Kripke’s Fregean quantification logic FQ fails to formalize the usual first-order logic with identity due to the interpretation of the conditional operator....     

Countably Many Weakenings of Belnap–Dunn Logic

Studia Logica - Every Berman’s variety $$\mathbb {K}_p^q$$ which is the subvariety of Ockham algebras defined by the equation $${\sim ^{2p+q}}a = {\sim ^q}a$$ ($$p\ge 1$$ and $$q\ge 0$$)...     

Sym（f（n））上最终无不动点且最终不同的集合

本文研究的是极大的最终无不动点且最终不同的集合（m.e.fd.集合）的基数,并讨论了与此相关的一个连续统常量,证明了以下结果：1.c_e〉W2.存在一个大小为2~w的m.e.f.d.集合。3.ZFC＋MA c_e=2~w4.令M｜=ZFC＋ CH,κ是M中满足条件w1≤κ〈2~w=λ的基数。则存在一个c.c.c.的力迫概念P,使得在模型M~p中有：（i）2~w=λ（ii）存在一个m.e.f.d的集合,其基数为κ。5.令M｜=（ZFC＋CH）。则在M中存在一个基数为W1的m.e.f.d.的集合A,使得对任意一个M上的Cohen力迫概念P,A在M~p中还是m.e.f.d.的集合。     

A Deterministic Weakening of Belnap–Dunn Logic

Studia Logica - A deterministic weakening $$\mathsf {DW}$$ of the Belnap–Dunn four-valued logic $$\mathsf {BD}$$ is introduced to formalize the acceptance and rejection of a proposition at a...