Works matching IS 00223611 AND DT 1996 AND VI 25 AND IP 1
Results: 4
The shortest possible length of the longest implicational...
- Published in:
- Journal of Philosophical Logic, 1996, v. 25, n. 1, p. 101, doi. 10.1007/BF00357843
- By:
- Publication type:
- Article
Discrete tense logic with infinitary inference rules and ...
- Published in:
- Journal of Philosophical Logic, 1996, v. 25, n. 1, p. 45
- By:
- Publication type:
- Article
Bi-Heyting algebras, toposes and modalities.
- Published in:
- Journal of Philosophical Logic, 1996, v. 25, n. 1, p. 25, doi. 10.1007/BF00357841
- By:
- Publication type:
- Article
Four probability-preserving properties of inferences.
- Published in:
- Journal of Philosophical Logic, 1996, v. 25, n. 1, p. 1, doi. 10.1007/BF00357840
- By:
- Publication type:
- Article