Michael Gabbay

22 papers C 2Journal 13Unranked 6
YearRankTypeTitle / Venue / Authors
2018 J jnl
Editorial.
FLAP
Michael Gabbay, Prokop Sousedík, David Svoboda
2018 J jnl
Formalism and Set Theoretic Truth.
FLAP
Michael Gabbay
2017 J jnl
Bilateralism does not provide a proof theoretic treatment of classical logic (for technical reasons).
J. Appl. Log.
Michael Gabbay
2017 J jnl
Representation and duality of the untyped λ-calculus in nominal lattice and topological semantics, with a proof of topological completeness.
Ann. Pure Appl. Log.
Murdoch James Gabbay, Michael Gabbay
2016 C conf
Argumentation as Information Input: A Position Paper.
COMMA
Dov M. Gabbay, Michael Gabbay
2016 J jnl
The attack as intuitionistic negation.
Log. J. IGPL
Dov M. Gabbay, Michael Gabbay
2016 J jnl
Theory of disjunctive attacks, Part I.
Log. J. IGPL
Dov M. Gabbay, Michael Gabbay
2015 J jnl
The Attack as Intuitionistic Negation.
CoRR
Dov M. Gabbay, Michael Gabbay
2015 J jnl
The Attack as Strong Negation, Part I.
CoRR
Dov M. Gabbay, Michael Gabbay
2015 J jnl
The attack as strong negation, part I.
Log. J. IGPL
Dov M. Gabbay, Michael Gabbay
2014 J jnl
A simple and complete model theory for intensional and extensional untyped lambda-equality.
FLAP
Michael Gabbay, Murdoch Gabbay
2014 — ch.
A simple and complete model theory for intensional and extensional untyped λ-equality.
HOWARD-60
Michael Gabbay
2013 J jnl
Representation and duality of the
CoRR
Murdoch James Gabbay, Michael Gabbay
2011 J jnl
A proof-theoretic treatment of λ-reduction with cut-elimination: λ-calculus as a logic programming language.
J. Symb. Log.
Michael Gabbay
2010 J jnl
A Formalist Philosophy of Mathematics Part I: Arithmetic.
Stud Logica
Michael Gabbay
2010 — conf
A Simple Class of Kripke-Style Models in Which Logic and Computation Have Equal Standing.
LPAR (Dakar)
Michael Gabbay, Murdoch James Gabbay
2008 — conf
Substitution for Fraenkel-Mostowski foundations.
AISB Convention
Murdoch Gabbay, Michael Gabbay
2008 — conf
Term Sequent Logic.
WFLP
Michael Gabbay, Murdoch James Gabbay
2007 — conf
a-Logic With Arrows.
WFLP@RDP
Murdoch Gabbay, Michael Gabbay
2005 — conf
Some Formal Considerations on Gabbay's Restart Rule in Natural Deduction and Goal-Directed Reasoning.
We Will Show Them! (1)
Michael Gabbay, Murdoch Gabbay
2005 — conf
a-logic.
We Will Show Them! (1)
Murdoch Gabbay, Michael Gabbay
2000 C conf
A Conversational Logic : wa and ga.
PACLIC
Michael Gabbay