Works matching IS 17550203 AND DT 2010 AND VI 3 AND IP 4

Results: 6
    1

    ON TRUTH-FUNCTIONALITY.

    Published in:
    Review of Symbolic Logic, 2010, v. 3, n. 4, p. 628, doi. 10.1017/S1755020310000274
    By:
    • Hill, Daniel J.;
    • McLeod, Stephen K.
    Publication type:
    Article
    2
    3

    UNFOLDING FINITIST ARITHMETIC.

    Published in:
    Review of Symbolic Logic, 2010, v. 3, n. 4, p. 665, doi. 10.1017/S1755020310000183
    By:
    • Fefernan, Solomon;
    • Strahm, Thomas
    Publication type:
    Article
    4
    5

    FULL MEREOGEOMETRIES.

    Published in:
    Review of Symbolic Logic, 2010, v. 3, n. 4, p. 521, doi. 10.1017/S1755020310000110
    By:
    • Borgo, Stefano;
    • Masolo, Claudio
    Publication type:
    Article
    6

    FORMULAS IN MODAL LOGIC S4.

    Published in:
    Review of Symbolic Logic, 2010, v. 3, n. 4, p. 600, doi. 10.1017/S1755020310000043
    By:
    • Sasaki, Katsumi
    Publication type:
    Article