A Classification of Improper Inference Rules

Sasaki, Katsumi

dc.contributor.author	Sasaki, Katsumi
dc.date.accessioned	2022-08-25T13:00:38Z
dc.date.available	2022-08-25T13:00:38Z
dc.date.issued	2022-06-23
dc.identifier.issn	0138-0680
dc.identifier.uri	http://hdl.handle.net/11089/42927
dc.description.abstract	In the natural deduction system for classical propositional logic given by G. Gentzen, there are some inference rules with assumptions discharged by the rule. D. Prawitz calls such inference rules improper as opposed to proper ones. Improper inference rules are more complicated than proper ones and more difficult to understand. In 2022, we provided a sequent system based solely on the application of proper rules. In the present paper, on the basis of our system from 2022, we classify improper inference rules.	en
dc.language.iso	en
dc.publisher	Wydawnictwo Uniwersytetu Łódzkiego	pl
dc.relation.ispartofseries	Bulletin of the Section of Logic;2	en
dc.rights.uri	https://creativecommons.org/licenses/by-nc-nd/4.0
dc.subject	sequent system	en
dc.subject	improper inference rule	en
dc.subject	natural deduction	en
dc.title	A Classification of Improper Inference Rules	en
dc.type	Other
dc.page.number	243-266
dc.contributor.authorAffiliation	Nanzan University, Faculty of Science and Technology, 18 Yamazato-Cho	en
dc.identifier.eissn	2449-836X
dc.references	W. Breckenridge, O. Magidor, Arbitrary reference, Philosophical Studies, vol. 158(3) (2012), pp. 377–400, DOI: https://doi.org/10.1007/s11098-010-9676-z.	en
dc.references	A. Chagrov, M. Zakharyaschev, vol. 35 of Oxford Logic Guides, Clarendon Press, New York.	en
dc.references	K. Fine, Reasoning with arbitrary objects, vol. 3 of Aristotelian Society Series, Oxford University Press, New York (1985).	en
dc.references	G. Gentzen, Untersuchungen über das logisch Schließen, Mathematische Zeitschrift, vol. 39 (1934–35), pp. 176–210, 405–431, DOI:	en
dc.references	https://doi.org/10.1007/BF01201353.	en
dc.references	P. Hertz, Über Axiomensysteme für beliebige Satzsysteme, Mathematische Annalen, vol. 101 (1929), pp. 457–514, DOI:	en
dc.references	https://doi.org/10.1007/BF01454856.	en
dc.references	A. Indrzejczak, A Survey of Nonstandard Sequent Calculi, Studia Logica, vol. 102 (2014), pp. 1295–1322, DOI: https://doi.org/10.1007/s11225-014-9567-y.	en
dc.references	D. Prawitz, Natural Deduction: A Proof-Theoretical Study, Almqvist & Wiksell, Stockholm (1965).	en
dc.references	K. Robering, Ackermann’s Implication for Typefree Logic, Journal of Logic and Computation, vol. 11(1) (2001), pp. 5–23, DOI:	en
dc.references	https://doi.org/10.1093/logcom/11.1.5.	en
dc.references	K. Sasaki, A sequent system without improper derivations, The Bulletin of Symbolic Logic, vol. 51(1) (2022), pp. 91–108, DOI:	en
dc.references	https://doi.org/10.18778/0138-0680.2021.21.	en
dc.references	P. Schroeder-Heister, Resolution and the Origins of Structural Reasoning: Early Proof-Theoretic Ideas of Hertz and Gentzen, The	en
dc.references	Bulletin of Symbolic Logic, vol. 8 (2002), pp. 246–265.	en
dc.references	R. Suszko, W sprawie logiki bez aksjomatów, Kwartalnik Filozoficzny, vol. 17 (1948), pp. 199–205.	en
dc.references	R. Suszko, Formalna teoria wartości logicznych, Studia Logica, vol. 6 (1957), pp. 145–320, DOI: https://doi.org/10.1007/BF02547932.	en
dc.contributor.authorEmail	sasaki@nanzan-u.ac.jp
dc.identifier.doi	10.18778/0138-0680.2022.12
dc.relation.volume	51

Pliki tej pozycji

Nazwa:: 243-266_Sasaki.pdf
Rozmiar:: 1.812MB
Format:: PDF

Oglądaj/Otwórz

Pozycja umieszczona jest w następujących kolekcjach

Bulletin of the Section of Logic 51/2 (2022) [9]

Pokaż uproszczony rekord

Poza zaznaczonymi wyjątkami, licencja tej pozycji opisana jest jako https://creativecommons.org/licenses/by-nc-nd/4.0