Rejected axioms for the “nonsense-logic” W and the k-valued logic of Sobociński
DOI:
https://doi.org/10.12775/LLP.2008.018Keywords
rejected axioms, the logic W, the k-valued sentential calculi of SobocińskiAbstract
In this paper rejection systems for the “nonsense-logic” W and the k-valued implicational-negational sentential calculi of Sobociński are given. Considered systems consist of computable sets of rejected axioms and only one rejection rule: the rejection version of detachment rule.References
Piróg-Rzepecka, K., Nonsense-Logics Systems (in Polish), OTPN–PWN, Warszawa–Wroclaw 1977.
Sobociński, B., “Axiomatization of some many-valued systems of deductive theory” (in Polish), Roczniki Prac Naukowych Zrzeszenia Asystentów Uniwersytetu Józefa Piłsudskiego w Warszawie I (1936).
Downloads
Published
2009-03-15
How to Cite
1.
SOCHACKI, Robert. Rejected axioms for the “nonsense-logic” W and the k-valued logic of Sobociński. Logic and Logical Philosophy. Online. 15 March 2009. Vol. 17, no. 4, pp. 321-327. [Accessed 25 July 2024]. DOI 10.12775/LLP.2008.018.
Issue
Section
Articles
Stats
Number of views and downloads: 360
Number of citations: 0