A Method of Axiomatic Rejection of Formulas in Propositional Logics

• Autorzy: Borowik P. , Bryll G.
• Języki publikacji: EN

Słowa kluczowe

EN

logic of propositions; system of rejected axions; principle of subilitation; calculus

PL

logika zdań; system odrzuconych aksjomatów; rachunek różniczkowy; zasada subilitycji

• Wydawca: Wydawnictwo Uniwersytetu Humanistyczno-Przyrodniczego im. Jana Długosza w Częstochowie
• Czasopismo: Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
• Rocznik: 1999
• Tom: Vol. 7
• Strony: 5--8
• Opis fizyczny: Bibliogr. 15 poz.

Twórcy

autor

Borowik P.

• Wyższa Szkoła Pedagogiczna 42-200 Częstochowa ul. Jasnogórska 64

autor

Bryll G.

• Uniwersytet Opolski 45-052 Opole ul. Oleska 48

Bibliografia

• [1] Bryll, G. (1996): Methods of the rejection of expressions (in polish). Akademicka Oficyna Wydawnicza PLJ. Warszawa.
• [2] Bryll, G., Hałkowska, K. (1986): Ł-decidability of certain fragmentary systems of Słupecki (in polish). Zeszyty Naukowe WSP w Opolu, Matematyka 24, 5 - 10.
• [3] Bryll, G., Maduch, M. (1968): Rejected axioms for the many-valued logics of Łukasiewicz (in polish). Zeszyty Naukowe WSP w Opolu, Matematyka 6,3 - 17.
• [4] Bryll, G., Sochacki, R. (1995): Axiomatic rejection in certain invariant propositional caleuli of Łukasiewicz (in polish). Zeszyty Naukowe Uniwersytetu Opolskiego, Matematyka 29, 29-37.
• [5] Bryll, G., Sochacki, R. (1998): Elimination of the rejection rule by substituting in the three-valued Łukasiewicz calculus. Acta Universitatis Wratislaviensis, Logika 18, 129 - 13l.
• [6] Gniazdowski, A. (1973): Non-existence of finite and complete systems of rejected axioms for certain propositional logics (in polis h). Zeszyty Naukowe WSP w Opolu, Matematyka 13, 123-129.
• [7] Łukasiewicz, J. (1957): Aristotle's Syllogistic from the Stand point of Modern Formai Logic, Oxford, 1951, Second edition, angmented.
• [8] Łukasiewicz, K. (1953): A system of modallogic. The Journal of Cornputing Systems, vol. 1, no. 3, 111-149.
• [9] Maduch, M. (1973): On the Łukasiewicz rules of rejection (in polish). Zeszyty Naukowe WSP w Opolu, Matematyka 13, 115-12l.
• [10] Słupecki, J. (1972): Ł-decidability and decidability. Bulletin of the Section of Logic, vol. 1, no. 3, 38-43.
• [11] Słupecki, J., Bryll, G. (1973): Proof of Ł-decidability of Lewis system SS. Studia Logica 32, 99-107.
• [12] Słupecki, J., Bryll, G., Wybraniec-Skardowska, U. (1971): Theory of rejected propositions; part I. Studia Logica 29, 76-123.
• [13] Sobociński, B. (1936): Axiomatization of certain many-valued systems of the theory of deduction (in polish). Roczniki Prac Naukowych Zrzeszenia Asystentów Uniwersytetu Józefa Piłsudskiego w Warszawie, I,
• [14] Piróg-Rzepecka, K. (1977): System of nonsense - logics (in polish). OTPNPWN, Warszawa-Wrocław.
• [15] Zbrzezny, A. (1990): Logical systems corresponding to partical structures (in polish). Wrocław Uniwersity.v. 399-419.