The finite model property for semilinear substructural logics.
- Published in:
- Mathematical Logic Quarterly, 2013, v. 59, n. 4/5, p. 268, doi. 10.1002/malq.201200032
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 2013 AND VI 59 AND IP 4/5
Results: 12
1
2
Completeness and interpolation of almost-everywhere quantification over finitely additive measures.
- Published in:
- Mathematical Logic Quarterly, 2013, v. 59, n. 4/5, p. 286, doi. 10.1002/malq.201110051
- By:
- Publication type:
- Article
3
Upward Morley's theorem downward.
- Published in:
- Mathematical Logic Quarterly, 2013, v. 59, n. 4/5, p. 303, doi. 10.1002/malq.201110048
- By:
- Publication type:
- Article
4
The existence of free ultrafilters on ω does not imply the extension of filters on ω to ultrafilters.
- Published in:
- Mathematical Logic Quarterly, 2013, v. 59, n. 4/5, p. 258, doi. 10.1002/malq.201100092
- By:
- Publication type:
- Article
5
Uniformly convex Banach spaces are reflexive-constructively.
- Published in:
- Mathematical Logic Quarterly, 2013, v. 59, n. 4/5, p. 352, doi. 10.1002/malq.201200093
- By:
- Publication type:
- Article
6
Issue Information.
- Published in:
- Mathematical Logic Quarterly, 2013, v. 59, n. 4/5, p. NA, doi. 10.1002/malq.201370042
- Publication type:
- Article
7
An Ehrenfeucht-Fraïssé game for.
- Published in:
- Mathematical Logic Quarterly, 2013, v. 59, n. 4/5, p. 357, doi. 10.1002/malq.201200104
- By:
- Publication type:
- Article
8
Contents: (Math. Log. Quart. 4-5/2013).
- Published in:
- Mathematical Logic Quarterly, 2013, v. 59, n. 4/5, p. 255, doi. 10.1002/malq.201340001
- Publication type:
- Article
9
Cover Picture.
- Published in:
- Mathematical Logic Quarterly, 2013, v. 59, n. 4/5, p. NA, doi. 10.1002/malq.201370041
- Publication type:
- Article
10
Indestructible strong compactness and level by level inequivalence.
- Published in:
- Mathematical Logic Quarterly, 2013, v. 59, n. 4/5, p. 371, doi. 10.1002/malq.201200067
- By:
- Publication type:
- Article
11
Extended Curry-Howard terms for second-order logic.
- Published in:
- Mathematical Logic Quarterly, 2013, v. 59, n. 4/5, p. 274, doi. 10.1002/malq.201100102
- By:
- Publication type:
- Article
12
The arithmetic of cuts in models of arithmetic.
- Published in:
- Mathematical Logic Quarterly, 2013, v. 59, n. 4/5, p. 332, doi. 10.1002/malq.201200062
- By:
- Publication type:
- Article