Funder
Conselho Nacional de Desenvolvimento Científico e Tecnológico
Fundação de Amparo à Pesquisa do Estado de São Paulo
Publisher
Springer Science and Business Media LLC
Reference43 articles.
1. Arieli, O., and A. Avron, Reasoning with logical bilattices, Journal of Logic, Language and Information 5(1):25–63, 1996.
2. Avron, A., and I. Lev, Canonical propositional Gentzen-type systems, in Proceedings of the First International Joint Conference on Automated Reasoning (IJCAR ’01), Springer-Verlag, London, 2001, pp. 529–544.
3. Avron, A., and I. Lev, Non-deterministic multi-valued structures, Journal of Logic and Computation, 15(3):241–261, 2005.
4. Avron, A., and A. Zamansky, Non-deterministic semantics for logical systems, in D. M. Gabbay, and F. Guenthner, (eds.), Handbook of Philosophical Logic (2nd. edition), Vol. 16, Springer, 2011, pp. 227–304.
5. Ballarin, R., Modern Origins of Modal Logic, in E. N. Zalta, and U. Nodelman, (eds.), The Stanford Encyclopedia of Philosophy, Fall 2021 Edition, https://1608plato.stanford.edu/archives/fall2021/entries/logic-modalorigins/
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献