Some Propositional Calculus Oppositional with Respect to the Intuitionistic Propositional Calculus

• Autorzy: Bryll G. , Kaptur M.
• Konferencja: Proceedings of the IX Conference "Applications of algebra" (9 ; 07-13.03.2005 ; Zakopane, Poland)
• Języki publikacji: EN

Abstrakty

EN

A fragmentary system of the classical propositional calculus, in which the law C N N αα is valid instead of the law CαN N α, is presented.

Słowa kluczowe

EN

propositional calculus; mathematical logic

PL

rachunek zdań; logika matematyczna

• 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: 2005
• Tom: Vol. 10
• Strony: 17--23
• Opis fizyczny: Bibliogr. 4 poz., rys.

Twórcy

autor

Bryll G.

• Institute of Mathematics and Computer Science University of Opole

autor

Kaptur M.

• Institute of Mathematics and Computer Science Jan Długosz University of Częstochowa

Bibliografia

• [1] G. Bryll, Z. Kostrzycka. Badania formalne nad logiką stoicką. Oficyna Akademicka, Warszawa, 1998.
• [2] B. Mates. Logika stoików. Akademia Teologii Katolickiej, Warszawa, 1971. Polish translation of the English edition: B. Mates. Stoic Logic. Berkeley, Los Angeles, 1st ed. 1953; 2nd ed. 1961.
• [3] W.A. Pogorzelski. Klasyczny rachunek zdan. Wyd. 2, PWN, Warszawa, 1973.
• [4] W.A. Pogorzelski. On the Scope of the Classical Deduction Theorem. Journal of the Symbolic Logic, 33, No 1, pp. 77--81, 1968.