Author:
Baaz Matthias,Fermüller Christian G.,Salzer Gernot
Reference95 articles.
1. An application of the theorem prover SBR3 to many-valued logic;Anantharaman,1991
2. The value of four values;Arieli;Artificial Intelligence,1998
3. Hypersequents, logical consequence and intermediate logics for concurrency;Avron;Annals of Mathematics and Artificial Intelligence,1991
4. Natural 3-valued logics—characterization and proof theory;Avron;Journal of Symbolic Logic,1991
5. Resolution for many-valued logics;Baaz,1992
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献