Works matching IS 01380680 AND DT 2019 AND VI 48 AND IP 1
Results: 5
ERRATUM TO: CONGRUENCES AND IDEALS IN A DISTRIBUTIVE LATTICE WITH RESPECT TO A DERIVATION.
- Published in:
- 2019
- By:
- Publication type:
- Correction Notice
TWO INFINITE SEQUENCES OF PRE-MAXIMAL EXTENSIONS OF THE RELEVANT LOGIC E.
- Published in:
- Bulletin of the Section of Logic, 2019, v. 48, n. 1, p. 29, doi. 10.18778/0138-0680.48.1.03
- By:
- Publication type:
- Article
A MODIFIED SUBFORMULA PROPERTY FOR THE MODAL LOGIC S4.2.
- Published in:
- Bulletin of the Section of Logic, 2019, v. 48, n. 1, p. 19, doi. 10.18778/0138-0680.48.1.02
- By:
- Publication type:
- Article
FUNCTIONAL COMPLETENESS IN CPL via CORRESPONDENCE ANALYSIS.
- Published in:
- Bulletin of the Section of Logic, 2019, v. 48, n. 1, p. 45, doi. 10.18778/0138-0680.48.1.04
- By:
- Publication type:
- Article
POSITIVE IMPLICATIVE SOJU IDEALS IN BCK-ALGEBRAS.
- Published in:
- Bulletin of the Section of Logic, 2019, v. 48, n. 1, p. 1, doi. 10.18778/0138-0680.48.1.01
- By:
- Publication type:
- Article