Gabbay, Michael Term sequent logic. (English) Zbl 1347.68050 Falaschi, Moreno (ed.), Proceedings of the 17th international workshop on functional and (constraint) logic programming (WFLP 2008), Siena, Italy, July 3–4, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 246, 87-106 (2009). MSC: 68N18 03B40 03B70 03F05 68N17 68T15 PDFBibTeX XMLCite \textit{M. Gabbay}, Electron. Notes Theor. Comput. Sci. 246, 87--106 (2009; Zbl 1347.68050) Full Text: DOI
Gabbay, Murdoch J.; Gabbay, Michael J. \(a\)-logic with arrows. (English) Zbl 1283.03064 Echahed, Rachid (ed.), Proceedings of the 16th international workshop on functional and (constraint) logic programming (WFLP 2007), Paris, France, June 25, 2007. Selected papers. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 216, 3-29 (2008). MSC: 03B70 03B10 03B40 03F05 68N17 PDFBibTeX XMLCite \textit{M. J. Gabbay} and \textit{M. J. Gabbay}, Electron. Notes Theor. Comput. Sci. 216, 3--29 (2008; Zbl 1283.03064) Full Text: DOI