Funder
National Science Centre, Poland
Subject
Computer Science Applications,Information Systems,Signal Processing,Theoretical Computer Science
Reference18 articles.
1. A constructive analysis of RM;Avron;J. Symb. Log.,1987
2. Hypersequents, logical consequence and intermediate logics for concurrency;Avron;Ann. Math. Artif. Intell.,1991
3. The method of hypersequents in the proof theory of propositional non-classical logics;Avron,1996
4. A Schütte–Tait style cut-elimination proof for first-order Gödel logic;Baaz,2002
5. Hypersequent calculi for Gödel logics – a survey;Baaz;J. Log. Comput.,2003
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献