Works matching IS 00393215 AND DT 2018 AND VI 106 AND IP 2


Results: 10
    1
    2

    Equivalences Among Polarity Algorithms.

    Published in:
    Studia Logica, 2018, v. 106, n. 2, p. 371, doi. 10.1007/s11225-017-9743-y
    By:
    • Lavalle-Martínez, José-de-Jesús;
    • Montes-y-Gómez, Manuel;
    • Villaseñor-Pineda, Luis;
    • Jiménez-Salazar, Héctor;
    • Bárcenas-Patiño, Ismael-Everardo
    Publication type:
    Article
    4

    Gödel’s Natural Deduction.

    Published in:
    Studia Logica, 2018, v. 106, n. 2, p. 397, doi. 10.1007/s11225-017-9744-x
    By:
    • Došen, Kosta;
    • Adžić, Miloš
    Publication type:
    Article
    5
    6
    7
    8
    9
    10