Funder
Russian Science Foundation
Publisher
Springer Science and Business Media LLC
Subject
General Social Sciences,Philosophy
Reference42 articles.
1. Aguilera, J. P., & Baaz, M. (2019). Unsound inferences make proofs shorter. Journal of Symbolic Logic, 84(1), 102–122. https://doi.org/10.1017/jsl.2018.51
2. Andou, J. (1995). A normalization-procedure for the first order classical natural deduction with full logical symbols. Tsukuba Journal of Mathematics, 19, 153–162. https://doi.org/10.21099/tkbjm/1496162804
3. Avron, A., Konikowska, B., & Zamansky, A. (2013). Cut-free sequent calculi for C-systems with generalized finite-valued semantics. Journal of Logic and Computation, 23(3), 517–540. https://doi.org/10.1093/logcom/exs039
4. Bolotov, A., Bocharov, V., Gorchakov, A., & Shangin, V. (2005). Automated first order natural deduction. In B. Prasad (Ed.). Proceedings of the 2nd Indian international conference on artificial intelligence (pp. 1292–1311). Springer.
5. Curry, H. B. (1963). Foundations of Mathematical Logic. McGraw-Hill.