Works matching IS 01380680 AND DT 2021 AND VI 50 AND IP 1

Results: 4

  • SOJU FILTERS IN HOOP ALGEBRAS.

    Published in:
    Bulletin of the Section of Logic, 2021, v. 50, n. 1, p. 97, doi. 10.18778/0138-0680.2020.28
    By:
    • Borzooei, Rajab Ali;
    • Rezaei, Gholam Reza;
    • Kologani, Mona Aaly;
    • Young Bae Jun
    Publication type:
    Article

  • ON GE-ALGEBRAS.

    Published in:
    Bulletin of the Section of Logic, 2021, v. 50, n. 1, p. 81, doi. 10.18778/0138-0680.2020.20
    By:
    • Bandaru, Ravikumar;
    • Saeid, Arsham Borumand;
    • Young Bae Jun
    Publication type:
    Article

  • ONE-SIDED SEQUENT SYSTEMS FOR NONASSOCIATIVE BILINEAR LOGIC: CUT ELIMINATION AND COMPLEXITY.

    Published in:
    Bulletin of the Section of Logic, 2021, v. 50, n. 1, p. 55, doi. 10.18778/0138-0680.2020.25
    By:
    • Płaczek, Paweł
    Publication type:
    Article

  • SUPER-STRICT IMPLICATIONS.

    Published in:
    Bulletin of the Section of Logic, 2021, v. 50, n. 1, p. 1, doi. 10.18778/0138-0680.2021.02
    By:
    • Gherardi, Guido;
    • Orlandelli, Eugenio
    Publication type:
    Article