Works matching IS 09425616 AND DT 2009 AND VI 55 AND IP 1
Results: 9
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
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
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
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
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
Contents: Math. Log. Quart. 1/2009.
- Published in:
- 2009
- Publication type:
- Table of Contents
Tall cardinals.
- Published in:
- Mathematical Logic Quarterly, 2009, v. 55, n. 1, p. 68, doi. 10.1002/malq.200710084
- By:
- Publication type:
- Article
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
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