Pseudo-Boolean valued prolog.
- Published in:
- Studia Logica, 1988, v. 47, n. 2, p. 85, doi. 10.1007/BF00370283
- By:
- Publication type:
- Article
Works matching IS 00393215 AND DT 1988 AND VI 47 AND IP 2
Results: 11
1
2
Announcement.
- Published in:
- Studia Logica, 1988, v. 47, n. 2, p. III, doi. 10.1007/BF00370293
- Publication type:
- Article
3
Announcement.
- Published in:
- Studia Logica, 1988, v. 47, n. 2, p. I, doi. 10.1007/BF00370292
- Publication type:
- Article
4
A note on sequent calculi intermediate between LJ and LK.
- Published in:
- Studia Logica, 1988, v. 47, n. 2, p. 151, doi. 10.1007/BF00370289
- By:
- Publication type:
- Article
5
Converse Ackermann Croperty and semiclassical negation.
- Published in:
- Studia Logica, 1988, v. 47, n. 2, p. 159, doi. 10.1007/BF00370290
- By:
- Publication type:
- Article
6
Books received.
- Published in:
- 1988
- By:
- Publication type:
- Book Review
7
Necessity and contingency.
- Published in:
- Studia Logica, 1988, v. 47, n. 2, p. 145, doi. 10.1007/BF00370288
- By:
- Publication type:
- Article
8
Arithmetic based on the Church numerals in illative combinatory logic.
- Published in:
- Studia Logica, 1988, v. 47, n. 2, p. 129, doi. 10.1007/BF00370287
- By:
- Publication type:
- Article
9
A content semantics for quantified relevant logics. I.
- Published in:
- Studia Logica, 1988, v. 47, n. 2, p. 111, doi. 10.1007/BF00370286
- By:
- Publication type:
- Article
10
Graded modalities. III (the completeness and compactness of S4).
- Published in:
- Studia Logica, 1988, v. 47, n. 2, p. 99, doi. 10.1007/BF00370285
- By:
- Publication type:
- Article
11
Synonymy in sentential languages: a pragmatic view.
- Published in:
- Studia Logica, 1988, v. 47, n. 2, p. 93, doi. 10.1007/BF00370284
- By:
- Publication type:
- Article