Mathematical Logic Quarterly

• 

  Año 2013, Vol. 59, Número 1-2

  • Seleccionado

    Complexity and expressive power of second-order extended Horn logic

    Shiguang Feng, Xishun Zhao

    págs. 4-11

    
  • Seleccionado

    Two remarks on elementary theories of groups obtained by free constructions

    Eric Jaligot

    págs. 12-18

    
  • Seleccionado

    Ordinal operations on graph representations of sets

    Laurence Kirby

    págs. 19-26

    
  • Seleccionado

    Quantum computational logic with mixed states

    Hector Freytes, Graciela Domenech

    págs. 27-50

    
  • Seleccionado

    Remarks on gaps in Dense (Q) / nwd

    Teppo Kankaanpää

    págs. 51-61

    
  • Seleccionado

    A remark on the definability of the Fitting subgroup and the soluble radical

    Abderezak Ould Houcine

    págs. 62-65

    
  • Seleccionado

    Temporal Gödel-Gentzen and Girard translations

    Norihiro Kamide

    págs. 66-83

    
  • Seleccionado

    Weak forms of the Regularity Principle in the presence of lE1

    Charalampos Cornaros

    págs. 84-100

    
  • Seleccionado

    Computing links and accessing arcs

    Timothy H. McNicholl

    págs. 101-107

    
  • Seleccionado

    On the strength of Ramsey's theorem without S1-induction

    Keita Yokoyama

    págs. 108-111

    
  • Seleccionado

    A consistency proof for some restrictions of Tait's reflection principles

    Rupert McCallum

    págs. 112-118

    
  • Seleccionado

    On a classification of theories without the independence property

    Viktor Verbovskiy

    págs. 119-124