Standard completeness theorem for ?MTL.
- Published in:
- Archive for Mathematical Logic, 2005, v. 44, n. 4, p. 413, doi. 10.1007/s00153-004-0254-y
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 2005 AND VI 44 AND IP 4
Results: 9
1
2
The?-borel conjecture.
- Published in:
- Archive for Mathematical Logic, 2005, v. 44, n. 4, p. 425, doi. 10.1007/s00153-004-0260-0
- By:
- Publication type:
- Article
3
Restricted versions of the Tukey-Teichmüller theorem that are equivalent to the Boolean prime ideal theorem.
- Published in:
- Archive for Mathematical Logic, 2005, v. 44, n. 4, p. 459, doi. 10.1007/s00153-004-0264-9
- By:
- Publication type:
- Article
4
Categorical abstract algebraic logic categorical algebraization of first-order logic without terms.
- Published in:
- Archive for Mathematical Logic, 2005, v. 44, n. 4, p. 473, doi. 10.1007/s00153-004-0266-7
- By:
- Publication type:
- Article
5
A proof-theoretical investigation of global intuitionistic (fuzzy) logic.
- Published in:
- Archive for Mathematical Logic, 2005, v. 44, n. 4, p. 435, doi. 10.1007/s00153-004-0265-8
- By:
- Publication type:
- Article
6
Mad families, forcing and the Suslin Hypothesis.
- Published in:
- Archive for Mathematical Logic, 2005, v. 44, n. 4, p. 499, doi. 10.1007/s00153-004-0263-x
- By:
- Publication type:
- Article
7
Epsilon substitution for transfinite induction.
- Published in:
- Archive for Mathematical Logic, 2005, v. 44, n. 4, p. 397, doi. 10.1007/s00153-004-0241-3
- By:
- Publication type:
- Article
8
On a problem of Foreman and Magidor.
- Published in:
- Archive for Mathematical Logic, 2005, v. 44, n. 4, p. 493, doi. 10.1007/s00153-004-0259-6
- By:
- Publication type:
- Article
9
Diamond principles in Cichon’s diagram.
- Published in:
- Archive for Mathematical Logic, 2005, v. 44, n. 4, p. 513, doi. 10.1007/s00153-004-0269-4
- By:
- Publication type:
- Article