- Plans and planning in mathematical proofs.Yacin Hamami & Rebecca Lea Morris - 2020 - Review of Symbolic Logic 14 (4):1030-1065.details
|
|
Demostraciones «tópicamente puras» en la práctica matemática: un abordaje elucidatorio.Guillermo Nigro Puente - 2020 - Dissertation, Universidad de la República Uruguaydetails
|
|
Proof-Theoretic Semantics for Natural Language.Nissim Francez - 2019 - Topoi 40 (1):55-69.details
|
|
Proof, Meaning and Paradox: Some Remarks.Luca Tranchini - 2019 - Topoi 38 (3):591-603.details
|
|
Truth as an Epistemic Notion.Dag Prawitz - 2012 - Topoi 31 (1):9-16.details
|
|
Logical Consequence.J. C. Beall, Greg Restall & Gil Sagi - 2019 - Stanford Encyclopedia of Philosophy.details
|
|
Historical and Conceptual Foundations of Information Physics.Anta Javier - 2021 - Dissertation, Universitat de Barcelonadetails
|
|
Epistemology Versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf.Peter Dybjer, Sten Lindström, Erik Palmgren & Göran Sundholm (eds.) - 2012 - Dordrecht, Netherland: Springer.details
|
|
Groundwork for a Fallibilist Account of Mathematics.Silvia De Toffoli - 2021 - Philosophical Quarterly 7 (4):823-844.details
|
|
Acceptable gaps in mathematical proofs.Line Edslev Andersen - 2020 - Synthese 197 (1):233-247.details
|
|
The Epistemic Significance of Valid Inference – A Model-Theoretic Approach.Constantin C. Brîncuș - 2015 - In Sorin Costreie & Mircea Dumitru (eds.), Meaning and Truth. Pro Universitaria. pp. 11-36.details
|
|
Cognitive autoimmunity knowledge, ignorance and self-deception.Selene Arfini & Lorenzo Magnani - 2016 - Logic Journal of the IGPL 24 (1).details
|
|
More Reflections on Consequence.Julien Murzi & Massimiliano Carrara - 2014 - Logique Et Analyse 57 (227):223-258.details
|
|
Intuition, Iteration, Induction.Mark van Atten - 2024 - Philosophia Mathematica 32 (1):34-81.details
|
|
Epistemic characterizations of validity and level-bridging principles.Joshua Schechter - 2024 - Philosophical Studies 181 (1):153-178.details
|
|
Dag Prawitz on Proofs and Meaning.Heinrich Wansing (ed.) - 2014 - Cham, Switzerland: Springer.details
|
|
Necessity of Thought.Cesare Cozzo - 2015 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Cham, Switzerland: Springer. pp. 101-20.details
|
|
A note on Etchemendy's and Prawitz's reduction principles for the Tarskian and model‐theoretic concept of consequence.Antonio Piccolomini D'Aragona - 2022 - Theoria 88 (5):1014-1036.details
|
|
Mathematical Inference and Logical Inference.Yacin Hamami - 2018 - Review of Symbolic Logic 11 (4):665-704.details
|
|
Philosophy of Mathematics for the Masses : Extending the scope of the philosophy of mathematics.Stefan Buijsman - 2016 - Dissertation, Stockholm Universitydetails
|
|
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
|
|
Introduction: Inferences and Proofs.Gabriella Crocco & Antonio Piccolomini D’Aragona - 2019 - Topoi 38 (3):487-492.details
|
|
Naturalizing the logic of abduction.Lorenzo Magnani - 2016 - Logic Journal of the IGPL 24 (4).details
|
|
Denotational Semantics for Languages of Epistemic Grounding Based on Prawitz’s Theory of Grounds.Antonio Piccolomini D’Aragona - 2021 - Studia Logica 110 (2):355-403.details
|
|
The eco-cognitive model of abduction II.Lorenzo Magnani - 2016 - Journal of Applied Logic 15:94-129.details
|
|
Carroll’s Infinite Regress and the Act of Diagramming.John Mumma - 2019 - Topoi 38 (3):619-626.details
|
|
Dag Prawitz on Proofs, Operations and Grounding.Antonio Piccolomini D’ Aragona - 2019 - Topoi 38 (3):531-550.details
|
|
Proof-theoretic semantics as a resource for expressing semantic variability.Nissim Francez - 2022 - Synthese 200 (4):1-27.details
|
|
Inference and Epistemic Transparency.Gabriele Usberti - 2019 - Topoi 38 (3):517-530.details
|
|