A Conversational Logic : wa and ga. - Michael Gabbay 001 (PACLIC, 2000)

Some Formal Considerations on Gabbay's Restart Rule in Natural Deduction and Goal-Directed Reasoning. - Michael Gabbay 001; Murdoch Gabbay (We Will Show Them! (1), 2005)

a-logic. - Murdoch Gabbay; Michael Gabbay 001 (We Will Show Them! (1), 2005)

a-Logic With Arrows. - Murdoch Gabbay; Michael Gabbay 001 (WFLP@RDP, 2007)

Substitution for Fraenkel-Mostowski foundations. - Murdoch Gabbay; Michael Gabbay 001 (AISB Convention, 2008)

Term Sequent Logic. - Michael Gabbay 001; Murdoch James Gabbay (WFLP, 2008)

A Simple Class of Kripke-Style Models in Which Logic and Computation Have Equal Standing. - Michael Gabbay 001; Murdoch James Gabbay (LPAR (Dakar), 2010)

A Formalist Philosophy of Mathematics Part I: Arithmetic. - Michael Gabbay 001 (Stud Logica, 2010)

A proof-theoretic treatment of λ-reduction with cut-elimination: λ-calculus as a logic programming language. - Michael Gabbay 001 (J. Symb. Log., 2011)

Representation and duality of the - Murdoch James Gabbay; Michael Gabbay 001 (CoRR, 2013)

A simple and complete model theory for intensional and extensional untyped λ-equality. - Michael Gabbay 001 (HOWARD-60, 2014)

A simple and complete model theory for intensional and extensional untyped lambda-equality. - Michael Gabbay 001; Murdoch Gabbay (FLAP, 2014)

The attack as strong negation, part I. - Dov M. Gabbay; Michael Gabbay 001 (Log. J. IGPL, 2015)

Argumentation as Information Input: A Position Paper. - Dov M. Gabbay; Michael Gabbay 001 (COMMA, 2016)

Theory of disjunctive attacks, Part I. - Dov M. Gabbay; Michael Gabbay 001 (Log. J. IGPL, 2016)

The attack as intuitionistic negation. - Dov M. Gabbay; Michael Gabbay 001 (Log. J. IGPL, 2016)

Representation and duality of the untyped λ-calculus in nominal lattice and topological semantics, with a proof of topological completeness. - Murdoch James Gabbay; Michael Gabbay 001 (Ann. Pure Appl. Log., 2017)

Bilateralism does not provide a proof theoretic treatment of classical logic (for technical reasons). - Michael Gabbay 001 (J. Appl. Log., 2017)

Formalism and Set Theoretic Truth. - Michael Gabbay 001 (FLAP, 2018)

Editorial. - Michael Gabbay 001; Prokop Sousedík; David Svoboda (FLAP, 2018)