Mathematical Logic Quarterly

• 

  Año 2008, Vol. 54, Número 1

  • Seleccionado

    The Relation Reflection Scheme

    Peter Aczel

    págs. 5-11

    
  • Seleccionado

    Product a-frames and proximity

    Douglas S. Bridges

    págs. 12-26

    
  • Seleccionado

    A constructive version of Birkhoff's theorem

    Jesper Carlström

    págs. 27-34

    
  • Seleccionado

    A constructive semantics for non-deducibility

    Francesco Ciraulo

    págs. 35-48

    
  • Seleccionado

    Generalising compactness

    Hannes Diener

    págs. 49-57

    
  • Seleccionado

    Separation properties in neighbourhood and quasi-apartness spaces

    Robin Havea, Hajime Ishihara, Luminita Vîta

    págs. 58-64

    
  • Seleccionado

    Resolution of the uniform lower bound problem in constructive analysis

    Erik Palmgren

    págs. 65-69

    
  • Seleccionado

    Lazy bases: a minimalist constructive theory of Noetherian rings

    Hervé Perdry

    págs. 70-82

    
  • Seleccionado

    The natural numbers in constructive set theory

    Michael Rathjen

    págs. 83-97

    
  • Seleccionado

    Real numbers and other completions

    Fred Richman

    págs. 98-108

    
  • Seleccionado

    A localic theory of lower and upper integrals

    Steven Vickers

    págs. 109-123