A Characterization of the free n-generated MV-algebra.
- Published in:
- Archive for Mathematical Logic, 2006, v. 45, n. 2, p. 239, doi. 10.1007/s00153-004-0273-8
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 2006 AND VI 45 AND IP 2
Results: 7
1
2
Lowness for genericity.
- Published in:
- Archive for Mathematical Logic, 2006, v. 45, n. 2, p. 233, doi. 10.1007/s00153-005-0306-y
- By:
- Publication type:
- Article
3
There is no ordering on the classes in the generalized high/low hierarchies.
- Published in:
- Archive for Mathematical Logic, 2006, v. 45, n. 2, p. 215, doi. 10.1007/s00153-005-0304-0
- By:
- Publication type:
- Article
4
The Medvedev lattice of computably closed sets.
- Published in:
- Archive for Mathematical Logic, 2006, v. 45, n. 2, p. 179, doi. 10.1007/s00153-005-0278-y
- By:
- Publication type:
- Article
5
A Connection Between Cut Elimination and Normalization.
- Published in:
- Archive for Mathematical Logic, 2006, v. 45, n. 2, p. 113, doi. 10.1007/s00153-005-0295-x
- By:
- Publication type:
- Article
6
Non-commutative Łukasiewicz propositional logic.
- Published in:
- Archive for Mathematical Logic, 2006, v. 45, n. 2, p. 191, doi. 10.1007/s00153-005-0297-8
- By:
- Publication type:
- Article
7
Fuzzy Horn logic II.
- Published in:
- Archive for Mathematical Logic, 2006, v. 45, n. 2, p. 149, doi. 10.1007/s00153-005-0303-1
- By:
- Publication type:
- Article