Found: 5
Select item for more details and to access through your institution.
On the difficulty of discovering mathematical proofs.
- Published in:
- Synthese, 2023, v. 202, n. 2, p. 1, doi. 10.1007/s11229-023-04184-5
- By:
- Publication type:
- Article
Following all the rules: Intuitionistic completeness for generalized proof-theoretic validity.
- Published in:
- Analysis, 2023, v. 83, n. 3, p. 507, doi. 10.1093/analys/anac100
- By:
- Publication type:
- Article
THE POTENTIAL IN FREGE'S THEOREM.
- Published in:
- Review of Symbolic Logic, 2023, v. 16, n. 2, p. 553, doi. 10.1017/S1755020320000349
- By:
- Publication type:
- Article
Something Valid This Way Comes: A Study of Neologicism and Proof-Theoretic Validity.
- Published in:
- 2022
- By:
- Publication type:
- Abstract
Proof-Theoretic Semantics and Inquisitive Logic.
- Published in:
- Journal of Philosophical Logic, 2021, v. 50, n. 5, p. 1199, doi. 10.1007/s10992-021-09596-7
- By:
- Publication type:
- Article