- 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
|
|
On Two Notions of Computation in Transparent Intensional Logic.Ivo Pezlar - 2018 - Axiomathes 29 (2):189-205.details
|
|
Proof, Meaning and Paradox: Some Remarks.Luca Tranchini - 2019 - Topoi 38 (3):591-603.details
|
|
The strength of some Martin-Löf type theories.Edward Griffor & Michael Rathjen - 1994 - Archive for Mathematical Logic 33 (5):347-385.details
|
|
Constructive Sheaf Semantics.Erik Palmgren - 1997 - Mathematical Logic Quarterly 43 (3):321-327.details
|
|
Empirical Negation.Michael De - 2013 - Acta Analytica 28 (1):49-69.details
|
|
Truth as an Epistemic Notion.Dag Prawitz - 2012 - Topoi 31 (1):9-16.details
|
|
On constructing completions.Laura Crosilla, Hajime Ishihara & Peter Schuster - 2005 - Journal of Symbolic Logic 70 (3):969-978.details
|
|
From the Knowability Paradox to the existence of proofs.W. Dean & H. Kurokawa - 2010 - Synthese 176 (2):177 - 225.details
|
|
Frege's Judgement Stroke and the Conception of Logic as the Study of Inference not Consequence.Nicholas J. J. Smith - 2009 - Philosophy Compass 4 (4):639-665.details
|
|
Propositions as games as types.Aarne Ranta - 1988 - Synthese 76 (3):377 - 395.details
|
|
The assertion-candidate and the meaning of mood.Maria van der Schaar - 2007 - Synthese 159 (1):61-82.details
|
|
Developments in constructive nonstandard analysis.Erik Palmgren - 1998 - Bulletin of Symbolic Logic 4 (3):233-272.details
|
|
Consistency of the intensional level of the Minimalist Foundation with Church’s thesis and axiom of choice.Hajime Ishihara, Maria Emilia Maietti, Samuele Maschio & Thomas Streicher - 2018 - Archive for Mathematical Logic 57 (7-8):873-888.details
|
|
The Constructive Hilbert Program and the Limits of Martin-Löf Type Theory.Michael Rathjen - 2005 - Synthese 147 (1):81-120.details
|
|
Identity and Sortals.Ansten Klev - 2017 - Erkenntnis 82 (1):1-16.details
|
|
Uniformly convex Banach spaces are reflexive—constructively.Douglas S. Bridges, Hajime Ishihara & Maarten McKubre-Jordens - 2013 - Mathematical Logic Quarterly 59 (4-5):352-356.details
|
|
Tychonoff's theorem in the framework of formal topologies.Sara Negri & Silvio Valentini - 1997 - Journal of Symbolic Logic 62 (4):1315-1332.details
|
|
Proof normalization modulo.Gilles Dowek & Benjamin Werner - 2003 - Journal of Symbolic Logic 68 (4):1289-1316.details
|
|
The Justification of the Logical Laws Revisited.Patrizio Contu - 2006 - Synthese 148 (3):573-588.details
|
|
(1 other version)An interpretation of martin‐löf's constructive theory of types in elementary topos theory.Anne Preller - 1992 - Mathematical Logic Quarterly 38 (1):213-240.details
|
|
In Defense of Logical Universalism: Taking Issue with Jean van Heijenoort. [REVIEW]Philippe de Rouilhan - 2012 - Logica Universalis 6 (3-4):553-586.details
|
|
The epistemic significance of valid inference.Dag Prawitz - 2012 - Synthese 187 (3):887-898.details
|
|
“Inference versus consequence” revisited: inference, consequence, conditional, implication.Göran Sundholm - 2012 - Synthese 187 (3):943-956.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
|
|
On the concept of language in some recent theories of meaning.Sören Stenlund - 1989 - Synthese 79 (1):51 - 98.details
|
|
What is neologicism?Bernard Linsky & Edward N. Zalta - 2006 - Bulletin of Symbolic Logic 12 (1):60-99.details
|
|
A construction of non-well-founded sets within Martin-löf's type theory.Ingrid Lindström - 1989 - Journal of Symbolic Logic 54 (1):57-64.details
|
|
A type reduction from proof-conditional to dynamic semantics.Tim Fernando - 2001 - Journal of Philosophical Logic 30 (2):121-153.details
|
|
Explicit provability and constructive semantics.Sergei N. Artemov - 2001 - Bulletin of Symbolic Logic 7 (1):1-36.details
|
|
What is a Higher Level Set?Dimitris Tsementzis - 2016 - Philosophia Mathematica:nkw032.details
|
|
A pragmatic interpretation of intuitionistic propositional logic.Carlo Dalla Pozza & Claudio Garola - 1995 - Erkenntnis 43 (1):81-109.details
|
|
On the collection of points of a formal space.Giovanni Curi - 2006 - Annals of Pure and Applied Logic 137 (1-3):126-146.details
|
|
Between constructive mathematics and PROLOG.Gerhard Jäger - 1991 - Archive for Mathematical Logic 30 (5-6):297-310.details
|
|
Dialogue structure and logical expressivism.Paul Piwek - 2011 - Synthese 183 (S1):33-58.details
|
|
On the existence of Stone-Čech compactification.Giovanni Curi - 2010 - Journal of Symbolic Logic 75 (4):1137-1146.details
|
|
Knowledge of proofs.Peter Pagin - 1994 - Topoi 13 (2):93-100.details
|
|
The impact of the lambda calculus in logic and computer science.Henk Barendregt - 1997 - Bulletin of Symbolic Logic 3 (2):181-215.details
|
|
The Neglect of Epistemic Considerations in Logic: The Case of Epistemic Assumptions.Göran Sundholm - 2019 - Topoi 38 (3):551-559.details
|
|
The Justification of Identity Elimination in Martin-Löf’s Type Theory.Ansten Klev - 2019 - Topoi 38 (3):577-590.details
|
|
Univalent foundations as structuralist foundations.Dimitris Tsementzis - 2017 - Synthese 194 (9):3583-3617.details
|
|
(1 other version)Proof theory and computer programming.Ruy J. G. B. de Queiroz & Thomas S. E. Maibaum - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (5):389-414.details
|
|
Pgf: A portable run-time format for type-theoretical grammars. [REVIEW]Krasimir Angelov, Björn Bringert & Aarne Ranta - 2010 - Journal of Logic, Language and Information 19 (2):201-228.details
|
|
A meaning explanation for HoTT.Dimitris Tsementzis - 2020 - Synthese 197 (2):651-680.details
|
|
Innovations in computational type theory using Nuprl.S. F. Allen, M. Bickford, R. L. Constable, R. Eaton, C. Kreitz, L. Lorigo & E. Moran - 2006 - Journal of Applied Logic 4 (4):428-469.details
|
|
Semantic Values for Natural Deduction Derivations.Göran Sundholm - 2006 - Synthese 148 (3):623-638.details
|
|
Natural Language Inference in Coq.Stergios Chatzikyriakidis & Zhaohui Luo - 2014 - Journal of Logic, Language and Information 23 (4):441-480.details
|
|
Constructive belief reports.Bartosz Więckowski - 2015 - Synthese 192 (3):603-633.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
|
|
The Concept Horse is a Concept.Ansten Klev - 2018 - Review of Symbolic Logic 11 (3):547-572.details
|
|