On equality and natural numbers in Cantor-Łukasiewicz set theory.
- Published in:
- Logic Journal of the IGPL, 2013, v. 21, n. 1, p. 91, doi. 10.1093/jigpal/jzq019
- By:
- Publication type:
- Article
Works matching IS 13670751 AND DT 2013 AND VI 21 AND IP 1
Results: 10
1
2
Mathematical pluralism.
- Published in:
- Logic Journal of the IGPL, 2013, v. 21, n. 1, p. 4, doi. 10.1093/jigpal/jzs018
- By:
- Publication type:
- Article
3
A generalized cut characterization of the fullness axiom in CZF.
- Published in:
- Logic Journal of the IGPL, 2013, v. 21, n. 1, p. 63, doi. 10.1093/jigpal/jzs022
- By:
- Publication type:
- Article
4
Lipschitz functions in constructive reverse mathematics.
- Published in:
- Logic Journal of the IGPL, 2013, v. 21, n. 1, p. 28, doi. 10.1093/jigpal/jzs020
- By:
- Publication type:
- Article
5
Constructive version of Boolean algebra.
- Published in:
- Logic Journal of the IGPL, 2013, v. 21, n. 1, p. 44, doi. 10.1093/jigpal/jzs021
- By:
- Publication type:
- Article
6
Identity taken seriously: a non-classical approach.
- Published in:
- Logic Journal of the IGPL, 2013, v. 21, n. 1, p. 101, doi. 10.1093/jigpal/jzs024
- By:
- Publication type:
- Article
7
A first constructive look at the comparison of projections.
- Published in:
- Logic Journal of the IGPL, 2013, v. 21, n. 1, p. 14, doi. 10.1093/jigpal/jzs019
- By:
- Publication type:
- Article
8
Interpreting lattice-valued set theory in fuzzy set theory.
- Published in:
- Logic Journal of the IGPL, 2013, v. 21, n. 1, p. 77, doi. 10.1093/jigpal/jzs023
- By:
- Publication type:
- Article
9
Strong, universal and provably non-trivial set theory by means of adaptive logic.
- Published in:
- Logic Journal of the IGPL, 2013, v. 21, n. 1, p. 108, doi. 10.1093/jigpal/jzs025
- By:
- Publication type:
- Article
10
Editorial: Special issue on non-classical mathematics.
- Published in:
- Logic Journal of the IGPL, 2013, v. 21, n. 1, p. 1, doi. 10.1093/jigpal/jzs017
- By:
- Publication type:
- Article