Works matching IS 00393215 AND DT 1985 AND VI 44 AND IP 4
Results: 9
The variety of consequence, according to Bolzano.
- Published in:
- Studia Logica, 1985, v. 44, n. 4, p. 389, doi. 10.1007/BF00370429
- By:
- Publication type:
- Article
Erratum.
- Published in:
- 1985
- Publication type:
- Correction Notice
Uniform self-reference.
- Published in:
- Studia Logica, 1985, v. 44, n. 4, p. 439, doi. 10.1007/BF00370432
- By:
- Publication type:
- Article
An algebraic study of well-foundedness.
- Published in:
- Studia Logica, 1985, v. 44, n. 4, p. 423, doi. 10.1007/BF00370431
- By:
- Publication type:
- Article
On the logic of theory change: Safe contraction.
- Published in:
- Studia Logica, 1985, v. 44, n. 4, p. 405, doi. 10.1007/BF00370430
- By:
- Publication type:
- Article
Topological representations of Post algebras of order ω and open theories based on ω-valued Post logic.
- Published in:
- Studia Logica, 1985, v. 44, n. 4, p. 353, doi. 10.1007/BF00370427
- By:
- Publication type:
- Article
Key notions of Tarski's methodology of deductive systems.
- Published in:
- Studia Logica, 1985, v. 44, n. 4, p. 321, doi. 10.1007/BF00370426
- By:
- Publication type:
- Article
Alfred Tarski (1901-1983).
- Published in:
- Studia Logica, 1985, v. 44, n. 4, p. ii, doi. 10.1007/BF00370425
- Publication type:
- Article
Algebraic aspects of deduction theorems.
- Published in:
- Studia Logica, 1985, v. 44, n. 4, p. 369, doi. 10.1007/BF00370428
- By:
- Publication type:
- Article