Publisher
Springer International Publishing
Reference37 articles.
1. Amati, G., Aiello, L.C., Gabbay, D., Pirri, F.: A proof theoretical approach to default reasoning I: Tableaux for default logic. J. Log. Comput. 6(2), 205–231 (1996)
2. Avron, A.: Natural 3-valued logics - Characterization and proof theory. J. Symb. Log. 56(1), 276–294 (1991)
3. Avron, A.: The method of hypersequents in the proof theory of propositional non-classical logics. In: Logic: From Foundations to Applications, pp. 1–32. Clarendon Press (1996)
4. Avron, A.: Classical Gentzen-type methods in propositional many-valued logics. In: Fitting, M., Orlowska, E. (eds.) Theory and Applications in Multiple-Valued Logics, pp. 113–151. Springer, Heidelberg (2002).
https://doi.org/10.1007/978-3-7908-1769-0_5
5. Beyersdorff, O., Meier, A., Thomas, M., Vollmer, H.: The complexity of reasoning for fragments of default logic. J. Log. Comput. 22(3), 587–604 (2012)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献