Works matching DE "ELIMINATION (Mathematics)"


Results: 187
    1
    2
    3
    4
    5
    6

    A Note on Harmony.

    Published in:
    Journal of Philosophical Logic, 2012, v. 41, n. 3, p. 613, doi. 10.1007/s10992-011-9208-0
    By:
    • Francez, Nissim;
    • Dyckhoff, Roy
    Publication type:
    Article
    7

    How to Precisify Quantifiers.

    Published in:
    Journal of Philosophical Logic, 2011, v. 40, n. 1, p. 103, doi. 10.1007/s10992-010-9152-4
    By:
    • Båve, Arvid
    Publication type:
    Article
    8
    9

    Inquisitive Logic.

    Published in:
    Journal of Philosophical Logic, 2011, v. 40, n. 1, p. 55, doi. 10.1007/s10992-010-9142-6
    By:
    • Ciardelli, Ivano;
    • Roelofsen, Floris
    Publication type:
    Article
    10
    11
    12
    13
    14
    15
    16
    17
    18
    19
    20
    21
    22
    23
    24
    25
    26
    27
    28
    29
    30
    31

    An extension of the omega-rule.

    Published in:
    Archive for Mathematical Logic, 2016, v. 55, n. 3/4, p. 593, doi. 10.1007/s00153-016-0482-y
    By:
    • Akiyoshi, Ryota;
    • Mints, Grigori
    Publication type:
    Article
    32
    33
    34
    35
    36
    37
    38
    39
    40

    General Jacobi Identity Revisited Again.

    Published in:
    International Journal of Theoretical Physics, 2007, v. 46, n. 11, p. 2843, doi. 10.1007/s10773-007-9397-z
    By:
    • Nishimura, Hirokazu;
    • Osoekawa, Takeshi
    Publication type:
    Article
    41
    42

    Connexive Gentzen.

    Published in:
    Logic Journal of the IGPL, 2014, v. 22, n. 6, p. 964, doi. 10.1093/jigpal/jzu019
    By:
    • McCall, Storrs
    Publication type:
    Article
    43
    44
    45
    46

    Analytic cut trees.

    Published in:
    Logic Journal of the IGPL, 2000, v. 8, n. 6, p. 733, doi. 10.1093/jigpal/8.6.733
    By:
    • Cellucci, C
    Publication type:
    Article
    47
    48
    49
    50