Author:
Grigoriev Oleg,Petrukhin Yaroslav
Publisher
Springer International Publishing
Reference33 articles.
1. Anderson, A. R., & Belnap, N. D. (1962). Tautological entailments. Philosophical Studies, 13(1–2), 9–24.
2. Anderson, A. R., & Belnap, N. D. (1975). Entailment. The logic of relevance and necessity (vol I). Princeton University Press.
3. Avron, A., Ben-Naim, J., & Konikowska, B. (2007). Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics. Logica Universalis, 1, 41–70.
4. Avron, A., Ben-Naim, J., & Konikowska, B. (2009). Processing information from a set os sources. In D. Makinson, J. Malinowski, & H. Wansing (Eds.). Towards mathematical philosophy, Trends in logic (vol. 28, pp. 165–186). Springer.
5. Avron, A., & Lev, I. (2001). Canonical propositional Gentzen-type systems. In Proceedings of the 1st International Joint Conference on Automated Reasoning. Lecture notes in artificial intelligence (vol. 2083, pp. 529–544). Springer.