Publisher
Springer International Publishing
Reference14 articles.
1. Avron, A.: Quasi-canonical systems and their semantics. Synthese, pp. 1–19, December 2018. https://doi.org/10.1007/s11229-018-02045-0
2. Avron, A., Konikowska, B.: Finite-valued logics for information processing. Fund. Inform. 114(1), 1–30 (2012)
3. Lecture Notes in Computer Science;A Avron,2008
4. Avron, A., Zamansky, A.: Non-deterministic semantics for logical systems. In: Gabbay, D., Guenthner, F. (eds.) Handbook of philosophical logic, pp. 227–304. Springer, Dordrecht (2011). https://doi.org/10.1007/978-94-007-0479-4_4
5. Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press, Cambridge (1999)