Author:
Dawson Jeremy E.,Goré Rajeev
Publisher
Springer International Publishing
Reference9 articles.
1. Beth, E. (1953). On Padoa’s method in the theory of definition. Indagationes Mathematicae, 15, 330–339.
2. Dawson, J. E. & Goré, R. (2002). Formalised cut admissibility for display logic. In V. A. Carreno, C. A. Munoz, & S. Tahar (Eds.), TPHOLs02: Proceedings of the 15th international conference on theorem proving in higher order logics (Vol. 2410, pp. 131–147). Lecture Notes in Computer Science. Berlin: Springer.
3. Dawson, J. E. & Goré, R. (2010). Generic methods for formalising sequent calculi applied to provability logic. In Proceedings of Logic for Programming, Artificial Intelligence, and Reasoning – 17th International Conference, LPAR-17, Yogyakarta, Indonesia (pp. 263–277).
4. Fitting, M. (1983). Proof Methods for Modal and Intuitionistic Logics. Synthese library. Dordrecht: D. Reidel.
5. Fitting, M. (2018). Tableaus and dual tableaus. In J. Golińska-Pilarek & M. Zawidzki (Eds.), Ewa Orłowska on Relational Methods in Logic and Computer Science (pp. 105–128). Outstanding Contributions to Logic. Berlin: Springer.