Sequenzenschliessen in Der Algebraischen Attributenlogik.
- Published in:
- Mathematical Logic Quarterly, 1977, v. 23, n. 36, p. 487, doi. 10.1002/malq.19770233603
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 1977 AND VI 23 AND IP 36
Results: 9
1
2
Nullstellensätze - A Model Theoretic Framework.
- Published in:
- Mathematical Logic Quarterly, 1977, v. 23, n. 36, p. 539, doi. 10.1002/malq.19770233607
- By:
- Publication type:
- Article
3
Two Observations About S5.
- Published in:
- Mathematical Logic Quarterly, 1977, v. 23, n. 36, p. 485, doi. 10.1002/malq.19770233602
- By:
- Publication type:
- Article
4
Cut Elimination in a Gentzen-Style ϵ-Calculus Without Identity.
- Published in:
- Mathematical Logic Quarterly, 1977, v. 23, n. 36, p. 527, doi. 10.1002/malq.19770233606
- By:
- Publication type:
- Article
5
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1977, v. 23, n. 36, p. fmi, doi. 10.1002/malq.19770233601
- Publication type:
- Article
6
Definierbare Prädikate in Booleschen Algebren I.
- Published in:
- Mathematical Logic Quarterly, 1977, v. 23, n. 36, p. 511, doi. 10.1002/malq.19770233605
- By:
- Publication type:
- Article
7
A Remark on M. K. Rennie's Paper 'Models for Multiply Modal Systems'.
- Published in:
- Mathematical Logic Quarterly, 1977, v. 23, n. 36, p. 555, doi. 10.1002/malq.19770233609
- By:
- Publication type:
- Article
8
Welding Semantics For Weak Strict Modal Logics into the General Framework of Modal Logic Semantics.
- Published in:
- Mathematical Logic Quarterly, 1977, v. 23, n. 36, p. 497, doi. 10.1002/malq.19770233604
- By:
- Publication type:
- Article
9
Some Remarks on Generalized Spectra.
- Published in:
- Mathematical Logic Quarterly, 1977, v. 23, n. 36, p. 547, doi. 10.1002/malq.19770233608
- By:
- Publication type:
- Article