Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Michael Gabbay 0001
@article{DBLP:journals/flap/GabbaySS18,
author = {Michael Gabbay and
Prokop Soused{\'{\i}}k and
David Svoboda},
title = {Editorial},
journal = {{FLAP}},
volume = {5},
number = {6},
pages = {1259--1260},
year = {2018},
url = {https://www.collegepublications.co.uk/downloads/ifcolog00026.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/flap/GabbaySS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/flap/Gabbay18,
author = {Michael Gabbay},
title = {Formalism and Set Theoretic Truth},
journal = {{FLAP}},
volume = {5},
number = {6},
pages = {1365--1380},
year = {2018},
url = {https://www.collegepublications.co.uk/downloads/ifcolog00026.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/flap/Gabbay18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/GabbayG17,
author = {Murdoch James Gabbay and
Michael Gabbay},
title = {Representation and duality of the untyped {\(\lambda\)}-calculus in
nominal lattice and topological semantics, with a proof of topological
completeness},
journal = {Ann. Pure Appl. Log.},
volume = {168},
number = {3},
pages = {501--621},
year = {2017},
url = {https://doi.org/10.1016/j.apal.2016.10.001},
doi = {10.1016/J.APAL.2016.10.001},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/GabbayG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/Gabbay17,
author = {Michael Gabbay},
title = {Bilateralism does not provide a proof theoretic treatment of classical
logic (for technical reasons)},
journal = {J. Appl. Log.},
volume = {25},
number = {Supplement},
pages = {S108--S122},
year = {2017},
url = {https://doi.org/10.1016/j.jal.2017.11.001},
doi = {10.1016/J.JAL.2017.11.001},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/Gabbay17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/GabbayG16,
author = {Dov M. Gabbay and
Michael Gabbay},
title = {Theory of disjunctive attacks, Part {I}},
journal = {Log. J. {IGPL}},
volume = {24},
number = {2},
pages = {186--218},
year = {2016},
url = {https://doi.org/10.1093/jigpal/jzv032},
doi = {10.1093/JIGPAL/JZV032},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/GabbayG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/GabbayG16a,
author = {Dov M. Gabbay and
Michael Gabbay},
title = {The attack as intuitionistic negation},
journal = {Log. J. {IGPL}},
volume = {24},
number = {5},
pages = {807--837},
year = {2016},
url = {https://doi.org/10.1093/jigpal/jzw012},
doi = {10.1093/JIGPAL/JZW012},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/GabbayG16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comma/GabbayG16,
author = {Dov M. Gabbay and
Michael Gabbay},
editor = {Pietro Baroni and
Thomas F. Gordon and
Tatjana Scheffler and
Manfred Stede},
title = {Argumentation as Information Input: {A} Position Paper},
booktitle = {Computational Models of Argument - Proceedings of {COMMA} 2016, Potsdam,
Germany, 12-16 September, 2016},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {287},
pages = {311--318},
publisher = {{IOS} Press},
year = {2016},
url = {https://doi.org/10.3233/978-1-61499-686-6-311},
doi = {10.3233/978-1-61499-686-6-311},
timestamp = {Wed, 30 Aug 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/comma/GabbayG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/GabbayG15,
author = {Dov M. Gabbay and
Michael Gabbay},
title = {The attack as strong negation, part {I}},
journal = {Log. J. {IGPL}},
volume = {23},
number = {6},
pages = {881--941},
year = {2015},
url = {https://doi.org/10.1093/jigpal/jzv033},
doi = {10.1093/JIGPAL/JZV033},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/GabbayG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GabbayG15,
author = {Dov M. Gabbay and
Michael Gabbay},
title = {The Attack as Strong Negation, Part {I}},
journal = {CoRR},
volume = {abs/1506.03266},
year = {2015},
url = {http://arxiv.org/abs/1506.03266},
eprinttype = {arXiv},
eprint = {1506.03266},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GabbayG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GabbayG15a,
author = {Dov M. Gabbay and
Michael Gabbay},
title = {The Attack as Intuitionistic Negation},
journal = {CoRR},
volume = {abs/1510.00077},
year = {2015},
url = {http://arxiv.org/abs/1510.00077},
eprinttype = {arXiv},
eprint = {1510.00077},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GabbayG15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/flap/GabbayG14,
author = {Michael Gabbay and
Murdoch Gabbay},
title = {A simple and complete model theory for intensional and extensional
untyped lambda-equality},
journal = {{FLAP}},
volume = {1},
number = {2},
pages = {83--106},
year = {2014},
url = {http://www.collegepublications.co.uk/downloads/ifcolog00002.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/flap/GabbayG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/birthday/Gabbay14,
author = {Michael Gabbay},
editor = {Andrei Voronkov and
Margarita V. Korovina},
title = {A simple and complete model theory for intensional and extensional
untyped {\(\lambda\)}-equality},
booktitle = {{HOWARD-60:} {A} Festschrift on the Occasion of Howard Barringer's
60th Birthday},
series = {EPiC Series in Computing},
volume = {42},
pages = {165--177},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/2vzl},
doi = {10.29007/2VZL},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Gabbay14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1305-5968,
author = {Murdoch James Gabbay and
Michael Gabbay},
title = {Representation and duality of the},
journal = {CoRR},
volume = {abs/1305.5968},
year = {2013},
url = {http://arxiv.org/abs/1305.5968},
eprinttype = {arXiv},
eprint = {1305.5968},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1305-5968.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Gabbay11,
author = {Michael Gabbay},
title = {A proof-theoretic treatment of {\(\lambda\)}-reduction with cut-elimination:
{\(\lambda\)}-calculus as a logic programming language},
journal = {J. Symb. Log.},
volume = {76},
number = {2},
pages = {673--699},
year = {2011},
url = {https://doi.org/10.2178/jsl/1305810770},
doi = {10.2178/JSL/1305810770},
timestamp = {Wed, 30 Aug 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Gabbay11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Gabbay10,
author = {Michael Gabbay},
title = {A Formalist Philosophy of Mathematics Part {I:} Arithmetic},
journal = {Stud Logica},
volume = {96},
number = {2},
pages = {219--238},
year = {2010},
url = {https://doi.org/10.1007/s11225-010-9283-1},
doi = {10.1007/S11225-010-9283-1},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Gabbay10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/GabbayG10,
author = {Michael Gabbay and
Murdoch James Gabbay},
editor = {Edmund M. Clarke and
Andrei Voronkov},
title = {A Simple Class of Kripke-Style Models in Which Logic and Computation
Have Equal Standing},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 16th
International Conference, LPAR-16, Dakar, Senegal, April 25-May 1,
2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6355},
pages = {231--254},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17511-4\_14},
doi = {10.1007/978-3-642-17511-4\_14},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/GabbayG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisb/GabbayG08,
author = {Murdoch Gabbay and
Michael Gabbay},
editor = {Frank Guerin and
Wamberto Weber Vasconcelos},
title = {Substitution for Fraenkel-Mostowski foundations},
booktitle = {{AISB} 2008 Convention: Communication, Interaction and Social Intelligence,
1st-4th April 2008, University of Aberdeen, {UK}},
series = {Computing {\&} Philosophy},
volume = {12},
pages = {65--72},
publisher = {{AISB}},
year = {2008},
url = {http://www.aisb.org.uk/convention/aisb08/proc/proceedings/12\%20Computing\%20and\%20Philosophy/10.pdf},
timestamp = {Thu, 21 Jun 2018 07:20:39 +0200},
biburl = {https://dblp.org/rec/conf/aisb/GabbayG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GabbayG09,
author = {Michael Gabbay and
Murdoch James Gabbay},
editor = {Moreno Falaschi},
title = {Term Sequent Logic},
booktitle = {Proceedings of the 17th International Workshop on Functional and (Constraint)
Logic Programming, {WFLP} 2008, Siena, Italy, July 3-4, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {246},
pages = {87--106},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.07.017},
doi = {10.1016/J.ENTCS.2009.07.017},
timestamp = {Thu, 09 Mar 2023 14:45:34 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GabbayG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GabbayG08,
author = {Murdoch Gabbay and
Michael Gabbay},
editor = {Rachid Echahed},
title = {a-Logic With Arrows},
booktitle = {Proceedings of the 16th International Workshop on Functional and (Constraint)
Logic Programming, WFLP@RDP 2007, Paris, France, June 25, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {216},
pages = {3--29},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.06.031},
doi = {10.1016/J.ENTCS.2008.06.031},
timestamp = {Fri, 17 Feb 2023 10:24:07 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GabbayG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GabbayG05,
author = {Michael Gabbay and
Murdoch Gabbay},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {Some Formal Considerations on Gabbay's Restart Rule in Natural Deduction
and Goal-Directed Reasoning},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume One},
pages = {701--730},
publisher = {College Publications},
year = {2005},
timestamp = {Thu, 09 Jul 2020 09:13:39 +0200},
biburl = {https://dblp.org/rec/conf/birthday/GabbayG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GabbayG05a,
author = {Murdoch Gabbay and
Michael Gabbay},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {a-logic},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume One},
pages = {731--764},
publisher = {College Publications},
year = {2005},
timestamp = {Wed, 30 Aug 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/GabbayG05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paclic/Gabbay00,
author = {Michael Gabbay},
editor = {Akira Ikeya and
Masahito Kawamori},
title = {A Conversational Logic : wa and ga},
booktitle = {Proceedings of the 14th Pacific Asia Conference on Language, Information
and Computation, {PACLIC} 2000, Tokyo, Japan, February 15-17, 2000},
pages = {87--96},
publisher = {{PACLIC} 14 Organizing Committee},
year = {2000},
url = {https://hdl.handle.net/2065/12181},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/paclic/Gabbay00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 02:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
