On finitely based consequence operations.
- Published in:
- Studia Logica, 1976, v. 35, n. 4, p. 453, doi. 10.1007/BF02123410
- By:
- Publication type:
- Article
Works matching IS 00393215 AND DT 1976 AND VI 35 AND IP 4
Results: 11
1
2
A strongly finite logic with infinite degree of maximality.
- Published in:
- Studia Logica, 1976, v. 35, n. 4, p. 447, doi. 10.1007/BF02123409
- By:
- Publication type:
- Article
3
The gentzen style axiomatization of 433-1433-1433-1logic.
- Published in:
- Studia Logica, 1976, v. 35, n. 4, p. 433, doi. 10.1007/BF02123408
- By:
- Publication type:
- Article
4
On expandability of models of Peano arithmetic. II.
- Published in:
- Studia Logica, 1976, v. 35, n. 4, p. 421, doi. 10.1007/BF02123407
- By:
- Publication type:
- Article
5
On expandability of models of Peano arithmetic. I.
- Published in:
- Studia Logica, 1976, v. 35, n. 4, p. 409, doi. 10.1007/BF02123406
- By:
- Publication type:
- Article
6
A new way of normalizing intuitionist propositional logic.
- Published in:
- Studia Logica, 1976, v. 35, n. 4, p. 387, doi. 10.1007/BF02123405
- By:
- Publication type:
- Article
7
A very strong intuitionistic theory.
- Published in:
- Studia Logica, 1976, v. 35, n. 4, p. 377, doi. 10.1007/BF02123404
- By:
- Publication type:
- Article
8
On the problem of deciding equality in partial combinatory algebras and in a formal system.
- Published in:
- Studia Logica, 1976, v. 35, n. 4, p. 363, doi. 10.1007/BF02123403
- By:
- Publication type:
- Article
9
An effective fixed-point theorem in intuitionistic diagonalizable algebras.
- Published in:
- Studia Logica, 1976, v. 35, n. 4, p. 345, doi. 10.1007/BF02123402
- By:
- Publication type:
- Article
10
The uniqueness of the fixed-point in every diagonalizable algebra.
- Published in:
- Studia Logica, 1976, v. 35, n. 4, p. 335, doi. 10.1007/BF02123401
- By:
- Publication type:
- Article
11
On the autological character of diagonalizable algebras.
- Published in:
- Studia Logica, 1976, v. 35, n. 4, p. 327, doi. 10.1007/BF02123400
- By:
- Publication type:
- Article