Works matching IS 17550203 AND DT 2022 AND VI 15 AND IP 4


Results: 11
    1

    MEREOLOGICAL BIMODAL LOGICS.

    Published in:
    Review of Symbolic Logic, 2022, v. 15, n. 4, p. 823, doi. 10.1017/S175502032200003X
    By:
    • LI, DAZHU;
    • WANG, YANJING
    Publication type:
    Article
    2
    3

    AGAINST CUMULATIVE TYPE THEORY.

    Published in:
    Review of Symbolic Logic, 2022, v. 15, n. 4, p. 907, doi. 10.1017/S1755020321000435
    By:
    • BUTTON, TIM;
    • TRUEMAN, ROBERT
    Publication type:
    Article
    4
    5
    6
    7
    8
    9

    THE COPERNICAN MULTIVERSE OF SETS.

    Published in:
    Review of Symbolic Logic, 2022, v. 15, n. 4, p. 1033, doi. 10.1017/S1755020321000241
    By:
    • GORBOW, PAUL K.;
    • LEIGH, GRAHAM E.
    Publication type:
    Article
    10
    11