Works matching IS 00393215 AND DT 1980 AND VI 39 AND IP 4
Results: 11
Intuitionistic uniformity principles for propositions and some applications.
- Published in:
- Studia Logica, 1980, v. 39, n. 4, p. 361, doi. 10.1007/BF00713546
- By:
- Publication type:
- Article
IUHPS/DLMPS Bulletin no. 4.
- Published in:
- 1980
- Publication type:
- Report
A note on three-valued logic and Tarski theorem on truth definitions.
- Published in:
- Studia Logica, 1980, v. 39, n. 4, p. 405, doi. 10.1007/BF00713550
- By:
- Publication type:
- Article
Gentzen formulations of two positive relevance logics.
- Published in:
- Studia Logica, 1980, v. 39, n. 4, p. 381, doi. 10.1007/BF00713549
- By:
- Publication type:
- Article
An example of strongly finite consequence operation with 2 standard strengthenings.
- Published in:
- Studia Logica, 1980, v. 39, n. 4, p. 375, doi. 10.1007/BF00713548
- By:
- Publication type:
- Article
On constructive functions ranging over propositions.
- Published in:
- Studia Logica, 1980, v. 39, n. 4, p. 371, doi. 10.1007/BF00713547
- By:
- Publication type:
- Article
Finite axiomatization for some intermediate logics.
- Published in:
- Studia Logica, 1980, v. 39, n. 4, p. 415, doi. 10.1007/BF00713551
- By:
- Publication type:
- Article
The undecidability of the first-order theory of diagonalizable algebras.
- Published in:
- Studia Logica, 1980, v. 39, n. 4, p. 355, doi. 10.1007/BF00713545
- By:
- Publication type:
- Article
Interpretations of the first-order theory of diagonalizable algebras in peano arithmetic.
- Published in:
- Studia Logica, 1980, v. 39, n. 4, p. 347, doi. 10.1007/BF00713544
- By:
- Publication type:
- Article
On the size of refutation Kripke models for some linear modal and tense logics.
- Published in:
- Studia Logica, 1980, v. 39, n. 4, p. 325, doi. 10.1007/BF00713542
- By:
- Publication type:
- Article
Set theory as modal logic.
- Published in:
- Studia Logica, 1980, v. 39, n. 4, p. 335, doi. 10.1007/BF00713543
- By:
- Publication type:
- Article