Gabbay, D. M.; Rodrigues, O. T. Elementary logic with applications. A procedural perspective for computer scientists. (English) Zbl 1396.03001 Studies in Logic (London) 65. Mathematical Logic and Foundations. London: College Publications (ISBN 978-1-84890-225-1). xiv, 347 p. (2016). MSC: 03-01 03B05 03B70 00A06 PDFBibTeX XMLCite \textit{D. M. Gabbay} and \textit{O. T. Rodrigues}, Elementary logic with applications. A procedural perspective for computer scientists. London: College Publications (2016; Zbl 1396.03001)
Fermé, Eduardo L. (ed.); Gabbay, Dov M. (ed.); Simari, Guillermo R. (ed.) Trends in belief revision and argumentation dynamics. Based on the workshop on belief revision and argumentation, Funchal, Madeira, January 2012. (English) Zbl 1280.03006 Studies in Logic (London) 48. Logic and Cognitive Systems. London: College Publications (ISBN 978-1-84890-065-3/pbk). x, 304 p. (2013). MSC: 03-06 00B15 03B42 03A05 PDFBibTeX XMLCite \textit{E. L. Fermé} (ed.) et al., Trends in belief revision and argumentation dynamics. Based on the workshop on belief revision and argumentation, Funchal, Madeira, January 2012. London: College Publications (2013; Zbl 1280.03006)
Gabbay, Dov M.; Schmidt, Renate A.; Szałas, Andrzej Second-order quantifier elimination. Foundations, computational aspects and applications. (English) Zbl 1165.03011 Studies in Logic (London) 12. London: College Publications (ISBN 978-1-904987-56-7/pbk). viii, 308 p. (2008). Reviewer: Nail Zamov (Kazan) MSC: 03C10 03-02 03B15 03B35 03B45 03B70 PDFBibTeX XMLCite \textit{D. M. Gabbay} et al., Second-order quantifier elimination. Foundations, computational aspects and applications. London: College Publications (2008; Zbl 1165.03011)
Béziau, Jean-Yves (ed.); Carnielli, Walter (ed.); Gabbay, Dov (ed.) Handbook of paraconsistency. (English) Zbl 1206.03030 Studies in Logic (London) 9. Logic and Cognitive Systems. London: College Publications (ISBN 978-1-904987-73-4/pbk). xi, 512 p. (2007). Reviewer: Martin W. Bunder (Wollongong) MSC: 03B53 03-00 00B15 PDFBibTeX XMLCite \textit{J.-Y. Béziau} (ed.) et al., Handbook of paraconsistency. London: College Publications (2007; Zbl 1206.03030)
Engesser, Kurt; Gabbay, Dov M.; Lehmann, Daniel A new approach to quantum logic. (English) Zbl 1162.03035 Studies in Logic (London) 8. London: King’s College Publications (ISBN 978-1-904987-53-6/pbk). xiv, 182 p. (2007). Reviewer: Jānis Cīrulis (Riga) MSC: 03G12 03-02 03B60 81-02 81P10 81P15 PDFBibTeX XMLCite \textit{K. Engesser} et al., A new approach to quantum logic. London: King's College Publications (2007; Zbl 1162.03035)