Reference71 articles.
1. Avron, A.: On an implication connective of RM. Notre Dame J. Formal Logic 27, 201–209 (1986)
2. Avron, A.: Natural 3-valued logics–characterization and proof theory. J. Symbolic Logic 56, 276–294 (1991)
3. Avron, A.: Non-deterministic matrices and modular semantics of rules. In: J.-Y. Béziau (ed.) Logica Universalis, pp. 149–167. Birkhäuser Verlag, Basel–Boston–Berlin (2005)
4. Avron, A., Konikowska, B.: Multi-valued calculi for logics based on non-determinism. J. Interest Group Pure Appl. Logic 10, 365–387 (2005)
5. Avron, A., Lev, I.: Non-deterministic multiple-valued structures. J. Logic Comput. 15, 241–261 (2005)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献