Author:
Ciabattoni Agata,Galatos Nikolaos,Terui Kazushige
Reference42 articles.
1. Logic programming with focusing proofs in linear logic;Andreoli;Journal of Logic and Computation,1992
2. Hypersequents, logical consequence and intermediate logics for concurrency;Avron;Annals of Mathematics and Artificial Intelligence,1991
3. Kripke semantics for basic sequent systems;Avron,2011
4. Non-deterministic Semantics for Logical Systems;Avron;Handbook of Philosophical Logic,2011
5. Hüllensysteme und Erweiterungen von Quasi-Ordnungen;Banaschewski;Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik,1956
Cited by
52 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献