Works matching IS 01380680 AND DT 2020 AND VI 49 AND IP 4
Results: 5
FOUR-VALUED EXPANSIONS OF DUNN-BELNAP'S LOGIC (I): BASIC CHARACTERIZATIONS.
- Published in:
- Bulletin of the Section of Logic, 2020, v. 49, n. 4, p. 401, doi. 10.18778/0138-0680.2020.19
- By:
- Publication type:
- Article
LENGTH NEUTROSOPHIC SUBALGEBRAS OF BCK/BCI-ALGEBRAS.
- Published in:
- Bulletin of the Section of Logic, 2020, v. 49, n. 4, p. 377, doi. 10.18778/0138-0680.2020.21
- By:
- Publication type:
- Article
EMPIRICAL NEGATION, CO-NEGATION AND THE CONTRAPOSITION RULE II: PROOF-THEORETICAL INVESTIGATIONS.
- Published in:
- Bulletin of the Section of Logic, 2020, v. 49, n. 4, p. 359, doi. 10.18778/0138-0680.2020.13
- By:
- Publication type:
- Article
FROM INTUITIONISM TO BROUWER'S MODAL LOGIC.
- Published in:
- Bulletin of the Section of Logic, 2020, v. 49, n. 4, p. 343, doi. 10.18778/0138-0680.2020.22
- By:
- Publication type:
- Article
THE PHENOMENOLOGY OF SECOND-LEVEL INFERENCE: PERFUMES IN THE DEDUCTIVE GARDEN.
- Published in:
- Bulletin of the Section of Logic, 2020, v. 49, n. 4, p. 327, doi. 10.18778/0138-0680.2020.23
- By:
- Publication type:
- Article