Author:
Ciabattoni Agata,Lahav Ori,Spendier Lara,Zamansky Anna
Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. Avron, A.: Logical non-determinism as a tool for logical modularity: An introduction. In: We Will Show Them: Essays in Honor of Dov Gabbay, pp. 105–124. College Publications (2005)
2. Avron, A.: Non-deterministic Semantics for Families of Paraconsistent Logics. In: Handbook of Paraconsistency. Studies in Logic, vol. 9, pp. 285–320. College Publications (2007)
3. Avron, A., Ben-Naim, J., Konikowska, B.: Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics. Logica Universalis 1, 41–69 (2006)
4. Avron, A., Konikowska, B., Zamansky, A.: Modular construction of cut-free sequent calculi for paraconsistent logics. In: Proceedings of LICS 2012, pp. 85–94. IEEE (2012)
5. Avron, A., Zamansky, A.: Non-deterministic semantics for logical systems - A survey. In: Gabbay, D., Guenther, F. (eds.) Handbook of Philosophical Logic, vol. 16, pp. 227–304. Springer (2011)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献