Found: 11
Select item for more details and to access through your institution.
Pseudo-Boolean valued prolog.
- Published in:
- Studia Logica, 1988, v. 47, n. 2, p. 85, doi. 10.1007/BF00370283
- By:
- Publication type:
- Article
Announcement.
- Published in:
- Studia Logica, 1988, v. 47, n. 2, p. III, doi. 10.1007/BF00370293
- Publication type:
- Article
Announcement.
- Published in:
- Studia Logica, 1988, v. 47, n. 2, p. I, doi. 10.1007/BF00370292
- Publication type:
- Article
Books received.
- Published in:
- 1988
- By:
- Publication type:
- Book Review
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
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
Necessity and contingency.
- Published in:
- Studia Logica, 1988, v. 47, n. 2, p. 145, doi. 10.1007/BF00370288
- By:
- Publication type:
- Article
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
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
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
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