Mathematical Logic Quarterly

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

Cover image for Mathematical Logic Quarterly

September 2003

Volume 49, Issue 5

Pages 435–540

    1. Translations from natural deduction to sequent calculus (pages 435–443)

      Jan von Plato

      Article first published online: 3 JUL 2003 | DOI: 10.1002/malq.200310047

    2. Choice principles for special subsets of the real line (pages 444–454)

      Kyriakos Keremedis and Eleftherios Tachtsis

      Article first published online: 3 JUL 2003 | DOI: 10.1002/malq.200310048

    3. Metric spaces and the axiom of choice (pages 455–466)

      Omar De la Cruz, Eric Hall, Paul Howard, Kyriakos Keremedis and Jean E. Rubin

      Article first published online: 3 JUL 2003 | DOI: 10.1002/malq.200310049

    4. Sequent systems for compact bilinear logic (pages 467–474)

      Wojciech Buszkowski

      Article first published online: 3 JUL 2003 | DOI: 10.1002/malq.200310050

    5. Some remarks on indiscernible sequences (pages 475–478)

      Enrique Casanovas

      Article first published online: 3 JUL 2003 | DOI: 10.1002/malq.200310051

    6. Some results on Kripke models over an arbitrary fixed frame (pages 479–484)

      Seyed Mohammad Bagheri and Morteza Moniri

      Article first published online: 3 JUL 2003 | DOI: 10.1002/malq.200310052

    7. Computable choice functions for computable linear orderings (pages 485–510)

      Manuel Lerman and Richard Watnick

      Article first published online: 3 JUL 2003 | DOI: 10.1002/malq.200310053

    8. On the regular extension axiom and its variants (pages 511–518)

      Michael Rathjen and Robert S. Lubarsky

      Article first published online: 3 JUL 2003 | DOI: 10.1002/malq.200310054

    9. A note on dual-intuitionistic logic (pages 519–524)

      Norihiro Kamide

      Article first published online: 3 JUL 2003 | DOI: 10.1002/malq.200310055

    10. New sequent calculi for Visser's Formal Propositional Logic (pages 525–535)

      Katsumasa Ishii

      Article first published online: 3 JUL 2003 | DOI: 10.1002/malq.200310056

    11. Pf ≠ NPf for almost all f (pages 536–540)

      Joel David Hamkins and Philip D. Welch

      Article first published online: 3 JUL 2003 | DOI: 10.1002/malq.200310057

SEARCH

SEARCH BY CITATION