Rejected axioms for the “nonsense-logic” W and the k-valued logic of Sobociński
DOI:
https://doi.org/10.12775/LLP.2008.018Słowa kluczowe
rejected axioms, the logic W, the k-valued sentential calculi of SobocińskiAbstrakt
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.Bibliografia
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).
Pobrania
Opublikowane
15.03.2009
Jak cytować
1.
SOCHACKI, Robert. Rejected axioms for the “nonsense-logic” W and the k-valued logic of Sobociński. Logic and Logical Philosophy [online]. 15 marzec 2009, T. 17, nr 4, s. 321–327. [udostępniono 25.7.2024]. DOI 10.12775/LLP.2008.018.
Numer
Dział
Artykuły
Statystyki
Liczba wyświetleń i pobrań: 360
Liczba cytowań: 0