Found: 6
Select item for more details and to access through your institution.
On Dummett's verificationist justification procedure.
- Published in:
- Synthese, 2016, v. 193, n. 8, p. 2539, doi. 10.1007/s11229-015-0865-3
- By:
- Publication type:
- Article
Failure of Completeness in Proof-Theoretic Semantics.
- Published in:
- Journal of Philosophical Logic, 2015, v. 44, n. 3, p. 321, doi. 10.1007/s10992-014-9322-x
- By:
- Publication type:
- Article
Constructive semantics, admissibility of rules and the validity of Peirce's law.
- Published in:
- Logic Journal of the IGPL, 2014, v. 22, n. 2, p. 297, doi. 10.1093/jigpal/jzt029
- By:
- Publication type:
- Article
INVERSION BY DEFINITIONAL REFLECTION AND THE ADMISSIBILITY OF LOGICAL RULES.
- Published in:
- Review of Symbolic Logic, 2009, v. 2, n. 3, p. 550, doi. 10.1017/S1755020309990165
- By:
- Publication type:
- Article
A Note on Gentzen's LJ and NJ Systems Isomorphism.
- Published in:
- Logic Journal of the IGPL, 2007, v. 15, n. 5/6, p. 767, doi. 10.1093/jigpal/jzm048
- By:
- Publication type:
- Article
Relating Intuitionist Negation and Triviality.
- Published in:
- Logic Journal of the IGPL, 2004, v. 12, n. 6, p. 581, doi. 10.1093/jigpal/12.6.581
- By:
- Publication type:
- Article