Michael Gabbay
Affiliations:- University of Cambridge, UK
- King's College London, UK
According to our database1,
Michael Gabbay
authored at least 20 papers
between 2000 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on kcl.ac.uk
On csauthors.net:
Bibliography
2018
2017
Bilateralism does not provide a proof theoretic treatment of classical logic (for technical reasons).
J. Appl. Log., 2017
Representation and duality of the untyped λ-calculus in nominal lattice and topological semantics, with a proof of topological completeness.
Ann. Pure Appl. Log., 2017
2016
Proceedings of the Computational Models of Argument, 2016
2015
2014
A simple and complete model theory for intensional and extensional untyped lambda-equality.
FLAP, 2014
A simple and complete model theory for intensional and extensional untyped λ-equality.
Proceedings of the HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday, 2014
2013
2011
A proof-theoretic treatment of λ-reduction with cut-elimination: λ-calculus as a logic programming language.
J. Symb. Log., 2011
2010
A Simple Class of Kripke-Style Models in Which Logic and Computation Have Equal Standing.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010
2008
Proceedings of the 17th International Workshop on Functional and (Constraint) Logic Programming, 2008
Proceedings of the AISB 2008 Convention: Communication, 2008
2007
Proceedings of the 16th International Workshop on Functional and (Constraint) Logic Programming, 2007
2005
a-logic.
Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume One, 2005
Some Formal Considerations on Gabbay's Restart Rule in Natural Deduction and Goal-Directed Reasoning.
Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume One, 2005
2000
Proceedings of the 14th Pacific Asia Conference on Language, Information and Computation, 2000