Works matching IS 09335846 AND DT 2006 AND VI 45 AND IP 4
Results: 7
Representation and extension of states on MV-algebras.
- Published in:
- Archive for Mathematical Logic, 2006, v. 45, n. 4, p. 381, doi. 10.1007/s00153-005-0286-y
- By:
- Publication type:
- Article
Small Π<sup>0</sup><sub>1</sub> Classes.
- Published in:
- Archive for Mathematical Logic, 2006, v. 45, n. 4, p. 393, doi. 10.1007/s00153-005-0319-6
- By:
- Publication type:
- Article
Decision methods for linearly ordered Heyting algebras.
- Published in:
- Archive for Mathematical Logic, 2006, v. 45, n. 4, p. 411, doi. 10.1007/s00153-005-0321-z
- By:
- Publication type:
- Article
On constants and the strict order property.
- Published in:
- Archive for Mathematical Logic, 2006, v. 45, n. 4, p. 423, doi. 10.1007/s00153-005-0323-x
- By:
- Publication type:
- Article
C-Quasi-Minimal enumeration degrees below c'.
- Published in:
- Archive for Mathematical Logic, 2006, v. 45, n. 4, p. 505, doi. 10.1007/s00153-005-0318-7
- By:
- Publication type:
- Article
Upper bounds on complexity of Frege proofs with limited use of certain schemata.
- Published in:
- Archive for Mathematical Logic, 2006, v. 45, n. 4, p. 431, doi. 10.1007/s00153-005-0325-8
- By:
- Publication type:
- Article
Herbrand's theorem and term induction.
- Published in:
- Archive for Mathematical Logic, 2006, v. 45, n. 4, p. 447, doi. 10.1007/s00153-005-0327-6
- By:
- Publication type:
- Article