Works matching IS 01380680 AND DT 2018 AND VI 47 AND IP 1
Results: 5
A USEFUL FOUR-VALUED EXTENSION OF THE TEMPORAL LOGIC K<sub>t</sub>T4.
- Published in:
- Bulletin of the Section of Logic, 2018, v. 47, n. 1, p. 15, doi. 10.18778/0138-0680.47.1.02
- By:
- Publication type:
- Article
PC-LATTICES: A CLASS OF BOUNDED BCK-ALGEBRAS.
- Published in:
- Bulletin of the Section of Logic, 2018, v. 47, n. 1, p. 33, doi. 10.18778/0138-0680.47.1.03
- By:
- Publication type:
- Article
APPLICATIONS OF ALGEBRA IN LOGIC AND COMPUTER SCIENCE - THE PAST AND THE FUTURE.
- Published in:
- Bulletin of the Section of Logic, 2018, v. 47, n. 1, p. 59, doi. 10.18778/0138-0680.47.1.05
- By:
- Publication type:
- Article
ALGEBRAIC CHARACTERIZATION OF THE LOCAL CRAIG INTERPOLATION PROPERTY.
- Published in:
- Bulletin of the Section of Logic, 2018, v. 47, n. 1, p. 45, doi. 10.18778/0138-0680.47.1.04
- By:
- Publication type:
- Article
INT-SOFT IDEALS OF PSEUDO MV-ALGEBRAS.
- Published in:
- Bulletin of the Section of Logic, 2018, v. 47, n. 1, p. 1, doi. 10.18778/0138-0680.47.1.01
- By:
- Publication type:
- Article