Works matching IS 01380680 AND DT 2020 AND VI 49 AND IP 3
Results: 5
EQUALITY LOGIC.
- Published in:
- Bulletin of the Section of Logic, 2020, v. 49, n. 3, p. 291, doi. 10.18778/0138-0680.2020.14
- By:
- Publication type:
- Article
MODULE STRUCTURE ON EFFECT ALGEBRAS.
- Published in:
- Bulletin of the Section of Logic, 2020, v. 49, n. 3, p. 269, doi. 10.18778/0138-0680.2020.17
- By:
- Publication type:
- Article
NEW MODIFICATION OF THE SUBFORMULA PROPERTY FOR A MODAL LOGIC.
- Published in:
- Bulletin of the Section of Logic, 2020, v. 49, n. 3, p. 255, doi. 10.18778/0138-0680.2020.15
- By:
- Publication type:
- Article
EMPIRICAL NEGATION, CO-NEGATION AND THE CONTRAPOSITION RULE I: SEMANTICAL INVESTIGATIONS.
- Published in:
- Bulletin of the Section of Logic, 2020, v. 49, n. 3, p. 231, doi. 10.18778/0138-0680.2020.12
- By:
- Publication type:
- Article
PROOF COMPRESSION AND NP VERSUS PSPACE II.
- Published in:
- Bulletin of the Section of Logic, 2020, v. 49, n. 3, p. 212, doi. 10.18778/0138-0680.2020.16
- By:
- Publication type:
- Article