A duality between Pawlak's knowledge representation systems and bi-consequence systems.
- Published in:
- Studia Logica, 1995, v. 55, n. 1, p. 205, doi. 10.1007/BF01053038
- By:
- Publication type:
- Article
Works matching IS 00393215 AND DT 1995 AND VI 55 AND IP 1
Results: 11
1
2
Maximal weakly-intuitionistic logics.
- Published in:
- Studia Logica, 1995, v. 55, n. 1, p. 181, doi. 10.1007/BF01053037
- By:
- Publication type:
- Article
3
The abstract variable-binding calculus.
- Published in:
- Studia Logica, 1995, v. 55, n. 1, p. 129, doi. 10.1007/BF01053036
- By:
- Publication type:
- Article
4
Averaging the truth-value in Łukasiewicz logic.
- Published in:
- Studia Logica, 1995, v. 55, n. 1, p. 113, doi. 10.1007/BF01053035
- By:
- Publication type:
- Article
5
The logics of orthoalgebras.
- Published in:
- Studia Logica, 1995, v. 55, n. 1, p. 3, doi. 10.1007/BF01053029
- By:
- Publication type:
- Article
6
Editorial.
- Published in:
- 1995
- By:
- Publication type:
- Editorial
7
Symmetrical Heyting algebras with a finite order type of operators.
- Published in:
- Studia Logica, 1995, v. 55, n. 1, p. 89, doi. 10.1007/BF01053033
- By:
- Publication type:
- Article
8
Explicit algebraic models for constructive and classical theories with non-standard elements.
- Published in:
- Studia Logica, 1995, v. 55, n. 1, p. 33, doi. 10.1007/BF01053031
- By:
- Publication type:
- Article
9
Undecidability, incompleteness and Arnol'd problems.
- Published in:
- Studia Logica, 1995, v. 55, n. 1, p. 23, doi. 10.1007/BF01053030
- By:
- Publication type:
- Article
10
On variable separation in modal and superintuitionistic logics.
- Published in:
- Studia Logica, 1995, v. 55, n. 1, p. 99, doi. 10.1007/BF01053034
- By:
- Publication type:
- Article
11
Tableaus for many-valued modal logic.
- Published in:
- Studia Logica, 1995, v. 55, n. 1, p. 63, doi. 10.1007/BF01053032
- By:
- Publication type:
- Article