Formulas of L(aa) Where aa is not in The Scope of '¬'.
- Published in:
- Mathematical Logic Quarterly, 1981, v. 27, n. 16-17, p. 249, doi. 10.1002/malq.19810271603
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 1981 AND VI 27 AND IP 16-17
Results: 5
1
2
Semantic Tableaux for A Logic With Identity.
- Published in:
- Mathematical Logic Quarterly, 1981, v. 27, n. 16-17, p. 241, doi. 10.1002/malq.19810271602
- By:
- Publication type:
- Article
3
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1981, v. 27, n. 16-17, p. fmi, doi. 10.1002/malq.19810271601
- Publication type:
- Article
4
DIE ENDLICHEN, SUBDIREKT IRREDUZIBLEN ELEMENTE DER VARIETÄT DER BESCHRÄNKTEN KOMMUTATIVEN BCK-ALGEBREN.
- Published in:
- Mathematical Logic Quarterly, 1981, v. 27, n. 16-17, p. 265, doi. 10.1002/malq.19810271605
- By:
- Publication type:
- Article
5
ZUM VERGLEICH VON HÄRTIGQUANTOR UND RESCHERQUANTOR.
- Published in:
- Mathematical Logic Quarterly, 1981, v. 27, n. 16-17, p. 255, doi. 10.1002/malq.19810271604
- By:
- Publication type:
- Article