Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

PL EN


2016 | 64 | 2 | 155-158

Article title

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

Content

Title variants

EN
Tableau Methods and a Validity of Arguments

Languages of publication

PL

Abstracts

Keywords

Year

Volume

64

Issue

2

Pages

155-158

Physical description

Dates

published
2016

Contributors

  • 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.

Document Type

Publication order reference

Identifiers

YADDA identifier

bwmeta1.element.desklight-78affacf-36e9-4ede-adad-9703685b2c04
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.