Tadeusz Czeżowski's logical writings.
- Published in:
- Studia Logica, 1981, v. 40, n. 2, p. 203, doi. 10.1007/BF01874709
- By:
- Publication type:
- Article
Works matching IS 00393215 AND DT 1981 AND VI 40 AND IP 2
Results: 9
1
2
The degrees of maximality of the intuitionistic propositional logic and of some of its fragments.
- Published in:
- Studia Logica, 1981, v. 40, n. 2, p. 195, doi. 10.1007/BF01874708
- By:
- Publication type:
- Article
3
The lattice of strengthenings of a strongly finite consequence operation.
- Published in:
- Studia Logica, 1981, v. 40, n. 2, p. 177, doi. 10.1007/BF01874707
- By:
- Publication type:
- Article
4
A propositional logic with explicit fixed points.
- Published in:
- Studia Logica, 1981, v. 40, n. 2, p. 155, doi. 10.1007/BF01874706
- By:
- Publication type:
- Article
5
On the degree of complexity of sentential logics. A couple of examples.
- Published in:
- Studia Logica, 1981, v. 40, n. 2, p. 141, doi. 10.1007/BF01874705
- By:
- Publication type:
- Article
6
On a second order propositional operator in intuitionistic logic.
- Published in:
- Studia Logica, 1981, v. 40, n. 2, p. 113, doi. 10.1007/BF01874704
- By:
- Publication type:
- Article
7
Intuitionistic modal logics incompatible with the law of the excluded middle.
- Published in:
- Studia Logica, 1981, v. 40, n. 2, p. 103, doi. 10.1007/BF01874703
- By:
- Publication type:
- Article
8
Individualistic formal approach to deontic logic.
- Published in:
- Studia Logica, 1981, v. 40, n. 2, p. 99, doi. 10.1007/BF01874702
- By:
- Publication type:
- Article
9
Model theory for tense logic: Saturated and special models with applications to the tense hierarchy.
- Published in:
- Studia Logica, 1981, v. 40, n. 2, p. 89, doi. 10.1007/BF01874701
- By:
- Publication type:
- Article