Author:
Avron Arnon,Zamansky Anna
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Avron, A.: Gentzen-Type Systems, Resolution and Tableaux. Journal of Automated Reasoning 10, 265–281 (1993)
2. Avron, A., Lev, I.: Non-deterministic Multi-valued Structures. Journal of Logic and Computation 15, 241–261 (2005)
3. Avron, A., Konikowska, B.: Proof Systems for Logics Based on Non-deterministic Multiple-valued Structures. Logic Journal of the IGPL 13, 365–387 (2005)
4. Avron, A.: Logical Non-determinism as a Tool for Logical Modularity: An Introduction. In: Artemov, S., Barringer, H., d’Avila Garcez, A.S., Lamb, L.C., Woods, J. (eds.) We Will Show Them: Essays in Honour of Dov Gabbay, vol. 1, pp. 105–124. College Publications (2005)
5. Avron, A., Zamansky, A.: Canonical calculi with (n,k)-ary quantifiers. Journal of Logical Methods in Computer Science 10.2168/LMCS-4(3:2) (2008)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献