Works matching IS 17550203 AND DT 2014 AND VI 7 AND IP 1


Results: 9
    1
    2
    3
    4

    ON FLATTENING ELIMINATION RULES.

    Published in:
    Review of Symbolic Logic, 2014, v. 7, n. 1, p. 60, doi. 10.1017/S1755020313000385
    By:
    • OLKHOVIKOV, GRIGORY K.;
    • SCHROEDER-HEISTER, PETER
    Publication type:
    Article
    5

    THE QUANTIFIED ARGUMENT CALCULUS.

    Published in:
    Review of Symbolic Logic, 2014, v. 7, n. 1, p. 120, doi. 10.1017/S1755020313000373
    By:
    • BEN-YAMI, HANOCH
    Publication type:
    Article
    6
    7
    8

    LOGICAL GROUNDS.

    Published in:
    Review of Symbolic Logic, 2014, v. 7, n. 1, p. 31, doi. 10.1017/S1755020313000300
    By:
    • CORREIA, FABRICE
    Publication type:
    Article
    9

    AXIOMS FOR GROUNDED TRUTH.

    Published in:
    Review of Symbolic Logic, 2014, v. 7, n. 1, p. 73, doi. 10.1017/S1755020313000282
    By:
    • SCHINDLER, THOMAS
    Publication type:
    Article