- 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
|
|
History and Philosophy of Constructive Type Theory.Giovanni Sommaruga - 2000 - 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
|
|
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
|
|
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 belief reports.Bartosz Więckowski - 2015 - Synthese 192 (3):603-633.details
|
|
Formalization of Hilbert's geometry of incidence and parallelism.Jan von Plato - 1997 - Synthese 110 (1):127-141.details
|
|
The assertion-candidate and the meaning of mood.Maria van der Schaar - 2007 - Synthese 159 (1):61-82.details
|
|
Assertion and grounding: a theory of assertion for constructive type theory.Maria van der Schaar - 2011 - Synthese 183 (2):187-210.details
|
|
“Inference versus consequence” revisited: inference, consequence, conditional, implication.Göran Sundholm - 2012 - Synthese 187 (3):943-956.details
|
|
Implicit epistemic aspects of constructive logic.Göran Sundholm - 1997 - Journal of Logic, Language and Information 6 (2):191-212.details
|
|
Review essay.Glenn Shafer - 1995 - Synthese 104 (1):161-176.details
|
|
The cognitive act and the first-person perspective: an epistemology for constructive type theory.Maria van der Schaar - 2011 - Synthese 180 (3):391 - 417.details
|
|
Assertion and grounding: a theory of assertion for constructive type theory.Maria Schaar - 2011 - Synthese 183 (2):187-210.details
|
|
Type Theory and the Theory of Meaning: Towards an Intuitionistic View of Language.Hirofumi Saito - 2006 - Annals of the Japan Association for Philosophy of Science 14 (2):113-121.details
|
|
Syntactic calculus with dependent types.Aarne Ranta - 1998 - Journal of Logic, Language and Information 7 (4):413-431.details
|
|
Dialogue systems as proof editors.Aarne Ranta & Robin Cooper - 2004 - Journal of Logic, Language and Information 13 (2):225-240.details
|
|
Um quadro dialógico para ficções como objetos hipotéticos.Shahid Rahman & Juan Redmond - 2015 - Filosofia Unisinos 16 (1).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
|
|
On Dialogues, Predication and Elementary sentences.Shahid Rahman & Nicolas Clerbout - 2013 - Revista de Humanidades de Valparaíso 2:7-46.details
|
|
An epistemic logic for becoming informed.Giuseppe Primiero - 2009 - Synthese 167 (2):363 - 389.details
|
|
Formalization of Hilbert's geometry of incidence and parallelism.Jan Platvono - 1997 - Synthese 110 (1):127-141.details
|
|
Intentional identity revisited.Ahti Pietarinen - 2010 - Nordic Journal of Philosophical Logic 6 (2):147-188.details
|
|
Bilattices and the semantics of natural language questions.R. Nelken & N. Francez - 2002 - Linguistics and Philosophy 25 (1):37-64.details
|
|
New directions in type-theoretic grammars.Reinhard Muskens - 2010 - Journal of Logic, Language and Information 19 (2):129-136.details
|
|
Formal semantics in modern type theories with coercive subtyping.Zhaohui Luo - 2012 - Linguistics and Philosophy 35 (6):491-513.details
|
|
Figures of dialogue: a view from Ludics.Alain Lecomte & Myriam Quatrini - 2011 - Synthese 183 (S1):59-85.details
|
|
Modal Homotopy Type Theory. The Prospect of a New Logic for Philosophy. [REVIEW]A. Klev & C. Zwanziger - 2022 - History and Philosophy of Logic 44 (3):337-342.details
|
|
Identity and Sortals.Ansten Klev - 2017 - Erkenntnis 82 (1):1-16.details
|
|
An Intensional Solution to the Bike Puzzle of Intentional Identity.Bjørn Jespersen - 2011 - Philosophia 39 (2):297-307.details
|
|
Anti-realist semantics.Wolfram Hinzen - 2000 - Erkenntnis 52 (3):281-311.details
|
|
Semantics with Dependent Types for Indefinites.Justyna Grudzińska - 2016 - Studies in Logic, Grammar and Rhetoric 46 (1):173-192.details
|
|
Inverse Linking, Possessive Weak Definites and Haddock Descriptions: A Unified Dependent Type Account.Justyna Grudzińska & Marek Zawadowski - 2019 - Journal of Logic, Language and Information 28 (2):239-260.details
|
|
Clarification, ellipsis, and the nature of contextual updates in dialogue.Jonathan Ginzburg & Robin Cooper - 2004 - Linguistics and Philosophy 27 (3):297-365.details
|
|
Proof-theoretic semantics for a natural language fragment.Nissim Francez & Roy Dyckhoff - 2010 - Linguistics and Philosophy 33 (6):447-477.details
|
|
Towards a semantics for the artifactual theory of fiction and beyond.Matthieu Fontaine & Shahid Rahman - 2014 - Synthese 191 (3):499-516.details
|
|
Situations as indices and as denotations.Tim Fernando - 2009 - Linguistics and Philosophy 32 (2):185-206.details
|
|
Constructing Situations and Time.Tim Fernando - 2011 - Journal of Philosophical Logic 40 (3):371 - 396.details
|
|
A type reduction from proof-conditional to dynamic semantics.Tim Fernando - 2001 - Journal of Philosophical Logic 30 (2):121-153.details
|
|
A modal logic for non-deterministic discourse processing.Tim Fernando - 1999 - Journal of Logic, Language and Information 8 (4):445-468.details
|
|
The Hole Argument, take n.John Dougherty - 2020 - Foundations of Physics 50 (4):330-347.details
|
|
Interaction et révision de croyances.Adjoua Bernadette Dango - 2015 - Revista de Humanidades de Valparaíso 5:75-97.details
|
|
Intuitionistic completeness of first-order logic.Robert Constable & Mark Bickford - 2014 - Annals of Pure and Applied Logic 165 (1):164-198.details
|
|
Past and Present Interactions in Legal Reasoning and Logic.Matthias Armgardt, Patrice Canivez & Sandrine Chassagnard-Pinet (eds.) - 2015 - Cham, Switzerland: Springer.details
|
|
Natural Language Inference in Coq.Stergios Chatzikyriakidis & Zhaohui Luo - 2014 - Journal of Logic, Language and Information 23 (4):441-480.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
|
|
A Computational Treatment of Anaphora and Its Algorithmic Implementation.Jean-Philippe Bernardy, Stergios Chatzikyriakidis & Aleksandre Maskharashvili - 2020 - Journal of Logic, Language and Information 30 (1):1-29.details
|
|