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
Works matching IS 00223611 AND DT 1997 AND VI 26 AND IP 6
Results: 6
1
2
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
3
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
4
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
5
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
6
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