Model completeness and direct power.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 1, p. 3, doi. 10.1002/malq.19900360102
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 1990 AND VI 36 AND IP 1
Results: 10
1
2
Quantified propositional calculi and fragments of bounded arithmetic.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 1, p. 29, doi. 10.1002/malq.19900360106
- By:
- Publication type:
- Article
3
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 1, p. fmi, doi. 10.1002/malq.19900360101
- Publication type:
- Article
4
On the generator problem.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 1, p. 23, doi. 10.1002/malq.19900360105
- By:
- Publication type:
- Article
5
Quantifiers determined by partial orderings.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 1, p. 79, doi. 10.1002/malq.19900360109
- By:
- Publication type:
- Article
6
A note on the existence property for intuitionistic logic with function symbols.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 1, p. 17, doi. 10.1002/malq.19900360104
- By:
- Publication type:
- Article
7
Fuzzy natural deduction.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 1, p. 67, doi. 10.1002/malq.19900360108
- By:
- Publication type:
- Article
8
A theorem on cocongruence of rings.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 1, p. 87, doi. 10.1002/malq.19900360110
- By:
- Publication type:
- Article
9
A comparison between lambek syntactic calculus and intuitionistic linear propositional logic.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 1, p. 11, doi. 10.1002/malq.19900360103
- By:
- Publication type:
- Article
10
Much shorter proofs: A bimodal investigation.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 1, p. 47, doi. 10.1002/malq.19900360107
- By:
- Publication type:
- Article