External Links

    Journal: Math. Log. Q.

    Volume 49, Issue 4

    327 -- 335Stephen Binns. A splitting theorem for the Medvedev and Muchnik lattices
    336 -- 346Francisco M. García Olmedo, Antonio J. Rodríguez Salas. Negation and BCK-algebras
    347 -- 352George Voutsadakis. Categorical abstract algebraic logic: The criterion for deductive equivalence
    353 -- 362Matthias Galota, Sven Kosub, Heribert Vollmer. Generic separations and leaf languages
    363 -- 368Masahiko Murakami, Akito Tsuboi. Expanding the additive reduct of a model of Peano arithmetic
    369 -- 374Kyriakos Kermedis. Some weak forms of the Baire category theorem
    375 -- 384Arthur W. Apter. Characterizing strong compactness via strongness
    385 -- 392Troy Lee. Arithmetical definability over finite structures
    394 -- 400Stefano Leonesi, Carlo Toffalori. omega-categorical weakly o-minimal expansions of Boolean lattices
    401 -- 414Ryo Kashima. On semilattice relevant logics
    415 -- 424Zoran Markovic, Zoran Ognjanovic, Miodrag Raskovic. A probabilistic extension of intuitionistic logic
    425 -- 427Morteza Moniri. On two questions about feasibly constructive arithmetic
    428 -- 432Armin Hemmerling. The discrete parts of approximately decidable sets in Euclidean spaces
    runs on