Works matching IS 00393215 AND DT 1981 AND VI 40 AND IP 2
Results: 9
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
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
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
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
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
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
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
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
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