Dowody metodą tableaux

• Autorzy: Szyper L.
• Języki publikacji: PL

Słowa kluczowe

PL

sztuczna inteligencja; systemy informatyczne; logika zdań

EN

artificial intelligence; information systems; propositional logic

• 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. 6
• Strony: 107--115
• Opis fizyczny: Bibliogr. 4 poz.

Twórcy

autor

Szyper L.

• Pedagogical University Institute of Mathematics Al. Armii Krajowej 13/15 Częstochowa 42-201

Bibliografia

• [1] BETH, E. W. The Foundations of Mathematics. North - Holland, Amsterdam, 1959.
• [2] SMULLYAN, R. M. First - Order Logic. Springer-Verlag, Berlin, 1968. Revised Edition, Dover P ress , New York, 1994.
• [3] GENTZEN, G. Investigation into logical deduction. In The Collected Papers of Gerhard Gentzen, M. E. Szabo, Ed. Notrh-Holland, 1969, pp. 68-131. Originally published as‘ Untersuchungen ber das logische Schliessen‘ in Mathematische Zeitschrift 39 (1935),176-210 and 405- 431.
• [4] FITTING, M. C. First-Order Logic and Automated Theorem Proving. Springer- Verlag, New York, 1990. Second Edition, Springer-Verlag, New York, 1996.