Mathematical Logic Quarterly

• 

  Año 2010, Vol. 56, Número 1

  • Seleccionado

    Tallness and level by level equivalence and inequivalence

    Arthur W. Apter

    págs. 4-12

    
  • Seleccionado

    Confined modified realizability

    Gilda Ferreira, Paulo Oliva

    págs. 13-28

    
  • Seleccionado

    Forms of the Pasch axiom in ordered geometry

    Victor Pambuccian

    págs. 29-34

    
  • Seleccionado

    On pseudolinearity and generic pairs

    Evgueni Vassiliev

    págs. 35-41

    
  • Seleccionado

    Soft ordered semigroups

    Young Bae Jun, Kyoung Ja Lee, Asghar Khan

    págs. 42-50

    
  • Seleccionado

    Hyper MV -ideals in hyper MV -algebras

    Lida Torkzadeh, Afsaneh Ahadpanah

    págs. 51-62

    
  • Seleccionado

    Connectedness and compactness on standard sets

    Ricardo Almeida

    págs. 63-66

    
  • Seleccionado

    Degree spectra and immunity properties

    Barbara F. Csima, Iskander S. Kalimullin

    págs. 67-77

    
  • Seleccionado

    A Los type theorem for linear metric formulas

    Seyed-Mohammad Bagheri

    págs. 78-84

    
  • Seleccionado

    Full Lambek Calculus in natural deduction

    Ernst Zimmermann

    págs. 85-88

    
  • Seleccionado

    Analyzing completeness of axiomatic functional systems for temporal × modal logics

    Alfredo Burrieza Muñiz , Inmaculada Pérez de Guzmán Molina , Emilio José Muñoz Velasco

    págs. 89-102

    
  • Seleccionado

    The class of polyadic algebras has the super amalgamation property

    Tarek Sayed-Ahmed

    págs. 103-112