Michael Gabbay

Available identifiers

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5869558	2022-09-28	Paper
https://portal.mardi4nfdi.de/entity/Q5116403	2020-08-25	Paper
The attack as strong negation. I	2019-01-08	Paper
Theory of disjunctive attacks, Part I	2019-01-08	Paper
The attack as intuitionistic negation	2019-01-08	Paper
Bilateralism does not provide a proof theoretic treatment of classical logic (for technical reasons)	2018-01-31	Paper
Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness	2016-12-23	Paper
Term sequent logic	2015-04-09	Paper
\(a\)-logic with arrows	2014-03-26	Paper
A proof-theoretic treatment of \(\lambda \)-reduction with cut-elimination: \(\lambda \)-calculus as a logic programming language	2011-06-28	Paper
Some formal considerations on Gabbay's restart rule in natural deduction and goal-directed reasoning	2011-06-21	Paper
https://portal.mardi4nfdi.de/entity/Q3007266	2011-06-21	Paper
A simple class of Kripke-style models in which logic and computation have equal standing	2011-01-07	Paper
A formalist philosophy of mathematics. I: Arithmetic	2010-11-08	Paper
The dynamics of scroll wave filaments in the complex Ginzburg-Landau equation	2010-09-11	Paper
https://portal.mardi4nfdi.de/entity/Q5701412	2005-11-03	Paper
Spiral wave dynamics in the complex Ginzburg-Landau equation with broken chiral symmetry	2000-06-22	Paper

This page was built for person: Michael Gabbay