Michael Gabbay

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 7594133 (Why is no real title available?)	2022-09-28	Paper
scientific article; zbMATH DE number 7238902 (Why is no real title available?)	2020-08-25	Paper
The attack as strong negation. I Logic Journal of the IGPL	2019-01-08	Paper
Theory of disjunctive attacks, Part I Logic Journal of the IGPL	2019-01-08	Paper
The attack as intuitionistic negation Logic Journal of the IGPL	2019-01-08	Paper
Bilateralism does not provide a proof theoretic treatment of classical logic (for technical reasons) Journal of Applied Logic	2018-01-31	Paper
Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness Annals of Pure and Applied Logic	2016-12-23	Paper
Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness Annals of Pure and Applied Logic	2016-12-23	Paper
Term sequent logic Electronic Notes in Theoretical Computer Science	2015-04-09	Paper
\(a\)-logic with arrows Electronic Notes in Theoretical Computer Science	2014-03-26	Paper
A proof-theoretic treatment of \(\lambda \)-reduction with cut-elimination: \(\lambda \)-calculus as a logic programming language Journal of Symbolic Logic	2011-06-28	Paper
Some formal considerations on Gabbay's restart rule in natural deduction and goal-directed reasoning	2011-06-21	Paper
scientific article; zbMATH DE number 5910661 (Why is no real title available?)	2011-06-21	Paper
A simple class of Kripke-style models in which logic and computation have equal standing Logic for Programming, Artificial Intelligence, and Reasoning	2011-01-07	Paper
A formalist philosophy of mathematics. I: Arithmetic Studia Logica	2010-11-08	Paper
The dynamics of scroll wave filaments in the complex Ginzburg-Landau equation Physica D	2010-09-11	Paper
scientific article; zbMATH DE number 2222614 (Why is no real title available?)	2005-11-03	Paper
Spiral wave dynamics in the complex Ginzburg-Landau equation with broken chiral symmetry Physica D	2000-06-22	Paper

Research outcomes over time

This page was built for person: Michael Gabbay