Author:
Piecha Thomas,de Campos Sanz Wagner,Schroeder-Heister Peter
Publisher
Springer Science and Business Media LLC
Reference26 articles.
1. de Campos Sanz, W., & Piecha, T. (2009). Inversion by definitional reflection and the admissibility of logical rules. Review of Symbolic Logic, 2(3), 550–569.
2. de Campos Sanz,W., & Piecha, T. (2014). A critical remark on the BHK interpretation of implication. In P.E. Bour, G. Heinzmann,W. Hodges, P. Schroeder-Heister (Eds.), 14th CLMPS 2011 Proceedings, Philosophia Scientiae, Vol. 18(3). To appear.
3. de Campos Sanz, W., Piecha, T., Schroeder-Heister, P. (2014). Constructive semantics, admissibility of rules and the validity of Peirce’s law. Logic Journal of the IGPL, 22 (2), 297–308. First published online August 6, 2013.
4. Dummett, M. (1991). The Logical Basis of Metaphysics. London: Duckworth.
5. Goldfarb, W. (2014). On Dummett’s “Proof-theoretic Justifications of Logical Laws”. In T. Piecha & P. Schroeder-Heister (Eds.), Advances in Proof-Theoretic Semantics. Trends in Logic. Dordrecht: Springer. Circulated manuscript, 1998.
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献