- 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
|
|
Harmony and autonomy in classical logic.Stephen Read - 2000 - Journal of Philosophical Logic 29 (2):123-154.details
|
|
(1 other version)Identity in Martin‐Löf type theory.Ansten Klev - 2021 - Philosophy Compass 17 (2):e12805.details
|
|
History and Philosophy of Constructive Type Theory.Giovanni Sommaruga - 2000 - 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
|
|
The placeholder view of assumptions and the Curry–Howard correspondence.Ivo Pezlar - 2020 - Synthese (11):1-17.details
|
|
(1 other version)Maddy On The Multiverse.Claudio Ternullo - 2019 - In Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Springer Verlag. pp. 43-78.details
|
|
The entanglement of logic and set theory, constructively.Laura Crosilla - 2022 - Inquiry: An Interdisciplinary Journal of Philosophy 65 (6).details
|
|
Proof, Meaning and Paradox: Some Remarks.Luca Tranchini - 2019 - Topoi 38 (3):591-603.details
|
|
The Justification of Identity Elimination in Martin-Löf’s Type Theory.Ansten Klev - 2019 - Topoi 38 (3):577-590.details
|
|
Adjectival and Adverbial Modification: The View from Modern Type Theories.Stergios Chatzikyriakidis & Zhaohui Luo - 2017 - Journal of Logic, Language and Information 26 (1):45-88.details
|
|
Dialogical Harmony: tonk, constructive type theory and rules for anonymous players.Juan Redmond & Shahid Rahman - unknowndetails
|
|
A Constructive Type-Theoretical Formalism for the Interpretation of Subatomically Sensitive Natural Language Constructions.Bartosz Więckowski - 2012 - Studia Logica 100 (4):815-853.details
|
|
Intuitionistic categorial grammar.Aarne Ranta - 1991 - Linguistics and Philosophy 14 (2):203 - 239.details
|
|
Composition of Deductions within the Propositions-As-Types Paradigm.Ivo Pezlar - 2020 - Logica Universalis (4):1-13.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
|
|
Constructive belief reports.Bartosz Więckowski - 2015 - Synthese 192 (3):603-633.details
|
|
Why Topology in the Minimalist Foundation Must be Pointfree.Maria Emilia Maietti & Giovanni Sambin - 2013 - Logic and Logical Philosophy 22 (2):167-199.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
|
|
Identity and intensionality in Univalent Foundations and philosophy.Staffan Angere - 2017 - Synthese 198 (Suppl 5):1-41.details
|
|
The Development of Categorical Logic.John L. Bell - unknowndetails
|
|
Advances in Natural Deduction: A Celebration of Dag Prawitz's Work.Luiz Carlos Pereira & Edward Hermann Haeusler (eds.) - 2012 - Dordrecht, Netherland: Springer.details
|
|
Constructions of categories of setoids from proof-irrelevant families.Erik Palmgren - 2017 - Archive for Mathematical Logic 56 (1-2):51-66.details
|
|
Formal semantics in modern type theories with coercive subtyping.Zhaohui Luo - 2012 - Linguistics and Philosophy 35 (6):491-513.details
|
|
Quotation via Dialogical Interaction.Jonathan Ginzburg & Robin Cooper - 2014 - Journal of Logic, Language and Information 23 (3):287-311.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
|
|
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
|
|