Works matching IS 17550203 AND DT 2023 AND VI 16 AND IP 4


Results: 15
    1
    2
    3
    4
    5
    6
    7
    8
    9
    10
    11

    PROOF SYSTEMS FOR EXACT ENTAILMENT.

    Published in:
    Review of Symbolic Logic, 2023, v. 16, n. 4, p. 1260, doi. 10.1017/S175502032200020X
    By:
    • KORBMACHER, JOHANNES
    Publication type:
    Article
    12
    13

    FRACTIONAL-VALUED MODAL LOGIC.

    Published in:
    Review of Symbolic Logic, 2023, v. 16, n. 4, p. 1033, doi. 10.1017/S1755020321000411
    By:
    • PIAZZA, MARIO;
    • PULCINI, GABRIELE;
    • TESI, MATTEO
    Publication type:
    Article
    14
    15