Three contributions to the two-valued propositional calculus.
- Published in:
- Studia Logica, 1975, v. 34, n. 1, p. 121, doi. 10.1007/BF02314428
- By:
- Publication type:
- Article
Works matching IS 00393215 AND DT 1975 AND VI 34 AND IP 1
Results: 10
1
2
On functions definable in implicational algebras.
- Published in:
- Studia Logica, 1975, v. 34, n. 1, p. 101, doi. 10.1007/BF02314427
- By:
- Publication type:
- Article
3
Embeddings of classical logic in S4.
- Published in:
- Studia Logica, 1975, v. 34, n. 1, p. 87, doi. 10.1007/BF02314426
- By:
- Publication type:
- Article
4
Logics based on partial Boolean σ-algebras.
- Published in:
- Studia Logica, 1975, v. 34, n. 1, p. 69, doi. 10.1007/BF02314425
- By:
- Publication type:
- Article
5
The decision problem for some finite extensions of the intuitionistic theory of abelian groups.
- Published in:
- Studia Logica, 1975, v. 34, n. 1, p. 59, doi. 10.1007/BF02314424
- By:
- Publication type:
- Article
6
A finite approximation to models of set theory.
- Published in:
- Studia Logica, 1975, v. 34, n. 1, p. 45, doi. 10.1007/BF02314423
- By:
- Publication type:
- Article
7
Remarks on discussive propositional calculus.
- Published in:
- Studia Logica, 1975, v. 34, n. 1, p. 39, doi. 10.1007/BF02314422
- By:
- Publication type:
- Article
8
Hyperintensional logic.
- Published in:
- Studia Logica, 1975, v. 34, n. 1, p. 25, doi. 10.1007/BF02314421
- By:
- Publication type:
- Article
9
On models with variable universe.
- Published in:
- Studia Logica, 1975, v. 34, n. 1, p. 11, doi. 10.1007/BF02314420
- By:
- Publication type:
- Article
10
Some theorems on structural consequence operations.
- Published in:
- Studia Logica, 1975, v. 34, n. 1, p. 1, doi. 10.1007/BF02314419
- By:
- Publication type:
- Article