Mathematical Logic Quarterly

Cover image for Mathematical Logic Quarterly

January 2010

Volume 56, Issue 1

Pages 1–112

  1. Contents

    1. Top of page
    2. Contents
    3. Original Papers
    1. Contents: Math. Log. Quart. 1/2010 (pages 1–3)

      Version of Record online: 15 JAN 2010 | DOI: 10.1002/malq.201010000

  2. Original Papers

    1. Top of page
    2. Contents
    3. Original Papers
    1. Confined modified realizability (pages 13–28)

      Gilda Ferreira and Paulo Oliva

      Version of Record online: 15 JAN 2010 | DOI: 10.1002/malq.200810029

    2. Forms of the Pasch axiom in ordered geometry (pages 29–34)

      Victor Pambuccian

      Version of Record online: 15 JAN 2010 | DOI: 10.1002/malq.200810032

    3. On pseudolinearity and generic pairs (pages 35–41)

      Evgueni Vassiliev

      Version of Record online: 15 JAN 2010 | DOI: 10.1002/malq.200810033

    4. Soft ordered semigroups (pages 42–50)

      Young Bae Jun, Kyoung Ja Lee and Asghar Khan

      Version of Record online: 15 JAN 2010 | DOI: 10.1002/malq.200810030

    5. Hyper MV -ideals in hyper MV -algebras (pages 51–62)

      Lida Torkzadeh and Afsaneh Ahadpanah

      Version of Record online: 15 JAN 2010 | DOI: 10.1002/malq.200810035

    6. Connectedness and compactness on standard sets (pages 63–66)

      Ricardo Almeida

      Version of Record online: 15 JAN 2010 | DOI: 10.1002/malq.200810036

    7. Degree spectra and immunity properties (pages 67–77)

      Barbara F. Csima and Iskander S. Kalimullin

      Version of Record online: 15 JAN 2010 | DOI: 10.1002/malq.200910001

    8. A Łoś type theorem for linear metric formulas (pages 78–84)

      Seyed-Mohammad Bagheri

      Version of Record online: 15 JAN 2010 | DOI: 10.1002/malq.200810037

    9. Full Lambek Calculus in natural deduction (pages 85–88)

      Ernst Zimmermann

      Version of Record online: 15 JAN 2010 | DOI: 10.1002/malq.200810042

    10. Analyzing completeness of axiomatic functional systems for temporal × modal logics (pages 89–102)

      Alfredo Burrieza, Inmaculada P. de Guzmán and Emilio Muñoz-Velasco

      Version of Record online: 15 JAN 2010 | DOI: 10.1002/malq.200810038

SEARCH

SEARCH BY CITATION