Bulletin of the Section of Logic > 2020 > 49 > 4 > 327-342
Source
Abstract
Identifiers
journal ISSN : | 2449-836X , 0138-0680 |
DOI | 10.18778/0138-0680.2020.23 |
Authors
Keywords
Additional information
Publisher
Fields of science
Bibliography
-
[1] G. Gentzen, Untersuchungen über das logische Schliessen, Mathematische Zeitschrift, vol. 23 (1934), pp. 176–210, 405–431, DOI: http://dx.doi.org/10.1007/BF01201353 English translation: Investigation into logical deduction, pp. 68–131 of The Collected Papers of Gerhard Gentzen, ed. M. E. Szabo. North-Holland, Amsterdam, 1969.
-
[2] J. Harrison, Without loss of generality, [in:] S. Berghofer, T. Nipkow (eds.), Theorem-Proving in Higher Order Logics, vol. 5674 of Lecture Notes in Computer Science, Springer, Berlin (2009), pp. 43–59, DOI: http://dx.doi.org/10.1007/978-3-642-03359-9_3
-
[3] A. Indrzejczak, Natural Deduction, Hybrid Systems and Modal Logic, Springer, Dordrecht (2010), DOI: http://dx.doi.org/10.1007/978-90481-8785-0