Author:
Coniglio Marcelo E.,Cerro Luis Fariñas del,Peron Newton M.
Publisher
Springer International Publishing
Reference39 articles.
1. Avron, A. (2007). Non-deterministic semantics for logics with a consistency operator. Journal of Approximate Reasoning, 45(2), 271–287.
2. Avron, A., & Lev, I. (2001). Canonical propositional Gentzen-type systems. In Proceedings of the First International Joint Conference on Automated Reasoning (IJCAR’01) (pp. 529–544). Springer.
3. Avron, A., & Lev, I. (2005). Non-deterministic multi-valued structures. Journal of Logic and Computation, 15(3), 241–261.
4. Avron, A., & Zamansky, A. (2011). Non-deterministic semantics for logical systems. In D. M. Gabbay & F. Guenthner (Eds.), Handbook of Philosophical Logic (vol. 16, 2nd edn., pp. 227–304). Springer.
5. Avron, A., & Zohar, Y. (2019). Rexpansions of non-deterministic matrices and their applications in non-classical logics. The Review of Symbolic Logic, 12(1), 173–200.