Category:Definitions/Extensions of Propositional Tableaux

This category contains definitions related to Extensions of Propositional Tableaux.
Related results can be found in Category:Extensions of Propositional Tableaux.

Let $\struct {T, \mathbf H, \Phi}$ be a propositional tableau.

Definition 1

A tableau $T'$ is an extension of $T$ if $T'$ can be obtained from $T$ by repeatedly adding nodes to the leaf nodes of $T$ (by means of the tableau extension rules).

Definition 2

An extension of $T$ is a propositional tableau $\struct {S, \mathbf H', \Phi'}$ such that:

$S$ is an extension of $T$

$\mathbf H = \mathbf H'$

$\Phi'$ is an extension of $\Phi$.