- On reduction rules, meaning-as-use, and proof-theoretic semantics.Ruy J. G. B. de Queiroz - 2008 - Studia Logica 90 (2):211-247.details
|
|
From the Knowability Paradox to the existence of proofs.W. Dean & H. Kurokawa - 2010 - Synthese 176 (2):177 - 225.details
|
|
Inter-model connectives and substructural logics.Igor Sedlár - 2014 - In Roberto Ciuni, Heinrich Wansing & Caroline Willkommen (eds.), Recent Trends in Philosophical Logic (Proceedings of Trends in Logic XI). Cham, Switzerland: Springer. pp. 195-209.details
|
|
The Knowability Paradox in the light of a Logic for Pragmatics.Massimiliano Carrara & Daniele Chiffi - 2014 - In Roberto Ciuni, Heinrich Wansing & Caroline Willkommen (eds.), Recent Trends in Philosophical Logic (Proceedings of Trends in Logic XI). Cham, Switzerland: Springer. pp. 47-58.details
|
|
Dag Prawitz on Proofs and Meaning.Heinrich Wansing (ed.) - 2014 - Cham, Switzerland: Springer.details
|
|
Inference and Epistemic Transparency.Gabriele Usberti - 2019 - Topoi 38 (3):517-530.details
|
|
On Reduction Rules, Meaning-as-Use, and Proof-Theoretic Semantics.Ruy J. G. B. de Queiroz - 2008 - Studia Logica 90 (2):211 - 247.details
|
|
On Reduction Rules, Meaning-as-use, and Proof-theoretic Semantics.Ruy Queiroz - 2008 - Studia Logica 90 (2):211-247.details
|
|
Infinity and verifiability in Carnapʼs inductive logic.Ruurik Holm - 2013 - Journal of Applied Logic 11 (4):487-504.details
|
|
Necessity of Thought.Cesare Cozzo - 2015 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Springer. pp. 101-20.details
|
|