Formalisations of Many-Valued Propositional Calculi with Variable Functors.
- Published in:
- Mathematical Logic Quarterly, 1985, v. 31, n. 25-28, p. 403, doi. 10.1002/malq.19850312504
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 1985 AND VI 31 AND IP 25-28
Results: 7
1
2
Products of Compact Spaces in the Least Permutation Model.
- Published in:
- Mathematical Logic Quarterly, 1985, v. 31, n. 25-28, p. 441, doi. 10.1002/malq.19850312507
- By:
- Publication type:
- Article
3
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1985, v. 31, n. 25-28, p. fmi, doi. 10.1002/malq.19850312501
- Publication type:
- Article
4
A Constructive Proof of a Theorem in Relevance Logic.
- Published in:
- Mathematical Logic Quarterly, 1985, v. 31, n. 25-28, p. 423, doi. 10.1002/malq.19850312505
- By:
- Publication type:
- Article
5
P<sub>x</sub>δ-Generalizations of Weak Compactness.
- Published in:
- Mathematical Logic Quarterly, 1985, v. 31, n. 25-28, p. 393, doi. 10.1002/malq.19850312503
- By:
- Publication type:
- Article
6
Distributive Lattices with a Dual Endomorphism.
- Published in:
- Mathematical Logic Quarterly, 1985, v. 31, n. 25-28, p. 385, doi. 10.1002/malq.19850312502
- By:
- Publication type:
- Article
7
Gentzen Games.
- Published in:
- Mathematical Logic Quarterly, 1985, v. 31, n. 25-28, p. 431, doi. 10.1002/malq.19850312506
- By:
- Publication type:
- Article