Wydział Filozofii i Nauk Społecznych / Faculty of Philosophy and Social Sciences Przeglądanie wg słów kluczowych "branches as chains of sets of formulas"

Wyświetlono pozycje 1-1 z 1

Construction of tableaux for classical logic: Tableaux as combinations of branches, branches as chains of sets

Jarmużek, Tomasz (2007-07-25)

The paper is devoted to an approach to analytic tableaux for propositional logic, but can be successfully extended to other logics. The distinguishing features of the presented approach are:(i) a precise set-theoretical ...