IPM LOGIC GROUP

News

Upcoming Events

Publications

M. Ghari, A note on fixed points in quantified logic of proofs and the surprise test paradox (In Persian) Logical Studies (to appear)
M. Ghari, Linear temporal justifiCation logics with past and future time modalities Log. J. IGPL (to appear)
K. Khanaki, $\Aleph_0$-categorical Banach spaces contain $\Ell_P$ or $C_0$ Math. Logic Quart. (to appear)
S. Tari, Strong cell decomposition property in o-minimal traces Arch. Math. Logic (2020), DOI: 10.1007/s00153-020-00739-2
Sh. Mohsenipour, Discrete orderings in the real spectrum J. Algebra 560(2020), 1-16