Works matching IS 09425616 AND DT 2002 AND VI 48 AND IP 2

Results: 13
    1

    Algebraization of the Three-valued BCK-logic.

    Published in:
    Mathematical Logic Quarterly, 2002, v. 48, n. 2, p. 163, doi. 10.1002/1521-3870(200202)48:2<163::AID-MALQ163>3.0.CO;2-B
    By:
    • Olmedo, Francisco M. García;
    • Salas, Antonio J. Rodríguez
    Publication type:
    Article
    2

    Extensionality Versus Constructivity.

    Published in:
    Mathematical Logic Quarterly, 2002, v. 48, n. 2, p. 179, doi. 10.1002/1521-3870(200202)48:2<179::AID-MALQ179>3.0.CO;2-K
    By:
    • Valentini, Silvio
    Publication type:
    Article
    3

    Adjoining Almost Disjoint Permutations.

    Published in:
    Mathematical Logic Quarterly, 2002, v. 48, n. 2, p. 189, doi. 10.1002/1521-3870(200202)48:2<189::AID-MALQ189>3.0.CO;2-G
    By:
    • Yi Zhang
    Publication type:
    Article
    4
    5
    6

    Tree-Properties for Ordered Sets.

    Published in:
    Mathematical Logic Quarterly, 2002, v. 48, n. 2, p. 213, doi. 10.1002/1521-3870(200202)48:2<213::AID-MALQ213>3.0.CO;2-R
    By:
    • Esser, Olivier;
    • Hinnion, Roland
    Publication type:
    Article
    7

    Strengths and Weaknesses of LH Arithmetic.

    Published in:
    Mathematical Logic Quarterly, 2002, v. 48, n. 2, p. 221, doi. 10.1002/1521-3870(200202)48:2<221::AID-MALQ221>3.0.CO;2-V
    By:
    • Pollett, Chris;
    • Pruim, Randall
    Publication type:
    Article
    8

    Bounded Scott Set Saturation.

    Published in:
    Mathematical Logic Quarterly, 2002, v. 48, n. 2, p. 245, doi. 10.1002/1521-3870(200202)48:2<245::AID-MALQ245>3.0.CO;2-7
    By:
    • McAllister, Alex M.
    Publication type:
    Article
    9
    10
    11

    Moving Intersticial Gaps.

    Published in:
    Mathematical Logic Quarterly, 2002, v. 48, n. 2, p. 283, doi. 10.1002/1521-3870(200202)48:2<283::AID-MALQ283>3.0.CO;2-#
    By:
    • Schmerl, James H.
    Publication type:
    Article
    12
    13