Description

• Title:
  Construction of tableaux for classical logic: Tableaux as combinations of branches, branches as chains of sets
• Creator:
  Jarmużek, Tomasz
• Description:
  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 description of tableau method; (ii) a notion of tableau consequence relation is defined without help of a notion of tableau, in our universe of discourse the basic notion is a branch;(iii) we define a tableau as a finite set of some chosen branches which is enough to check; hence, in our approach a tableau is only a way of choosing a minimal set of closed branches;(iv) a choice of tableau can be arbitrary, it means that if one tableau starting with some set of premisses is closed in the defined sense, then every branch in the power set of the set of formulas, that starts with the same set, is closed.
• Object availability:
  free access
• Rights:
  Prawa autorskie (c) 2017 Logic and Logical Philosophy
• Date:
  2007.07.25
• Type:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Language:
  English
• Source:
  Logic and Logical Philosophy; Vol. 16 No. 1 (2007); 85-101;
  Logic and Logical Philosophy; Tom 16 Nr 1 (2007); 85-101;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Publisher:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relation: https://apcz.umk.pl/LLP/article/view/LLP.2007.004/1468
• Subject:
  analytic tableaux;
  propositional logic;
  set-theoretical approach to a description of tableaux;
  branches as chains of sets of formulas;
  tableaux consequence relation;
  choice of branches;
  tableau combined with branches
• Identifier: https://apcz.umk.pl/LLP/article/view/LLP.2007.004
• Data provider:
  Akademicka Platforma Czasopism
• Can I use it?:
  seek permission
• Type:
  text