Works matching IS 00393215 AND DT 1983 AND VI 42 AND IP 4
Results: 10
On some proof theoretical properties of the modal logic GL.
- Published in:
- Studia Logica, 1983, v. 42, n. 4, p. 453, doi. 10.1007/BF01371633
- By:
- Publication type:
- Article
Books received.
- Published in:
- 1983
- By:
- Publication type:
- Book Review
The Skolem-Löwenheim theorem in toposes.
- Published in:
- Studia Logica, 1983, v. 42, n. 4, p. 461, doi. 10.1007/BF01371634
- By:
- Publication type:
- Article
Condensed detachment as a rule of inference.
- Published in:
- Studia Logica, 1983, v. 42, n. 4, p. 443, doi. 10.1007/BF01371632
- By:
- Publication type:
- Article
Completeness theorems for some intermediate predicate calculi.
- Published in:
- Studia Logica, 1983, v. 42, n. 4, p. 431, doi. 10.1007/BF01371631
- By:
- Publication type:
- Article
Some theorems on structural entailment relations.
- Published in:
- Studia Logica, 1983, v. 42, n. 4, p. 417, doi. 10.1007/BF01371630
- By:
- Publication type:
- Article
The representation of Takeuti's $$\begin{array}{*{20}c} \parallel \\ \_ \\ \end{array} $$ -operator.
- Published in:
- Studia Logica, 1983, v. 42, n. 4, p. 407, doi. 10.1007/BF01371629
- By:
- Publication type:
- Article
The theory of boolean algebras with an additional binary operation.
- Published in:
- Studia Logica, 1983, v. 42, n. 4, p. 389, doi. 10.1007/BF01371628
- By:
- Publication type:
- Article
On the axiomatization of finite K-frames.
- Published in:
- Studia Logica, 1983, v. 42, n. 4, p. 383, doi. 10.1007/BF01371627
- By:
- Publication type:
- Article
Izydora Dąmbska (1904-1983).
- Published in:
- Studia Logica, 1983, v. 42, n. 4, p. 379, doi. 10.1007/BF01371626
- By:
- Publication type:
- Article