Results: 6
Relations in Monadic third-order Logic.
- Published in:
- Journal of Philosophical Logic, 1997, v. 26, n. 6, p. 619, doi. 10.1023/A:1004247419201
- By:
- Publication type:
- Article
Indexed systems of sequents and cut-elimination.
- Published in:
- Journal of Philosophical Logic, 1997, v. 26, n. 6, p. 671, doi. 10.1023/A:1017948105274
- By:
- Publication type:
- Article
A constructive formulation of Gleason's Theorem.
- Published in:
- Journal of Philosophical Logic, 1997, v. 26, n. 6, p. 662, doi. 10.1023/A:1004275113665
- By:
- Publication type:
- Article
Provability in principle and controversial constructivistic principles.
- Published in:
- Journal of Philosophical Logic, 1997, v. 26, n. 6, p. 636, doi. 10.1023/A:1017954806119
- By:
- Publication type:
- Article
Marti on descriptions in Carnap's S2.
- Published in:
- Journal of Philosophical Logic, 1997, v. 26, n. 6, p. 629, doi. 10.1023/A:1017941003240
- By:
- Publication type:
- Article
Finitude and Hume's principle.
- Published in:
- Journal of Philosophical Logic, 1997, v. 26, n. 6, p. 589, doi. 10.1023/A:1004299720847
- By:
- Publication type:
- Article