Semantics for finitary predicate calculi.
- Published in:
- Studia Logica, 1976, v. 35, n. 3, p. 227, doi. 10.1007/BF02282485
- By:
- Publication type:
- Article
Works matching IS 00393215 AND DT 1976 AND VI 35 AND IP 3
Results: 12
1
2
Revies.
- Published in:
- 1976
- By:
- Publication type:
- Book Review
3
Quantification and RM.
- Published in:
- Studia Logica, 1976, v. 35, n. 3, p. 315, doi. 10.1007/BF02282493
- By:
- Publication type:
- Article
4
Semantics for von Wright's latest deontic logic.
- Published in:
- Studia Logica, 1976, v. 35, n. 3, p. 297, doi. 10.1007/BF02282492
- By:
- Publication type:
- Article
5
On Kreisel's notion of validity in post systems.
- Published in:
- Studia Logica, 1976, v. 35, n. 3, p. 285, doi. 10.1007/BF02282491
- By:
- Publication type:
- Article
6
Functions definable in Sugihara algebras and their fragments. II.
- Published in:
- Studia Logica, 1976, v. 35, n. 3, p. 279, doi. 10.1007/BF02282490
- By:
- Publication type:
- Article
7
A sequence formalization for SCI.
- Published in:
- Studia Logica, 1976, v. 35, n. 3, p. 213, doi. 10.1007/BF02282483
- By:
- Publication type:
- Article
8
Discrete linear future time without axioms.
- Published in:
- Studia Logica, 1976, v. 35, n. 3, p. 273, doi. 10.1007/BF02282489
- By:
- Publication type:
- Article
9
Threshold logic (II).
- Published in:
- Studia Logica, 1976, v. 35, n. 3, p. 243, doi. 10.1007/BF02282486
- By:
- Publication type:
- Article
10
Prelogic of logoi.
- Published in:
- Studia Logica, 1976, v. 35, n. 3, p. 219, doi. 10.1007/BF02282484
- By:
- Publication type:
- Article
11
Embeddings of classical logic in S4 part II.
- Published in:
- Studia Logica, 1976, v. 35, n. 3, p. 257, doi. 10.1007/BF02282488
- By:
- Publication type:
- Article
12
Projective and inductive generation of abstract logics.
- Published in:
- Studia Logica, 1976, v. 35, n. 3, p. 249, doi. 10.1007/BF02282487
- By:
- Publication type:
- Article