Announcement.
- Published in:
- Studia Logica, 1981, v. 40, n. 3, p. 311, doi. 10.1007/BF02584064
- Publication type:
- Article
Works matching IS 00393215 AND DT 1981 AND VI 40 AND IP 3
Results: 9
1
2
Gentzen formulations of two positive relevance logics.
- Published in:
- 1981
- By:
- Publication type:
- Correction Notice
3
On logic of complex algorithms.
- Published in:
- Studia Logica, 1981, v. 40, n. 3, p. 289, doi. 10.1007/BF02584062
- By:
- Publication type:
- Article
4
An approach to intensional logic.
- Published in:
- Studia Logica, 1981, v. 40, n. 3, p. 269, doi. 10.1007/BF02584061
- By:
- Publication type:
- Article
5
A group-theoretical invariant for elementary equivalence and its role in representations of elementary classes.
- Published in:
- Studia Logica, 1981, v. 40, n. 3, p. 253, doi. 10.1007/BF02584060
- By:
- Publication type:
- Article
6
Strong completeness with respect to finite kripke models.
- Published in:
- Studia Logica, 1981, v. 40, n. 3, p. 249, doi. 10.1007/BF02584059
- By:
- Publication type:
- Article
7
The consistency of some intuitionistic and constructive principles with a set theory.
- Published in:
- Studia Logica, 1981, v. 40, n. 3, p. 237, doi. 10.1007/BF02584058
- By:
- Publication type:
- Article
8
Equivalential logics (I).
- Published in:
- Studia Logica, 1981, v. 40, n. 3, p. 227, doi. 10.1007/BF02584057
- By:
- Publication type:
- Article
9
Łukasiewicz logic and the foundations of measurement.
- Published in:
- Studia Logica, 1981, v. 40, n. 3, p. 209, doi. 10.1007/BF02584056
- By:
- Publication type:
- Article