Michael Gabbay

King's College, London, UK

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

other persons with the same name:

Ask others: ACM DL/Guide -

	2011
j4		Michael Gabbay: A proof-theoretic treatment of λ-reduction with cut-elimination: λ-calculus as a logic programming language. J. Symb. Log. 76(2): 673-699 (2011)
	2010
j3		Michael Gabbay: A Formalist Philosophy of Mathematics Part I: Arithmetic. Studia Logica 96(2): 219-238 (2010)
c4		Michael Gabbay, Murdoch James Gabbay: A Simple Class of Kripke-Style Models in Which Logic and Computation Have Equal Standing. LPAR (Dakar) 2010: 231-254
	2009
j2		Michael Gabbay, Murdoch James Gabbay: Term Sequent Logic. Electr. Notes Theor. Comput. Sci. 246: 87-106 (2009)
	2008
j1		Murdoch Gabbay, Michael Gabbay: a-Logic With Arrows. Electr. Notes Theor. Comput. Sci. 216: 3-29 (2008)
c3		Murdoch Gabbay, Michael Gabbay: Substitution for Fraenkel-Mostowski foundations. AISB Convention 2008: 65-72
	2005
c2		Michael Gabbay, Murdoch Gabbay: Some Formal Considerations on Gabbay's Restart Rule in Natural Deduction and Goal-Directed Reasoning. We Will Show Them! (1) 2005: 701-730
c1		Murdoch Gabbay, Michael Gabbay: a-logic. We Will Show Them! (1) 2005: 731-764

Coauthor Index

Last update Sat May 18 20:33:15 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page