Artykuły (WFiNS) Przeglądanie wg słów kluczowych "set-theoretical approach to a description of tableaux"

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