- The Price of Mathematical Scepticism.Paul Blain Levy - 2022 - Philosophia Mathematica 30 (3):283-305.details
|
|
Knowledge of proofs.Peter Pagin - 1994 - Topoi 13 (2):93-100.details
|
|
Martin-Löf on the Validity of Inference.Ansten Klev - 2024 - In Antonio Piccolomini D'Aragona (ed.), Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction. Springer Verlag. pp. 171-185.details
|
|
Predicativity and Feferman.Laura Crosilla - 2017 - In Gerhard Jäger & Wilfried Sieg (eds.), Feferman on Foundations: Logic, Mathematics, Philosophy. Cham: Springer. pp. 423-447.details
|
|
Avicenna on Syllogisms Composed of Opposite Premises.Behnam Zolghadr - 2021 - In Mojtaba Mojtahedi, Shahid Rahman & MohammadSaleh Zarepour (eds.), Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad Ardeshir. Springer. pp. 433-442.details
|
|
Translating a Fragment of Natural Deduction System for Natural Language into Modern Type Theory.Ivo Pezlar - 2019 - In Rainer Osswald, Christian Retoré & Peter Sutton (eds.), Proceedings of the IWCS 2019 Workshop on Computing Semantics with Types, Frames and Related Structures. Association for Computational Linguistics. pp. 10-18.details
|
|
Judgement and the Epistemic Foundation of Logic.Maria van der Schaar (ed.) - 2012 - Dordrecht, Netherland: Springer.details
|
|
Advances in Natural Deduction: A Celebration of Dag Prawitz's Work.Luiz Carlos Pereira & Edward Hermann Haeusler (eds.) - 2012 - Dordrecht, Netherland: Springer.details
|
|
Substructural Logics: A Primer.Francesco Paoli - 2002 - Dordrecht, Netherland: Springer.details
|
|
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
|
|
Procedural Semantics for Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic.Marie Duží, Bjorn Jespersen & Pavel Materna - 2010 - Dordrecht, Netherland: Springer.details
|
|
Constructivity and Computability in Historical and Philosophical Perspective.Jacques Dubucs & Michel Bourdeau (eds.) - 2014 - Dordrecht, Netherland: Springer.details
|
|
Logic, Mathematics, Philosophy, Vintage Enthusiasms: Essays in Honour of John L. Bell.David DeVidi, Michael Hallett & Peter Clark (eds.) - 2011 - Dordrecht, Netherland: Springer.details
|
|
Inferences by Parallel Reasoning in Islamic Jurisprudence: Al-Shīrāzī’s Insights Into the Dialectical Constitution of Meaning and Knowledge.Shahid Rahman, Muhammad Iqbal & Youcef Soufi - 2019 - Cham, Switzerland: Springer Verlag.details
|
|
Hyperintensionality and Normativity.Federico L. G. Faroldi - 2019 - Cham, Switzerland: Springer Verlag.details
|
|
Dag Prawitz on Proofs and Meaning.Heinrich Wansing (ed.) - 2014 - Cham, Switzerland: Springer.details
|
|
Immanent Reasoning or Equality in Action: A Plaidoyer for the Play Level.Nicolas Clerbout, Ansten Klev, Zoe McConaughey & Shahid Rahman - 2018 - Cham, Switzerland: Springer Verlag.details
|
|
Advances in Proof-Theoretic Semantics.Peter Schroeder-Heister & Thomas Piecha (eds.) - 2015 - Cham, Switzerland: Springer Verlag.details
|
|
Variable Handling and Compositionality: Comparing DRT and DTS.Yukiko Yana, Koji Mineshima & Daisuke Bekki - 2019 - Journal of Logic, Language and Information 28 (2):261-285.details
|
|
Constructive Versus Ontological Construals of Cantorian Ordinals.Wolfram Hinzen - 2003 - History and Philosophy of Logic 24 (1):45-63.details
|
|
Constructive belief reports.Bartosz Więckowski - 2015 - Synthese 192 (3):603-633.details
|
|
Denotational semantics for intuitionistic type theory using a hierarchy of domains with totality.Geir Waagbø - 1999 - Archive for Mathematical Logic 38 (1):19-60.details
|
|
Rereading Gentzen.Jan Von Plato - 2003 - Synthese 137 (1-2):195 - 209.details
|
|
The axiom of multiple choice and models for constructive set theory.Benno van den Berg & Ieke Moerdijk - 2014 - Journal of Mathematical Logic 14 (1):1450005.details
|
|
The assertion-candidate and the meaning of mood.Maria van der Schaar - 2007 - Synthese 159 (1):61-82.details
|
|
Univalent foundations as structuralist foundations.Dimitris Tsementzis - 2017 - Synthese 194 (9):3583-3617.details
|
|
A meaning explanation for HoTT.Dimitris Tsementzis - 2020 - Synthese 197 (2):651-680.details
|
|
Concepts and Axioms.A. S. Troelstra - 1998 - Philosophia Mathematica 6 (2):195-208.details
|
|
Proof, Meaning and Paradox: Some Remarks.Luca Tranchini - 2019 - Topoi 38 (3):591-603.details
|
|
Proof-theoretic harmony: towards an intensional account.Luca Tranchini - 2016 - Synthese 198 (Suppl 5):1145-1176.details
|
|
The Neglect of Epistemic Considerations in Logic: The Case of Epistemic Assumptions.Göran Sundholm - 2019 - Topoi 38 (3):551-559.details
|
|
“Inference versus consequence” revisited: inference, consequence, conditional, implication.Göran Sundholm - 2012 - Synthese 187 (3):943-956.details
|
|
On the concept of language in some recent theories of meaning.Sören Stenlund - 1989 - Synthese 79 (1):51 - 98.details
|
|
Countable choice as a questionable uniformity principle.Peter M. Schuster - 2004 - Philosophia Mathematica 12 (2):106-134.details
|
|
Syntactic calculus with dependent types.Aarne Ranta - 1998 - Journal of Logic, Language and Information 7 (4):413-431.details
|
|
Intuitionistic categorial grammar.Aarne Ranta - 1991 - Linguistics and Philosophy 14 (2):203 - 239.details
|
|
Dialogue systems as proof editors.Aarne Ranta & Robin Cooper - 2004 - Journal of Logic, Language and Information 13 (2):225-240.details
|
|
Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, Ctt Demonstrations and the Axiom of Choice.Shahid Rahman & Nicolas Clerbout - 2015 - Cham, Switzerland: Springer.details
|
|
Proceeding in Abstraction. From Concepts to Types and the recent perspective on Information.Giuseppe Primiero - 2009 - History and Philosophy of Logic 30 (3):257-282.details
|
|
Offline and Online Data: on upgrading functional information to knowledge.Giuseppe Primiero - 2013 - Philosophical Studies 164 (2):371-392.details
|
|
The Seeming Interdependence Between the Concepts of Valid Inference and Proof.Dag Prawitz - 2019 - Topoi 38 (3):493-503.details
|
|
The epistemic significance of valid inference.Dag Prawitz - 2012 - Synthese 187 (3):887-898.details
|
|
Truth as an Epistemic Notion.Dag Prawitz - 2012 - Topoi 31 (1):9-16.details
|
|
Wittgenstein on Mathematical Identities.André Porto - 2012 - Disputatio 4 (34):755-805.details
|
|
Dialogue structure and logical expressivism.Paul Piwek - 2011 - Synthese 183 (S1):33-58.details
|
|
The placeholder view of assumptions and the Curry–Howard correspondence.Ivo Pezlar - 2020 - Synthese (11):1-17.details
|
|
On Two Notions of Computation in Transparent Intensional Logic.Ivo Pezlar - 2018 - Axiomathes 29 (2):189-205.details
|
|
Proof-Theoretic Semantics, by Nissim Francez.Ivo Pezlar - 2017 - Mind 126 (501):299-304.details
|
|
Proof-Theoretic Semantics,by Nissim Francez.Ivo Pezlar - 2016 - Mind:fzw056.details
|
|
Composition of Deductions within the Propositions-As-Types Paradigm.Ivo Pezlar - 2020 - Logica Universalis (4):1-13.details
|
|