An alternative formalisation of Sobociński's three-valued implicational propositional calculus.
- Published in:
- Mathematical Logic Quarterly, 1956, v. 2, n. 10-15, p. 166, doi. 10.1002/malq.19560021003
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 1956 AND VI 2 AND IP 10-15
Results: 10
1
2
Concerning a problem of H. Scholz.
- Published in:
- Mathematical Logic Quarterly, 1956, v. 2, n. 10-15, p. 210, doi. 10.1002/malq.19560021007
- By:
- Publication type:
- Article
3
Über die Vollständigkeit der Elementaren Euklidischen Geometrie.
- Published in:
- Mathematical Logic Quarterly, 1956, v. 2, n. 10-15, p. 137, doi. 10.1002/malq.19560021002
- By:
- Publication type:
- Article
4
Some formalisations of N<sub>0</sub>-valued propositional calculi.
- Published in:
- Mathematical Logic Quarterly, 1956, v. 2, n. 10-15, p. 204, doi. 10.1002/malq.19560021006
- By:
- Publication type:
- Article
5
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1956, v. 2, n. 10-15, p. fmi, doi. 10.1002/malq.19560021001
- Publication type:
- Article
6
Explizite Definitionen einiger Eigenschaften von Zeichenreihen.
- Published in:
- Mathematical Logic Quarterly, 1956, v. 2, n. 10-15, p. 177, doi. 10.1002/malq.19560021005
- By:
- Publication type:
- Article
7
Die Unabhängigkeit der elementaren prädikatenlogischen Schlussregeln.
- Published in:
- Mathematical Logic Quarterly, 1956, v. 2, n. 10-15, p. 218, doi. 10.1002/malq.19560021009
- By:
- Publication type:
- Article
8
Über den Zusammenhang der in den Implikationsaxiomen vollständigen Axiomensysteme des zweiwertigen mit denen des intuitionistischen Aussagenkalküls.
- Published in:
- Mathematical Logic Quarterly, 1956, v. 2, n. 10-15, p. 173, doi. 10.1002/malq.19560021004
- By:
- Publication type:
- Article
9
Transfinitely endless chess.
- Published in:
- Mathematical Logic Quarterly, 1956, v. 2, n. 10-15, p. 215, doi. 10.1002/malq.19560021008
- By:
- Publication type:
- Article
10
Eine Charakterisierung und Klassifikation der umkehrbar eindeutigen Abbildungen einer Menge in sich.
- Published in:
- Mathematical Logic Quarterly, 1956, v. 2, n. 10-15, p. 228, doi. 10.1002/malq.19560021010
- By:
- Publication type:
- Article