Connecting you to content on EBSCOhost

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

Results: 4

1

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

2

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

3

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

4

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