Mathematical Logic Quarterly

Copyright © 2012 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim

Cover image for Mathematical Logic Quarterly

March 2004

Volume 50, Issue 2

Pages 111–216

    1. Glivenko like theorems in natural expansions of BCK-logic (pages 111–125)

      Roberto Cignoli and Antoni Torrens Torrell

      Article first published online: 3 FEB 2004 | DOI: 10.1002/malq.200310082

    2. Weak forms of elimination of imaginaries (pages 126–140)

      Enrique Casanovas and Rafel Farré

      Article first published online: 3 FEB 2004 | DOI: 10.1002/malq.200310083

    3. Consequences of the failure of the axiom of choice in the theory of Lindelöf metric spaces (pages 141–151)

      Kyriakos Keremedis

      Article first published online: 3 FEB 2004 | DOI: 10.1002/malq.200310084

    4. Polygones (pages 152–168)

      Virginie Mazoyer

      Article first published online: 3 FEB 2004 | DOI: 10.1002/malq.200310085

    5. Arithmetic of divisibility in finite models (pages 169–174)

      Marcin Mostowski and Anna E. Wasilewska

      Article first published online: 3 FEB 2004 | DOI: 10.1002/malq.200310086

    6. A solution to identities problem in 2-element HSI-algebras (pages 175–178)

      Gurgen R. Asatryan

      Article first published online: 3 FEB 2004 | DOI: 10.1002/malq.200310087

    7. An Ehrenfeucht-Fraïssé class game (pages 179–188)

      Wafik Boulos Lotfallah

      Article first published online: 3 FEB 2004 | DOI: 10.1002/malq.200310088

    8. Quasi-complements of the cappable degrees (pages 189–201)

      Guohua Wu

      Article first published online: 3 FEB 2004 | DOI: 10.1002/malq.200310089

    9. A secondary semantics for Second Order Intuitionistic Propositional Logic (pages 202–210)

      Mauro Ferrari, Camillo Fiorentini and Guido Fiorino

      Article first published online: 3 FEB 2004 | DOI: 10.1002/malq.200310090

    10. Boolos-style proofs of limitative theorems (pages 211–216)

      György Serény

      Article first published online: 3 FEB 2004 | DOI: 10.1002/malq.200310091

SEARCH

SEARCH BY CITATION