External Links

    Journal: Journal of Logic and Computation

    Volume 36, Issue 1

    0 -- 0Chengkai Liu, Qingguo Li, Xiangnan Zhou. Algebraic representations of some kinds of cocontinuous lattices
    0 -- 0Md. Aquil Khan, Amal Talukdar. Reasoning about attribute-relative approximations in multi-source environments: a modal framework with axiomatization
    0 -- 0Stepan L. Kuznetsov. On syntactic concept lattice models for the Lambek calculus and infinitary action logic
    0 -- 0Joel David Hamkins, Theodor Nenu. Did Turing prove the undecidability of the halting problem?
    0 -- 0Juntao Wang, Qiang Huang. An algebraic approach to the study of monadic substructural predicate logics over FLew
    0 -- 0Sapir Ben-Shahar, Rodney G. Downey, Mariya Ivanova Soskova. sQ -degrees
    runs on