Metoda tablicowa a poprawność rozumowań (Rec.: Tomasz Jarmużek, For­ma­li­zacja metod tablicowych dla logik zdań i logik nazw)

• Authors: Klonowski Mateusz

Title variants

EN

Tableau Methods and a Validity of Arguments

• Languages of publication: PL
• Publisher: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
• Journal: Roczniki Filozoficzne
• Year: 2016
• Volume: 64
• Issue: 2
• Pages: 155-158

Dates

published

2016

Contributors

author

Klonowski Mateusz

• Wydział Humanistyczny Uniwersytetu Mikołaja Kopernika w Toruniu

References

• D’Agostino, Marcello, Dov M. Gabbay, Reiner Hähnle, Joachim Posegga (red.). 1999. Handbook of tableau methods. Dordrecht–Boston–London: Kluwer Academic Publisher.
• Fitting, Melvin. 1996. First-order logic and automated theorem proving. New York: Springer-Verlag.
• Jarmużek, Tomasz. 2013. Formalizacja metod tablicowych dla logik zdań i logik nazw. Toruń: Wydawnictwo UMK.
• Priest, Graham. 2008. An introduction to non-classical logic. From if to is. Cambridge: University Press.

Identifiers

DOI

10.18290/rf.2016.64.2-9