Works matching IS 01380680 AND DT 2018 AND VI 47 AND IP 3
Results: 5
A POST-STYLE PROOF OF COMPLETENESS THEOREM FOR SYMMETRIC RELATEDNESS LOGIC S.
- Published in:
- Bulletin of the Section of Logic, 2018, v. 47, n. 3, p. 201, doi. 10.18778/0138-0680.47.3.05
- By:
- Publication type:
- Article
A COMPARISON OF TWO SYSTEMS OF POINT-FREE TOPOLOGY.
- Published in:
- Bulletin of the Section of Logic, 2018, v. 47, n. 3, p. 187, doi. 10.18778/0138-0680.47.3.04
- By:
- Publication type:
- Article
B-ALMOST DISTRIBUTIVE FUZZY LATTICE.
- Published in:
- Bulletin of the Section of Logic, 2018, v. 47, n. 3, p. 171, doi. 10.18778/0138-0680.47.3.03
- By:
- Publication type:
- Article
ON INTERPOLATION IN NEXT(KB:Alt(2)).
- Published in:
- Bulletin of the Section of Logic, 2018, v. 47, n. 3, p. 159, doi. 10.18778/0138-0680.47.3.02
- By:
- Publication type:
- Article
IDENTITY, EQUALITY, NAMEABILITY AND COMPLETENESS. PART II.
- Published in:
- Bulletin of the Section of Logic, 2018, v. 47, n. 3, p. 141, doi. 10.18778/0138-0680.47.3.01
- By:
- Publication type:
- Article