Works matching IS 13670751 AND DT 2009 AND VI 17 AND IP 2
Results: 5
Factorization of residuated lattices.
- Published in:
- Logic Journal of the IGPL, 2009, v. 17, n. 2, p. 205, doi. 10.1093/jigpal/jzp004
- By:
- Publication type:
- Article
Indecomposability of negative dense subsets of ℝ in Constructive Reverse Mathematics.
- Published in:
- Logic Journal of the IGPL, 2009, v. 17, n. 2, p. 173, doi. 10.1093/jigpal/jzp002
- By:
- Publication type:
- Article
Acknowledgements.
- Published in:
- Logic Journal of the IGPL, 2009, v. 17, n. 2, p. 225, doi. 10.1093/jigpal/jzp005
- Publication type:
- Article
Unifiability in extensions of K4.
- Published in:
- Logic Journal of the IGPL, 2009, v. 17, n. 2, p. 159, doi. 10.1093/jigpal/jzn032
- By:
- Publication type:
- Article
Economic theory and the Alternative Set Theory AFA−+AD+DC.
- Published in:
- Logic Journal of the IGPL, 2009, v. 17, n. 2, p. 179, doi. 10.1093/jigpal/jzp003
- By:
- Publication type:
- Article