- Introduction to Higher Order Categorical Logic.Joachim Lambek & Philip J. Scott - 1986 - Cambridge University Press.details
|
|
Natural deduction systems for some quantified relevant logics.Ross T. Brady - 1984 - Logique Et Analyse 27 (8):355--377.details
|
|
Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes.Kurt Gödel - 1958 - Dialectica 12 (3):280.details
|
|
Introduction to Higher Order Categorical Logic.J. Lambek & P. J. Scott - 1989 - Journal of Symbolic Logic 54 (3):1113-1114.details
|
|
The Euclidean Diagram.Kenneth Manders - 2008 - In Paolo Mancosu (ed.), The Philosophy of Mathematical Practice. Oxford, England: Oxford University Press. pp. 80--133.details
|
|
Adjointness in Foundations.F. William Lawvere - 1969 - Dialectica 23 (3‐4):281-296.details
|
|
Hyperdoctrines, Natural Deduction and the Beck Condition.Robert A. G. Seely - 1983 - Mathematical Logic Quarterly 29 (10):505-542.details
|
|
(1 other version)Godel's functional interpretation.Jeremy Avigad & Solomon Feferman - 1998 - In Samuel R. Buss (ed.), Handbook of proof theory. New York: Elsevier. pp. 337-405.details
|
|
Semantics for relevance logic with identity.Edwin D. Mares - 1992 - Studia Logica 51 (1):1 - 20.details
|
|
Relevant identity.Philip Kremer - 1999 - Journal of Philosophical Logic 28 (2):199-222.details
|
|
Relevant predication: Grammatical characterisations. [REVIEW]Philip Kremer - 1989 - Journal of Philosophical Logic 18 (4):349 - 382.details
|
|
Whither relevant arithmetic?Harvey Friedman & Robert K. Meyer - 1992 - Journal of Symbolic Logic 57 (3):824-831.details
|
|
Relevant predication 1: The formal theory. [REVIEW]J. Michael Dunn - 1987 - Journal of Philosophical Logic 16 (4):347-381.details
|
|
Full Lambek Hyperdoctrine: Categorical Semantics for First-Order Substructural Logics.Yoshihiro Maruyama - 2013 - In L. Libkin, U. Kohlenbach & R. de Queiroz (eds.), Logic, Language, Information, and Computation. WoLLIC 2013. Lecture Notes in Computer Science, vol 8071. Springer. pp. 211-225.details
|
|
The undecidability of entailment and relevant implication.Alasdair Urquhart - 1984 - Journal of Symbolic Logic 49 (4):1059-1073.details
|
|
Duality for algebras of relevant logics.Alasdair Urquhart - 1996 - Studia Logica 56 (1-2):263 - 276.details
|
|
Dunn’s relevant predication, real properties and identity.Philip Kremer - 1997 - Erkenntnis 47 (1):37-65.details
|
|
Real Properties, Relevance Logic, and Identity.Philip Kremer - 1994 - Dissertation, University of Pittsburghdetails
|
|
Provable equality in primitive recursive arithmetic with and without induction.Harvey Friedman - 1975 - Pacific Journal of Mathematics 57 (2):379-392.details
|
|
The Algebra of Intensional Logics.Jon Michael Dunn - 1966 - Dissertation, University of Pittsburghdetails
|
|