Author:
Ciabattoni Agata,Ramanayake Revantha,Wansing Heinrich
Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference111 articles.
1. Andreoli J.-M.: Logic programming with focusing proofs in linear logic. J. Logic Comput. 2(3), 297–347 (1992)
2. Avron A.: A constructive analysis of RM. J. of Symbolic Logic 52(4), 939–951 (1987)
3. Avron A.: Hypersequents, logical consequence and intermediate logics for concurrency. Annals of Mathematics and Artificial Intelligence 4(3-4), 225–248 (1991)
4. Avron, A., The method of hypersequents in the proof theory of propositional nonclassical logics. In Logic: from foundations to applications (Staffordshire, 1993), Oxford Sci. Publ., Oxford Univ. Press, New York, 1996, pp. 1–32.
5. Avron A., Lev I.: Non-deterministic multi-valued structures. J. Logic Comput. 15, 241–261 (2005)
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献