On the category of hyper MV-algebras.
- Published in:
- Mathematical Logic Quarterly, 2009, v. 55, n. 1, p. 21, doi. 10.1002/malq.200710082
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 2009 AND VI 55 AND IP 1
Results: 9
1
2
Successor levels of the Jensen hierarchy.
- Published in:
- Mathematical Logic Quarterly, 2009, v. 55, n. 1, p. 4, doi. 10.1002/malq.200710077
- By:
- Publication type:
- Article
3
Fuzzy Galois connections on fuzzy posets.
- Published in:
- Mathematical Logic Quarterly, 2009, v. 55, n. 1, p. 105, doi. 10.1002/malq.200710079
- By:
- Publication type:
- Article
4
Turning decision procedures into disprovers.
- Published in:
- Mathematical Logic Quarterly, 2009, v. 55, n. 1, p. 87, doi. 10.1002/malq.200710083
- By:
- Publication type:
- Article
5
Categorical Abstract Algebraic Logic: Structurality, protoalgebraicity, and correspondence.
- Published in:
- Mathematical Logic Quarterly, 2009, v. 55, n. 1, p. 51, doi. 10.1002/malq.200710078
- By:
- Publication type:
- Article
6
Contents: Math. Log. Quart. 1/2009.
- Published in:
- 2009
- Publication type:
- Table of Contents
7
Tall cardinals.
- Published in:
- Mathematical Logic Quarterly, 2009, v. 55, n. 1, p. 68, doi. 10.1002/malq.200710084
- By:
- Publication type:
- Article
8
Hilbert spaces expanded with a unitary operator.
- Published in:
- Mathematical Logic Quarterly, 2009, v. 55, n. 1, p. 37, doi. 10.1002/malq.200710076
- By:
- Publication type:
- Article
9
Intuitionistic notions of boundedness in ℕ.
- Published in:
- Mathematical Logic Quarterly, 2009, v. 55, n. 1, p. 31, doi. 10.1002/malq.200710072
- By:
- Publication type:
- Article