Meaning and proofs: on the conflict between classical and intuitionistic logic.
- Published in:
- Theoria: A Swedish Journal of Philosophy, 1977, v. 43, n. 1, p. 2, doi. 10.1111/j.1755-2567.1977.tb00776.x
- By:
- Publication type:
- Article
Works matching IS 00405825 AND DT 1977 AND VI 43 AND IP 1
Results: 5
1
2
A completeness proof for an infinitary tense-logic.
- Published in:
- Theoria: A Swedish Journal of Philosophy, 1977, v. 43, n. 1, p. 47, doi. 10.1111/j.1755-2567.1977.tb00778.x
- By:
- Publication type:
- Article
3
Announcement.
- Published in:
- Theoria: A Swedish Journal of Philosophy, 1977, v. 43, n. 1, p. 1, doi. 10.1111/j.1755-2567.1977.tb00775.x
- Publication type:
- Article
4
The stubborn opacity of belief contexts.
- Published in:
- Theoria: A Swedish Journal of Philosophy, 1977, v. 43, n. 1, p. 41, doi. 10.1111/j.1755-2567.1977.tb00777.x
- By:
- Publication type:
- Article
5
Five critical modal systems.
- Published in:
- Theoria: A Swedish Journal of Philosophy, 1977, v. 43, n. 1, p. 52, doi. 10.1111/j.1755-2567.1977.tb00779.x
- By:
- Publication type:
- Article