Michael Gabbay

Publication Activity (10 Years)

Years Active: 2000-2018
Publications (10 Years): 10

Top Topics

Classical Logic

Malicious Attacks

Proof Theoretic

Top Venues

Publications

Michael Gabbay, Prokop Sousedík, David Svoboda
Editorial. FLAP 5 (6) (2018)
Michael Gabbay
Formalism and Set Theoretic Truth. FLAP 5 (6) (2018)
Michael Gabbay
Bilateralism does not provide a proof theoretic treatment of classical logic (for technical reasons). J. Appl. Log. 25 (Supplement) (2017)
Murdoch James Gabbay, Michael Gabbay
Representation and duality of the untyped λ-calculus in nominal lattice and topological semantics, with a proof of topological completeness. Ann. Pure Appl. Log. 168 (3) (2017)
Dov M. Gabbay, Michael Gabbay
The attack as intuitionistic negation. Log. J. IGPL 24 (5) (2016)
Dov M. Gabbay, Michael Gabbay
Theory of disjunctive attacks, Part I. Log. J. IGPL 24 (2) (2016)
Dov M. Gabbay, Michael Gabbay
Argumentation as Information Input: A Position Paper. COMMA (2016)
Dov M. Gabbay, Michael Gabbay
The Attack as Intuitionistic Negation. CoRR (2015)
Dov M. Gabbay, Michael Gabbay
The Attack as Strong Negation, Part I. CoRR (2015)
Dov M. Gabbay, Michael Gabbay
The attack as strong negation, part I. Log. J. IGPL 23 (6) (2015)
Michael Gabbay, Murdoch Gabbay
A simple and complete model theory for intensional and extensional untyped lambda-equality. FLAP 1 (2) (2014)
Murdoch James Gabbay, Michael Gabbay
Representation and duality of the CoRR (2013)
Michael Gabbay
A proof-theoretic treatment of λ-reduction with cut-elimination: λ-calculus as a logic programming language. J. Symb. Log. 76 (2) (2011)
Michael Gabbay, Murdoch James Gabbay
A Simple Class of Kripke-Style Models in Which Logic and Computation Have Equal Standing. LPAR (Dakar) (2010)
Michael Gabbay
A Formalist Philosophy of Mathematics Part I: Arithmetic. Stud Logica 96 (2) (2010)
Michael Gabbay, Murdoch James Gabbay
Term Sequent Logic. Electron. Notes Theor. Comput. Sci. 246 (2009)
Murdoch Gabbay, Michael Gabbay
a-Logic With Arrows. Electron. Notes Theor. Comput. Sci. 216 (2008)
Murdoch Gabbay, Michael Gabbay
Substitution for Fraenkel-Mostowski foundations. AISB Convention (2008)
Murdoch Gabbay, Michael Gabbay
a-logic. We Will Show Them! (1) (2005)
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)
Michael Gabbay
A Conversational Logic : wa and ga. PACLIC (2000)