Adrian started following the work of Adrian Ionita.
Adrian started following the work of 2 people.
Adrian started following the work of Nils Kürbis, The University of Sheffield, Department of Philosophy.
About
Background: Philosophy and Mathematics.
Speciality: Mathematical Logic (Proof Theory and Lambda-Calculus).
Longstanding (as well as current) research interests: Applications of Lambda-Calculus and Combinatory `Logic' in [Sub-] Structural Proof Theory and Recursion Theory, the Curry-Howard Isomorphism / Correspondence (`Propositions-as-Types'), Intuitionism (Intuitionistic Logic and Heyting Arithmetic), Relevance Logics (Special Topics: the Proof Theory of the Anderson-Belnap R, the New `Distributivity Scandal', `Classical' Relevant Logic, `Relevant Arithmetic'), `Sub-structural' Logics, `Abelian Logic' (Robert K. Meyer & John Slaney) and its Neighbours (`Linear' Logics, etc.), `The Algebraic Theory of Abelian Combinators', Classical Logic as Lambda-Calculus (sic), `Witness Theory'.
Special interests: Selected Topics in the History of Logic (by title): `Chrysippus and His Modern Interpreters'; `'Suppositio' and 'significatio' in Early Mediaeval Logic', `Mediaeval 'consequentiae' and Entailment Theories'; `Girolamo Cardano, Pater Clavius, 'consequentia mirabilis', and Curry's LD'; `Im Buchstabenparadies: Frege und die Folge'; `An Exercise in Data Retrieval: How Old is Witness Theory?' etc.
Contact Information
| Homepage: |
