Some dual logic without tautologies

• Autorzy: Górnicka A. , Bryll A.

Identyfikatory

DOI

dx.doi.org/10.16926/m.2015.20.05

• Języki publikacji: EN

Abstrakty

EN

On this paper we consider a logic dual to the logic C_RA and prove that it does not contain tautologies.

Słowa kluczowe

EN

dual logic; tautology

PL

podwójna logika; tautologia

• 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: 2015
• Tom: Vol. 20
• Strony: 39--47
• Opis fizyczny: Bibliogr. 11 poz.

Twórcy

autor

Górnicka A.

• Jan Długosz University in Czestochowa, Institute of Mathematics and Computer Science, 42-200 Czestochowa, Al. Armii Krajowej 13/15, Poland

autor

Bryll A.

• Czestochowa University of Technology, The Faculty of Menagement, 42-201 Czestochowa, ul. Dabrowskiego 69, Poland

Bibliografia

• [1] G. Asser, Einfürung in die mathematische Logik, Teil I. Leipzig, 1959.
• [2] G. Bryll, Metody odrzucania wyrażeń, Akademicka Oficyna Wydawnicza PLJ, Warszawa, 1996.
• [3] G. Bryll, A. Chotomska, L. Jaworski, A formalization of logik without tautologies, Prace Naukowe WSP w Częstochowie, Matematyka VIII (2000-2001), 9-12.
• [4] A. Górnicka, Axiomatization of the sentential logic dual to Sobociński’s n-valued logic, Bulletin of the Section of Logic, vol. 40:1/2 (2011), pp. 47-54.
• [5] A. Górnicka, Badania nad pewnymi logikami dualnymi, Rozprawa doktorska (maszynopis), Wrocław, 2001.
• [6] A. Górnicka, Dual consequence operations associated with a certain class of logical matrices, Bulletin of the Section of Logic, vol.29/4, (2000), 1-8.
• [7] L. Jaworski, Z badań nad logikami bez tautologii, Rozprawa doktorska (maszynopis), Opole, 2005-2007.
• [8] J. Łoś, An algebraic proof of completeness for the two-valued propositional calculus, Colloquium Mathematicum, no.2, (1951), 263-240.
• [9] G. Malinowski, M. Spasowski, Dual counterparts of Łukasiewicz’s sentential calculi, Studia Logica, vol.33, no.2 (1974), 153-162.
• [10] W.A. Pogorzelski, The classical propositional calculus (in Polish), PWN Warszawa, 1978.
• [11] R. Wójcicki, Dual counterparts of consequence operations, Bulletin of the Section of Logic, vol.2, no.1 (1973), 201-214.