- A New Logic of Technical Malfunction.Bjørn Jespersen & Massimiliano Carrara - 2013 - Studia Logica 101 (3):547-581.details
|
|
Mathematical and Empirical Concepts.Pavel Materna - 2012 - In James Maclaurin (ed.), Rationis Defensor: Essays in Honour of Colin Cheyne. Springer.details
|
|
Derivation and computation: taking the Curry-Howard correspondence seriously.Harold Simmons - 2000 - New York: Cambridge University Press.details
|
|
Constructions.Pavel Tichy - 1986 - Philosophy of Science 53 (4):514-534.details
|
|
Sense and the computation of reference.Reinhard Muskens - 2004 - Linguistics and Philosophy 28 (4):473 - 504.details
|
|
A logical calculus of meaning and synonymy.Yiannis Nicholas Moschovakis - 2006 - Linguistics and Philosophy 29:27-89.details
|
|
Untersuchungen über das logische Schließen. I.Gerhard Gentzen - 1935 - Mathematische Zeitschrift 35:176–210.details
|
|
Propositions as Types.Philip Wadler - 2015 - Communications of the Acm 58 (12):75--84.details
|
|
(1 other version)The formulae-as-types notion of construction.William Alvin Howard - 1980 - In Haskell Curry, Hindley B., Seldin J. Roger & P. Jonathan (eds.), To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism. Academic Press.details
|
|
Procedural isomorphism, analytic information and -conversion by value.M. Duzi & B. Jespersen - 2013 - Logic Journal of the IGPL 21 (2):291-308.details
|
|
On the interaction of semantics and deduction in Transparent Intensional Logic.Jiří Raclavský - 2014 - Logic and Logical Philosophy 23 (1):57-68.details
|
|
(1 other version)An Intuitionistic Theory of Types: Predicative Part.Per Martin-Löf - 1975 - In ¸ Iterose1975. North Holland.details
|
|
Can concepts be defined in terms of sets?Marie Duží & Pavel Materna - 2010 - Logic and Logical Philosophy 19 (3):195-242.details
|
|
(1 other version)An Intuitionistic Theory of Types: Predicative Part.Per Martin-Löf - 1975 - In H. E. Rose & J. C. Shepherdson (eds.), Logic Colloquium ’73 Proceedings of the Logic Colloquium. Elsevier. pp. 73--118.details
|
|
Procedural Semantics for Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic.Marie Duží, Bjorn Jespersen & Pavel Materna - 2010 - Dordrecht, Netherland: Springer.details
|
|
The notion of problem, intuitionism and partiality.Pavel Materna - 2008 - Logic and Logical Philosophy 17 (4):287-303.details
|
|
Indiscernibility of identicals.Pavel Tichý - 1986 - Studia Logica 45 (3):251 - 273.details
|
|
Constructions, proofs and the meaning of logical constants.Göran Sundholm - 1983 - Journal of Philosophical Logic 12 (2):151 - 172.details
|
|
Constructive belief reports.Bartosz Więckowski - 2015 - Synthese 192 (3):603-633.details
|
|
(1 other version)The formulæ-as-types notion of construction.W. A. Howard - 1995 - In Philippe De Groote (ed.), The Curry-Howard isomorphism. Louvain-la-Neuve: Academia.details
|
|
(1 other version)A Formulation of the Simple Theory of Types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (3):114-115.details
|
|
Ordinary modalities.Pavel Materna - 2005 - Logique Et Analyse 48 (189-192):57-70.details
|
|
Conceptual and Derivation Systems.Jiří Raclavský & Petr Kuchyňka - 2011 - Logic and Logical Philosophy 20 (1-2):159-174.details
|
|
Is Transparent Intensional Logic a non-classical logic?Pavel Materna - 2014 - Logic and Logical Philosophy 23 (1):47-55.details
|
|