Author:
Baaz Matthias,Zach Richard
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Avron, A.: The semantics and proof theory of linear logic. Theoret. Comput. Sci. 57, 161–184 (1988)
2. Baaz, M., Fermüller, C.G., Salzer, G., Zach, R.: Labeled calculi and finite-valued logics. Studia Logica 61, 7–33 (1998)
3. Lecture Notes in Computer Science;M. Baaz,1994
4. Baaz, M., Zach, R.: Approximating propositional calculi by finite-valued logics. In: 24th International Symposium on Multiple-valued Logic. ISMVL 1994 Proceedings, pp. 257–263. IEEE Press, Los Alamitos (1994)
5. Bernays, P.: Axiomatische Untersuchungen des Aussagenkalküls der “Principia Mathematica”. Math. Z. 25, 305–320 (1926)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献