Erratum.
- Published in:
- 1987
- Publication type:
- Correction Notice
Works matching IS 00393215 AND DT 1987 AND VI 46 AND IP 4
Results: 11
1
2
Books received.
- Published in:
- 1987
- By:
- Publication type:
- Book Review
3
Modal operators with probabilistic interpretations, I.
- Published in:
- Studia Logica, 1987, v. 46, n. 4, p. 383, doi. 10.1007/BF00370648
- By:
- Publication type:
- Article
4
On Bellert's proposal concerning quantificational universals.
- Published in:
- Studia Logica, 1987, v. 46, n. 4, p. 311, doi. 10.1007/BF00370642
- By:
- Publication type:
- Article
5
Infinitary propositional normal modal logic.
- Published in:
- Studia Logica, 1987, v. 46, n. 4, p. 291, doi. 10.1007/BF00370641
- By:
- Publication type:
- Article
6
A weak intuitionistic propositional logic with purely constructive implication.
- Published in:
- Studia Logica, 1987, v. 46, n. 4, p. 371, doi. 10.1007/BF00370647
- By:
- Publication type:
- Article
7
Interpretations into monadic algebras.
- Published in:
- Studia Logica, 1987, v. 46, n. 4, p. 329, doi. 10.1007/BF00370644
- By:
- Publication type:
- Article
8
Variations on the Ramsey test: More triviality results.
- Published in:
- Studia Logica, 1987, v. 46, n. 4, p. 321, doi. 10.1007/BF00370643
- By:
- Publication type:
- Article
9
On the degree of complexity of sentential logics, III. An example of Johansson's minimal logic.
- Published in:
- Studia Logica, 1987, v. 46, n. 4, p. 283, doi. 10.1007/BF00370640
- By:
- Publication type:
- Article
10
A compact representation of proofs.
- Published in:
- Studia Logica, 1987, v. 46, n. 4, p. 347, doi. 10.1007/BF00370646
- By:
- Publication type:
- Article
11
No non-trivial quasivariety of BCK-algebras has decidable first order theory.
- Published in:
- Studia Logica, 1987, v. 46, n. 4, p. 343, doi. 10.1007/BF00370645
- By:
- Publication type:
- Article