Semantical analysis of predicate logics without the contraction rule.
- Published in:
- Studia Logica, 1985, v. 44, n. 2, p. 187, doi. 10.1007/BF00379766
- By:
- Publication type:
- Article
Works matching IS 00393215 AND DT 1985 AND VI 44 AND IP 2
Results: 8
1
2
Programs and logics.
- Published in:
- Studia Logica, 1985, v. 44, n. 2, p. 125, doi. 10.1007/BF00379762
- By:
- Publication type:
- Article
3
Books received.
- Published in:
- 1985
- By:
- Publication type:
- Book Review
4
Three theories of nominalized predicates.
- Published in:
- Studia Logica, 1985, v. 44, n. 2, p. 165, doi. 10.1007/BF00379765
- By:
- Publication type:
- Article
5
A note on the decidability of a strong relevant logic.
- Published in:
- Studia Logica, 1985, v. 44, n. 2, p. 159, doi. 10.1007/BF00379764
- By:
- Publication type:
- Article
6
Trees and diagrams of decomposition.
- Published in:
- Studia Logica, 1985, v. 44, n. 2, p. 139, doi. 10.1007/BF00379763
- By:
- Publication type:
- Article
7
Graded modalities. I.
- Published in:
- Studia Logica, 1985, v. 44, n. 2, p. 197, doi. 10.1007/BF00379767
- By:
- Publication type:
- Article
8
Galois structures.
- Published in:
- Studia Logica, 1985, v. 44, n. 2, p. 109, doi. 10.1007/BF00379761
- By:
- Publication type:
- Article