Index

_

__call__() (LexWriter method) (Parser method) (Registry method) __init__() (Argument method) (Operated method) (Predicated method) (Predicates method) (Quantified method)

A

Abc (class in pytableaux.tools.abcs) abcf (class in pytableaux.tools.abcs) AbcMeta (class in pytableaux.tools.abcs) absindex() (in module pytableaux.tools) add() (Tableau method) addition all() (Branch method) any() (Branch method) (Node method) append() (Branch method) (RuleGroup method) (RuleGroups method) (RulesRoot method) apply() (Rule method)

argstr() (Argument method) Argument (class in pytableaux.lang) argument (Tableau attribute) argument() (Parser method) arity (Operator attribute) (Predicate attribute) (TriCoords attribute) (TriCoords.Sorting attribute) asserted() (Sentence method) Astr (class in pytableaux.tools.abcs) Atomic (class in pytableaux.lang) atomics (Sentence attribute) AttributeConflictError (class in pytableaux.errors) autoattrs (Rule attribute)

B

balanced_line_margin (Tableau.Tree attribute) balanced_line_width (Tableau.Tree attribute) BiCoords (class in pytableaux.lang) bicoords (Predicate attribute) BiCoords.Sorting (class in pytableaux.lang) BoundVariableError (class in pytableaux.errors) Branch (class in pytableaux.proof) branch() (Tableau method) Branch.Index (class in pytableaux.proof) branch_id (Tableau.Tree attribute) branch_step (Tableau.Tree attribute) branching (Rule attribute) (Rules.Assertion attribute) (Rules.AssertionDesignated attribute) (Rules.AssertionNegated attribute) (Rules.AssertionNegatedDesignated attribute), [1] (Rules.AssertionNegatedUndesignated attribute), [1] (Rules.AssertionUndesignated attribute) (Rules.Biconditional attribute) (Rules.BiconditionalDesignated attribute), [1], [2], [3], [4], [5], [6], [7], [8] (Rules.BiconditionalNegated attribute) (Rules.BiconditionalNegatedDesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.BiconditionalNegatedUndesignated attribute), [1], [2], [3], [4], [5], [6], [7], [8] (Rules.BiconditionalUndesignated attribute), [1], [2], [3], [4], [5], [6], [7] (Rules.Conditional attribute) (Rules.ConditionalDesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.ConditionalNegated attribute) (Rules.ConditionalNegatedDesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.ConditionalNegatedUndesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.ConditionalUndesignated attribute), [1], [2], [3], [4], [5], [6], [7] (Rules.Conjunction attribute) (Rules.ConjunctionDesignated attribute), [1] (Rules.ConjunctionNegated attribute) (Rules.ConjunctionNegatedDesignated attribute), [1], [2], [3], [4] (Rules.ConjunctionNegatedUndesignated attribute), [1], [2], [3], [4] (Rules.ConjunctionUndesignated attribute), [1], [2] (Rules.ContradictionClosure attribute) (Rules.DesignationClosure attribute) (Rules.Disjunction attribute) (Rules.DisjunctionDesignated attribute), [1] (Rules.DisjunctionNegated attribute) (Rules.DisjunctionNegatedDesignated attribute), [1], [2] (Rules.DisjunctionNegatedUndesignated attribute), [1], [2], [3] (Rules.DisjunctionUndesignated attribute), [1], [2] (Rules.DoubleNegation attribute) (Rules.DoubleNegationDesignated attribute), [1], [2] (Rules.DoubleNegationUndesignated attribute), [1], [2] (Rules.Existential attribute) (Rules.ExistentialDesignated attribute), [1] (Rules.ExistentialNegated attribute) (Rules.ExistentialNegatedDesignated attribute), [1] (Rules.ExistentialNegatedUndesignated attribute), [1], [2] (Rules.ExistentialUndesignated attribute), [1], [2] (Rules.GapClosure attribute) (Rules.GlutClosure attribute) (Rules.IdentityIndiscernability attribute) (Rules.MaterialBiconditional attribute) (Rules.MaterialBiconditionalDesignated attribute), [1], [2], [3], [4] (Rules.MaterialBiconditionalNegated attribute) (Rules.MaterialBiconditionalNegatedDesignated attribute), [1], [2], [3], [4], [5] (Rules.MaterialBiconditionalNegatedUndesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.MaterialBiconditionalUndesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.MaterialConditional attribute) (Rules.MaterialConditionalDesignated attribute), [1], [2], [3] (Rules.MaterialConditionalNegated attribute) (Rules.MaterialConditionalNegatedDesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.MaterialConditionalNegatedUndesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.MaterialConditionalUndesignated attribute), [1], [2], [3], [4] (Rules.Necessity attribute) (Rules.NecessityDesignated attribute) (Rules.NecessityNegated attribute) (Rules.NecessityNegatedDesignated attribute), [1] (Rules.NecessityNegatedUndesignated attribute), [1] (Rules.NecessityUndesignated attribute), [1] (Rules.NonExistenceClosure attribute) (Rules.Possibility attribute) (Rules.PossibilityDesignated attribute) (Rules.PossibilityNegated attribute) (Rules.PossibilityNegatedDesignated attribute), [1] (Rules.PossibilityNegatedUndesignated attribute), [1] (Rules.PossibilityUndesignated attribute), [1] (Rules.Reflexive attribute) (Rules.SelfIdentityClosure attribute) (Rules.Serial attribute) (Rules.Symmetric attribute) (Rules.Transitive attribute) (Rules.Universal attribute) (Rules.UniversalDesignated attribute) (Rules.UniversalNegated attribute) (Rules.UniversalNegatedDesignated attribute), [1], [2] (Rules.UniversalNegatedUndesignated attribute), [1], [2] (Rules.UniversalUndesignated attribute), [1]

branching_complexity() (System class method) (Tableau method) branching_complexity_hashable() (System class method) build (EnumLookup attribute) build() (Tableau method) build_trunk() (System class method) (Tableau method)

C

canwrite() (LexWriter method) check_mrodict() (in module pytableaux.tools.abcs) children (Tableau.Tree attribute) classes (LexType attribute) clear() (Registry method) (RuleGroup method) (RuleGroups method) (RulesRoot method) close() (Branch method) closed (Branch property) (Tableau.Tree attribute) closed_step (Tableau.Tree attribute) closure (Rules attribute), [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14], [15], [16], [17], [18], [19], [20], [21], [22], [23], [24], [25], [26], [27], [28], [29], [30], [31], [32], [33], [34], [35], [36], [37], [38], [39], [40], [41], [42], [43], [44], [45], [46], [47], [48], [49], [50], [51], [52] closure() (in module pytableaux.tools) cls (LexType attribute)

clsafter() (in module pytableaux.tools.abcs) completed (Tableau attribute) conclusion (Argument property) conditional contraction conditional identity ConfigError (class in pytableaux.errors) conjoin() (Sentence method) Constant (class in pytableaux.lang) constants (Branch attribute) (Sentence attribute) convert (Rules.BiconditionalDesignated attribute) (Rules.BiconditionalNegatedUndesignated attribute) CoordsItem (class in pytableaux.lang) copy() (Branch method) (Registry method) create() (RuleGroups method)

D

default (PathedDict attribute) DefaultParser (class in pytableaux.lang) defaults (Rules.Assertion attribute) (Rules.AssertionDesignated attribute) (Rules.AssertionNegated attribute) (Rules.AssertionNegatedDesignated attribute), [1] (Rules.AssertionNegatedUndesignated attribute), [1] (Rules.AssertionUndesignated attribute) (Rules.Biconditional attribute) (Rules.BiconditionalDesignated attribute), [1], [2], [3], [4], [5], [6], [7], [8] (Rules.BiconditionalNegated attribute) (Rules.BiconditionalNegatedDesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.BiconditionalNegatedUndesignated attribute), [1], [2], [3], [4], [5], [6], [7], [8] (Rules.BiconditionalUndesignated attribute), [1], [2], [3], [4], [5], [6], [7] (Rules.Conditional attribute) (Rules.ConditionalDesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.ConditionalNegated attribute) (Rules.ConditionalNegatedDesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.ConditionalNegatedUndesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.ConditionalUndesignated attribute), [1], [2], [3], [4], [5], [6], [7] (Rules.Conjunction attribute) (Rules.ConjunctionDesignated attribute), [1] (Rules.ConjunctionNegated attribute) (Rules.ConjunctionNegatedDesignated attribute), [1], [2], [3], [4] (Rules.ConjunctionNegatedUndesignated attribute), [1], [2], [3], [4] (Rules.ConjunctionUndesignated attribute), [1], [2] (Rules.ContradictionClosure attribute) (Rules.DesignationClosure attribute) (Rules.Disjunction attribute) (Rules.DisjunctionDesignated attribute), [1] (Rules.DisjunctionNegated attribute) (Rules.DisjunctionNegatedDesignated attribute), [1], [2] (Rules.DisjunctionNegatedUndesignated attribute), [1], [2], [3] (Rules.DisjunctionUndesignated attribute), [1], [2] (Rules.DoubleNegation attribute) (Rules.DoubleNegationDesignated attribute), [1], [2] (Rules.DoubleNegationUndesignated attribute), [1], [2] (Rules.Existential attribute) (Rules.ExistentialDesignated attribute), [1] (Rules.ExistentialNegated attribute) (Rules.ExistentialNegatedDesignated attribute), [1] (Rules.ExistentialNegatedUndesignated attribute), [1], [2] (Rules.ExistentialUndesignated attribute), [1], [2] (Rules.GapClosure attribute) (Rules.GlutClosure attribute) (Rules.IdentityIndiscernability attribute) (Rules.MaterialBiconditional attribute) (Rules.MaterialBiconditionalDesignated attribute), [1], [2], [3], [4] (Rules.MaterialBiconditionalNegated attribute) (Rules.MaterialBiconditionalNegatedDesignated attribute), [1], [2], [3], [4], [5] (Rules.MaterialBiconditionalNegatedUndesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.MaterialBiconditionalUndesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.MaterialConditional attribute) (Rules.MaterialConditionalDesignated attribute), [1], [2], [3] (Rules.MaterialConditionalNegated attribute) (Rules.MaterialConditionalNegatedDesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.MaterialConditionalNegatedUndesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.MaterialConditionalUndesignated attribute), [1], [2], [3], [4] (Rules.Necessity attribute) (Rules.NecessityDesignated attribute) (Rules.NecessityNegated attribute) (Rules.NecessityNegatedDesignated attribute), [1] (Rules.NecessityNegatedUndesignated attribute), [1] (Rules.NecessityUndesignated attribute), [1] (Rules.NonExistenceClosure attribute) (Rules.Possibility attribute) (Rules.PossibilityDesignated attribute) (Rules.PossibilityNegated attribute) (Rules.PossibilityNegatedDesignated attribute), [1] (Rules.PossibilityNegatedUndesignated attribute), [1] (Rules.PossibilityUndesignated attribute), [1] (Rules.Reflexive attribute) (Rules.SelfIdentityClosure attribute) (Rules.Serial attribute) (Rules.Symmetric attribute) (Rules.Transitive attribute) (Rules.Universal attribute) (Rules.UniversalDesignated attribute) (Rules.UniversalNegated attribute) (Rules.UniversalNegatedDesignated attribute), [1], [2] (Rules.UniversalNegatedUndesignated attribute), [1], [2] (Rules.UniversalUndesignated attribute), [1] (TabWriter attribute)

DefaultWriter (Notation attribute) DeMorgan laws DenotationError (class in pytableaux.errors) depth (Tableau.Tree attribute) descendant_node_count (Tableau.Tree attribute) designation (Rules.Assertion attribute) (Rules.AssertionDesignated attribute) (Rules.AssertionNegated attribute) (Rules.AssertionNegatedDesignated attribute), [1] (Rules.AssertionNegatedUndesignated attribute), [1] (Rules.AssertionUndesignated attribute) (Rules.Biconditional attribute) (Rules.BiconditionalDesignated attribute), [1], [2], [3], [4], [5], [6], [7], [8] (Rules.BiconditionalNegated attribute) (Rules.BiconditionalNegatedDesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.BiconditionalNegatedUndesignated attribute), [1], [2], [3], [4], [5], [6], [7], [8] (Rules.BiconditionalUndesignated attribute), [1], [2], [3], [4], [5], [6], [7] (Rules.Conditional attribute) (Rules.ConditionalDesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.ConditionalNegated attribute) (Rules.ConditionalNegatedDesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.ConditionalNegatedUndesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.ConditionalUndesignated attribute), [1], [2], [3], [4], [5], [6], [7] (Rules.Conjunction attribute) (Rules.ConjunctionDesignated attribute), [1] (Rules.ConjunctionNegated attribute) (Rules.ConjunctionNegatedDesignated attribute), [1], [2], [3], [4] (Rules.ConjunctionNegatedUndesignated attribute), [1], [2], [3], [4] (Rules.ConjunctionUndesignated attribute), [1], [2] (Rules.Disjunction attribute) (Rules.DisjunctionDesignated attribute), [1] (Rules.DisjunctionNegated attribute) (Rules.DisjunctionNegatedDesignated attribute), [1], [2] (Rules.DisjunctionNegatedUndesignated attribute), [1], [2], [3] (Rules.DisjunctionUndesignated attribute), [1], [2] (Rules.DoubleNegation attribute) (Rules.DoubleNegationDesignated attribute), [1], [2] (Rules.DoubleNegationUndesignated attribute), [1], [2] (Rules.Existential attribute) (Rules.ExistentialDesignated attribute), [1] (Rules.ExistentialNegated attribute) (Rules.ExistentialNegatedDesignated attribute), [1] (Rules.ExistentialNegatedUndesignated attribute), [1], [2] (Rules.ExistentialUndesignated attribute), [1], [2] (Rules.MaterialBiconditional attribute) (Rules.MaterialBiconditionalDesignated attribute), [1], [2], [3], [4] (Rules.MaterialBiconditionalNegated attribute) (Rules.MaterialBiconditionalNegatedDesignated attribute), [1], [2], [3], [4], [5] (Rules.MaterialBiconditionalNegatedUndesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.MaterialBiconditionalUndesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.MaterialConditional attribute) (Rules.MaterialConditionalDesignated attribute), [1], [2], [3] (Rules.MaterialConditionalNegated attribute) (Rules.MaterialConditionalNegatedDesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.MaterialConditionalNegatedUndesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.MaterialConditionalUndesignated attribute), [1], [2], [3], [4] (Rules.Necessity attribute) (Rules.NecessityDesignated attribute) (Rules.NecessityNegated attribute) (Rules.NecessityNegatedDesignated attribute), [1] (Rules.NecessityNegatedUndesignated attribute), [1] (Rules.NecessityUndesignated attribute), [1] (Rules.Possibility attribute) (Rules.PossibilityDesignated attribute) (Rules.PossibilityNegated attribute) (Rules.PossibilityNegatedDesignated attribute), [1] (Rules.PossibilityNegatedUndesignated attribute), [1] (Rules.PossibilityUndesignated attribute), [1] (Rules.Universal attribute) (Rules.UniversalDesignated attribute) (Rules.UniversalNegated attribute) (Rules.UniversalNegatedDesignated attribute), [1], [2] (Rules.UniversalNegatedUndesignated attribute), [1], [2] (Rules.UniversalUndesignated attribute), [1] dialect (StringTable attribute) dictattr (class in pytableaux.tools) dictns (class in pytableaux.tools) discard() (Registry method) disjoin() (Sentence method) disjunctive syllogism dmerged() (in module pytableaux.tools) dund() (in module pytableaux.tools) DuplicateKeyError (class in pytableaux.errors) DuplicateValueError (class in pytableaux.errors)

E

EbcMeta (class in pytableaux.tools.abcs) enabled (NoSetAttr attribute) engine (TabWriter attribute) EnumLookup (class in pytableaux.tools.abcs) Eset (class in pytableaux.tools.abcs) example_nodes() (Rule method) (Rules.ContradictionClosure method) (Rules.DesignationClosure method) (Rules.GapClosure method) (Rules.GlutClosure method) (Rules.IdentityIndiscernability method) (Rules.NecessityDesignated method) (Rules.NonExistenceClosure method) (Rules.Reflexive method) (Rules.SelfIdentityClosure method) (Rules.Serial method) (Rules.Transitive method)

exclusitivity constraint exhaustion constraint Existential (Quantifier attribute) extend() (Branch method) (RuleGroup method) (RuleGroups method) (RulesRoot method) extension of

F

fetch() (ParseTable class method) (StringTable class method) file_extension (TabWriter attribute) find() (Branch method) finish() (Tableau method) finished (Tableau attribute) first() (Lexical class method) (Predicated class method) (Quantified class method)

for_defaults() (in module pytableaux.tools) format (StringTable attribute) (TabWriter attribute) formats (Notation attribute) from_argstr() (Argument static method)

G

gen() (Lexical class method) get() (EbcMeta method) (ItemMapEnum method) (PathedDict method) (Predicates method) (Registry method) (RuleGroup method) (RuleGroups method) (RulesRoot method)

get_common_formats() (Notation class method) getitem() (in module pytableaux.tools) group() (in module pytableaux.tools) group_score() (Rules.NecessityDesignated method) (Rules.PossibilityDesignated method) grouped() (Registry method) groups (Rules attribute), [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14], [15], [16], [17], [18], [19], [20], [21], [22], [23], [24], [25], [26], [27], [28], [29], [30], [31], [32], [33], [34], [35], [36], [37], [38], [39], [40], [41], [42], [43], [44], [45], [46], [47], [48], [49], [50], [51], [52] (RulesRoot attribute)

H

has() (Branch method) (Node method) has_closed (Tableau.Tree attribute) has_open (Tableau.Tree attribute) hash (Argument property) (Lexical attribute) (LexType attribute) Helpers (Rule attribute) helpers (Rule attribute) Helpers (Rules.Assertion attribute) (Rules.AssertionDesignated attribute) (Rules.AssertionNegated attribute) (Rules.AssertionNegatedDesignated attribute), [1] (Rules.AssertionNegatedUndesignated attribute), [1] (Rules.AssertionUndesignated attribute) (Rules.Biconditional attribute) (Rules.BiconditionalDesignated attribute), [1], [2], [3], [4], [5], [6], [7], [8] (Rules.BiconditionalNegated attribute) (Rules.BiconditionalNegatedDesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.BiconditionalNegatedUndesignated attribute), [1], [2], [3], [4], [5], [6], [7], [8] (Rules.BiconditionalUndesignated attribute), [1], [2], [3], [4], [5], [6], [7] (Rules.Conditional attribute) (Rules.ConditionalDesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.ConditionalNegated attribute) (Rules.ConditionalNegatedDesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.ConditionalNegatedUndesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.ConditionalUndesignated attribute), [1], [2], [3], [4], [5], [6], [7] (Rules.Conjunction attribute) (Rules.ConjunctionDesignated attribute), [1] (Rules.ConjunctionNegated attribute) (Rules.ConjunctionNegatedDesignated attribute), [1], [2], [3], [4] (Rules.ConjunctionNegatedUndesignated attribute), [1], [2], [3], [4] (Rules.ConjunctionUndesignated attribute), [1], [2] (Rules.ContradictionClosure attribute) (Rules.DesignationClosure attribute) (Rules.Disjunction attribute) (Rules.DisjunctionDesignated attribute), [1] (Rules.DisjunctionNegated attribute) (Rules.DisjunctionNegatedDesignated attribute), [1], [2] (Rules.DisjunctionNegatedUndesignated attribute), [1], [2], [3] (Rules.DisjunctionUndesignated attribute), [1], [2] (Rules.DoubleNegation attribute) (Rules.DoubleNegationDesignated attribute), [1], [2] (Rules.DoubleNegationUndesignated attribute), [1], [2] (Rules.Existential attribute) (Rules.ExistentialDesignated attribute), [1] (Rules.ExistentialNegated attribute) (Rules.ExistentialNegatedDesignated attribute), [1] (Rules.ExistentialNegatedUndesignated attribute), [1], [2] (Rules.ExistentialUndesignated attribute), [1], [2] (Rules.GapClosure attribute) (Rules.GlutClosure attribute) (Rules.IdentityIndiscernability attribute) (Rules.MaterialBiconditional attribute) (Rules.MaterialBiconditionalDesignated attribute), [1], [2], [3], [4] (Rules.MaterialBiconditionalNegated attribute) (Rules.MaterialBiconditionalNegatedDesignated attribute), [1], [2], [3], [4], [5] (Rules.MaterialBiconditionalNegatedUndesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.MaterialBiconditionalUndesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.MaterialConditional attribute) (Rules.MaterialConditionalDesignated attribute), [1], [2], [3] (Rules.MaterialConditionalNegated attribute) (Rules.MaterialConditionalNegatedDesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.MaterialConditionalNegatedUndesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.MaterialConditionalUndesignated attribute), [1], [2], [3], [4] (Rules.Necessity attribute) (Rules.NecessityDesignated attribute) (Rules.NecessityNegated attribute) (Rules.NecessityNegatedDesignated attribute), [1] (Rules.NecessityNegatedUndesignated attribute), [1] (Rules.NecessityUndesignated attribute), [1] (Rules.NonExistenceClosure attribute) (Rules.Possibility attribute) (Rules.PossibilityDesignated attribute) (Rules.PossibilityNegated attribute) (Rules.PossibilityNegatedDesignated attribute), [1] (Rules.PossibilityNegatedUndesignated attribute), [1] (Rules.PossibilityUndesignated attribute), [1] (Rules.Reflexive attribute) (Rules.SelfIdentityClosure attribute) (Rules.Serial attribute) (Rules.Symmetric attribute) (Rules.Transitive attribute) (Rules.Universal attribute) (Rules.UniversalDesignated attribute) (Rules.UniversalNegated attribute) (Rules.UniversalNegatedDesignated attribute), [1], [2] (Rules.UniversalNegatedUndesignated attribute), [1], [2] (Rules.UniversalUndesignated attribute), [1]

history (Rule attribute) (Tableau attribute)

I

id (Branch property) (Node property) (Tableau attribute) ident (Lexical attribute) ignore_ticked (Rules.Reflexive attribute) (Rules.Serial attribute) IllegalStateError (class in pytableaux.errors) import_all() (Registry method) import_package() (Registry method) index (BiCoords attribute) (BiCoords.Sorting attribute) (CoordsItem attribute) (LexicalEnum attribute) (Registry attribute) (TriCoords attribute) (TriCoords.Sorting attribute)

invalid (Tableau attribute) is_only_branch (Tableau.Tree attribute) is_system (Predicate property) is_ticked() (Branch method) isabstract() (in module pytableaux.tools.abcs) isattrstr() (in module pytableaux.tools) isdund() (in module pytableaux.tools) isint() (in module pytableaux.tools) ItemMapEnum (class in pytableaux.tools) items (Quantified attribute) items() (ItemMapEnum method)

K

keys() (ItemMapEnum method) KeySetAttr (class in pytableaux.tools)

kget() (TransMmap static method) kset() (TransMmap static method)

L

label (LexicalEnum attribute) law of excluded middle law of non-contradiction leaf (Branch property) (Tableau.Tree attribute) left (Tableau.Tree attribute) legend (Rule attribute) (Rules.Assertion attribute) (Rules.AssertionDesignated attribute) (Rules.AssertionNegated attribute) (Rules.AssertionNegatedDesignated attribute), [1] (Rules.AssertionNegatedUndesignated attribute), [1] (Rules.AssertionUndesignated attribute) (Rules.Biconditional attribute) (Rules.BiconditionalDesignated attribute), [1], [2], [3], [4], [5], [6], [7], [8] (Rules.BiconditionalNegated attribute) (Rules.BiconditionalNegatedDesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.BiconditionalNegatedUndesignated attribute), [1], [2], [3], [4], [5], [6], [7], [8] (Rules.BiconditionalUndesignated attribute), [1], [2], [3], [4], [5], [6], [7] (Rules.Conditional attribute) (Rules.ConditionalDesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.ConditionalNegated attribute) (Rules.ConditionalNegatedDesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.ConditionalNegatedUndesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.ConditionalUndesignated attribute), [1], [2], [3], [4], [5], [6], [7] (Rules.Conjunction attribute) (Rules.ConjunctionDesignated attribute), [1] (Rules.ConjunctionNegated attribute) (Rules.ConjunctionNegatedDesignated attribute), [1], [2], [3], [4] (Rules.ConjunctionNegatedUndesignated attribute), [1], [2], [3], [4] (Rules.ConjunctionUndesignated attribute), [1], [2] (Rules.ContradictionClosure attribute) (Rules.DesignationClosure attribute) (Rules.Disjunction attribute) (Rules.DisjunctionDesignated attribute), [1] (Rules.DisjunctionNegated attribute) (Rules.DisjunctionNegatedDesignated attribute), [1], [2] (Rules.DisjunctionNegatedUndesignated attribute), [1], [2], [3] (Rules.DisjunctionUndesignated attribute), [1], [2] (Rules.DoubleNegation attribute) (Rules.DoubleNegationDesignated attribute), [1], [2] (Rules.DoubleNegationUndesignated attribute), [1], [2] (Rules.Existential attribute) (Rules.ExistentialDesignated attribute), [1] (Rules.ExistentialNegated attribute) (Rules.ExistentialNegatedDesignated attribute), [1] (Rules.ExistentialNegatedUndesignated attribute), [1], [2] (Rules.ExistentialUndesignated attribute), [1], [2] (Rules.GapClosure attribute) (Rules.GlutClosure attribute) (Rules.IdentityIndiscernability attribute) (Rules.MaterialBiconditional attribute) (Rules.MaterialBiconditionalDesignated attribute), [1], [2], [3], [4] (Rules.MaterialBiconditionalNegated attribute) (Rules.MaterialBiconditionalNegatedDesignated attribute), [1], [2], [3], [4], [5] (Rules.MaterialBiconditionalNegatedUndesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.MaterialBiconditionalUndesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.MaterialConditional attribute) (Rules.MaterialConditionalDesignated attribute), [1], [2], [3] (Rules.MaterialConditionalNegated attribute) (Rules.MaterialConditionalNegatedDesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.MaterialConditionalNegatedUndesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.MaterialConditionalUndesignated attribute), [1], [2], [3], [4] (Rules.Necessity attribute) (Rules.NecessityDesignated attribute) (Rules.NecessityNegated attribute) (Rules.NecessityNegatedDesignated attribute), [1] (Rules.NecessityNegatedUndesignated attribute), [1] (Rules.NecessityUndesignated attribute), [1] (Rules.NonExistenceClosure attribute) (Rules.Possibility attribute) (Rules.PossibilityDesignated attribute) (Rules.PossibilityNegated attribute) (Rules.PossibilityNegatedDesignated attribute), [1] (Rules.PossibilityNegatedUndesignated attribute), [1] (Rules.PossibilityUndesignated attribute), [1] (Rules.Reflexive attribute) (Rules.SelfIdentityClosure attribute) (Rules.Serial attribute) (Rules.Symmetric attribute) (Rules.Transitive attribute) (Rules.Universal attribute) (Rules.UniversalDesignated attribute) (Rules.UniversalNegated attribute) (Rules.UniversalNegatedDesignated attribute), [1], [2] (Rules.UniversalNegatedUndesignated attribute), [1], [2] (Rules.UniversalUndesignated attribute), [1]

Lexical (class in pytableaux.lang) LexicalEnum (class in pytableaux.lang) LexType (class in pytableaux.lang) LexWriter (class in pytableaux.lang) lhs (Operated attribute) limit_best() (in module pytableaux.tools) load() (ParseTable class method) (StringTable class method) locate() (Registry method) logic (Tableau attribute) logical consequence logical truth lw (TabWriter attribute)

M

MapCover (class in pytableaux.tools) Marking (class in pytableaux.lang) marklegend (Rules.Reflexive attribute) (Rules.Serial attribute) (Rules.Symmetric attribute) (Rules.Transitive attribute) material identity maxceil() (in module pytableaux.tools) maxi (LexType attribute) meets() (Node method) merge_attr() (in module pytableaux.tools.abcs) merged_attr() (in module pytableaux.tools.abcs) minfloor() (in module pytableaux.tools) MissingAttributeError (class in pytableaux.errors) MissingKeyError (class in pytableaux.errors) MissingValueError (class in pytableaux.errors) modal (Rule attribute) model (Branch property) model_id (Tableau.Tree attribute) ModelValueError (class in pytableaux.errors) module pytableaux.errors pytableaux.lang pytableaux.logics pytableaux.logics.b3e pytableaux.logics.cfol pytableaux.logics.cpl pytableaux.logics.d pytableaux.logics.fde pytableaux.logics.g3 pytableaux.logics.go pytableaux.logics.k pytableaux.logics.k3 pytableaux.logics.k3w pytableaux.logics.k3wq pytableaux.logics.kb3e pytableaux.logics.kfde pytableaux.logics.kg3 pytableaux.logics.kk3 pytableaux.logics.kk3w pytableaux.logics.kl3 pytableaux.logics.klp pytableaux.logics.krm3 pytableaux.logics.l3 pytableaux.logics.lp pytableaux.logics.mh pytableaux.logics.nh pytableaux.logics.p3 pytableaux.logics.rm3 pytableaux.logics.s4 pytableaux.logics.s4b3e pytableaux.logics.s4fde pytableaux.logics.s4g3 pytableaux.logics.s4go pytableaux.logics.s4k3 pytableaux.logics.s4k3w pytableaux.logics.s4l3 pytableaux.logics.s4lp pytableaux.logics.s4rm3 pytableaux.logics.s5 pytableaux.logics.s5b3e pytableaux.logics.s5fde pytableaux.logics.s5g3 pytableaux.logics.s5k3 pytableaux.logics.s5k3w pytableaux.logics.s5l3 pytableaux.logics.s5lp pytableaux.logics.s5rm3 pytableaux.logics.t pytableaux.logics.tb3e pytableaux.logics.tfde pytableaux.logics.tg3 pytableaux.logics.tk3 pytableaux.logics.tk3w pytableaux.logics.tl3 pytableaux.logics.tlp pytableaux.logics.trm3 pytableaux.proof pytableaux.proof.writers pytableaux.tools pytableaux.tools.abcs

modules (Registry attribute) modus ponens modus tollens mroiter() (in module pytableaux.tools.abcs)

N

name (Predicate attribute) (Rule attribute) (RuleGroup attribute) (Rules.Assertion attribute) (Rules.AssertionDesignated attribute) (Rules.AssertionNegated attribute) (Rules.AssertionNegatedDesignated attribute), [1] (Rules.AssertionNegatedUndesignated attribute), [1] (Rules.AssertionUndesignated attribute) (Rules.Biconditional attribute) (Rules.BiconditionalDesignated attribute), [1], [2], [3], [4], [5], [6], [7], [8] (Rules.BiconditionalNegated attribute) (Rules.BiconditionalNegatedDesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.BiconditionalNegatedUndesignated attribute), [1], [2], [3], [4], [5], [6], [7], [8] (Rules.BiconditionalUndesignated attribute), [1], [2], [3], [4], [5], [6], [7] (Rules.Conditional attribute) (Rules.ConditionalDesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.ConditionalNegated attribute) (Rules.ConditionalNegatedDesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.ConditionalNegatedUndesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.ConditionalUndesignated attribute), [1], [2], [3], [4], [5], [6], [7] (Rules.Conjunction attribute) (Rules.ConjunctionDesignated attribute), [1] (Rules.ConjunctionNegated attribute) (Rules.ConjunctionNegatedDesignated attribute), [1], [2], [3], [4] (Rules.ConjunctionNegatedUndesignated attribute), [1], [2], [3], [4] (Rules.ConjunctionUndesignated attribute), [1], [2] (Rules.ContradictionClosure attribute) (Rules.DesignationClosure attribute) (Rules.Disjunction attribute) (Rules.DisjunctionDesignated attribute), [1] (Rules.DisjunctionNegated attribute) (Rules.DisjunctionNegatedDesignated attribute), [1], [2] (Rules.DisjunctionNegatedUndesignated attribute), [1], [2], [3] (Rules.DisjunctionUndesignated attribute), [1], [2] (Rules.DoubleNegation attribute) (Rules.DoubleNegationDesignated attribute), [1], [2] (Rules.DoubleNegationUndesignated attribute), [1], [2] (Rules.Existential attribute) (Rules.ExistentialDesignated attribute), [1] (Rules.ExistentialNegated attribute) (Rules.ExistentialNegatedDesignated attribute), [1] (Rules.ExistentialNegatedUndesignated attribute), [1], [2] (Rules.ExistentialUndesignated attribute), [1], [2] (Rules.GapClosure attribute) (Rules.GlutClosure attribute) (Rules.IdentityIndiscernability attribute) (Rules.MaterialBiconditional attribute) (Rules.MaterialBiconditionalDesignated attribute), [1], [2], [3], [4] (Rules.MaterialBiconditionalNegated attribute) (Rules.MaterialBiconditionalNegatedDesignated attribute), [1], [2], [3], [4], [5] (Rules.MaterialBiconditionalNegatedUndesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.MaterialBiconditionalUndesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.MaterialConditional attribute) (Rules.MaterialConditionalDesignated attribute), [1], [2], [3] (Rules.MaterialConditionalNegated attribute) (Rules.MaterialConditionalNegatedDesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.MaterialConditionalNegatedUndesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.MaterialConditionalUndesignated attribute), [1], [2], [3], [4] (Rules.Necessity attribute) (Rules.NecessityDesignated attribute) (Rules.NecessityNegated attribute) (Rules.NecessityNegatedDesignated attribute), [1] (Rules.NecessityNegatedUndesignated attribute), [1] (Rules.NecessityUndesignated attribute), [1] (Rules.NonExistenceClosure attribute) (Rules.Possibility attribute) (Rules.PossibilityDesignated attribute) (Rules.PossibilityNegated attribute) (Rules.PossibilityNegatedDesignated attribute), [1] (Rules.PossibilityNegatedUndesignated attribute), [1] (Rules.PossibilityUndesignated attribute), [1] (Rules.Reflexive attribute) (Rules.SelfIdentityClosure attribute) (Rules.Serial attribute) (Rules.Symmetric attribute) (Rules.Transitive attribute) (Rules.Universal attribute) (Rules.UniversalDesignated attribute) (Rules.UniversalNegated attribute) (Rules.UniversalNegatedDesignated attribute), [1], [2] (Rules.UniversalNegatedUndesignated attribute), [1], [2] (Rules.UniversalUndesignated attribute), [1] names() (RuleGroup method) (RuleGroups method) (RulesRoot method) negate() (Sentence method) negated (Rules.Assertion attribute) (Rules.AssertionDesignated attribute) (Rules.AssertionNegated attribute) (Rules.AssertionNegatedDesignated attribute), [1] (Rules.AssertionNegatedUndesignated attribute), [1] (Rules.AssertionUndesignated attribute) (Rules.Biconditional attribute) (Rules.BiconditionalDesignated attribute), [1], [2], [3], [4], [5], [6], [7], [8] (Rules.BiconditionalNegated attribute) (Rules.BiconditionalNegatedDesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.BiconditionalNegatedUndesignated attribute), [1], [2], [3], [4], [5], [6], [7], [8] (Rules.BiconditionalUndesignated attribute), [1], [2], [3], [4], [5], [6], [7] (Rules.Conditional attribute) (Rules.ConditionalDesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.ConditionalNegated attribute) (Rules.ConditionalNegatedDesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.ConditionalNegatedUndesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.ConditionalUndesignated attribute), [1], [2], [3], [4], [5], [6], [7] (Rules.Conjunction attribute) (Rules.ConjunctionDesignated attribute), [1] (Rules.ConjunctionNegated attribute) (Rules.ConjunctionNegatedDesignated attribute), [1], [2], [3], [4] (Rules.ConjunctionNegatedUndesignated attribute), [1], [2], [3], [4] (Rules.ConjunctionUndesignated attribute), [1], [2] (Rules.Disjunction attribute) (Rules.DisjunctionDesignated attribute), [1] (Rules.DisjunctionNegated attribute) (Rules.DisjunctionNegatedDesignated attribute), [1], [2] (Rules.DisjunctionNegatedUndesignated attribute), [1], [2], [3] (Rules.DisjunctionUndesignated attribute), [1], [2] (Rules.DoubleNegation attribute) (Rules.DoubleNegationDesignated attribute), [1], [2] (Rules.DoubleNegationUndesignated attribute), [1], [2] (Rules.Existential attribute) (Rules.ExistentialDesignated attribute), [1] (Rules.ExistentialNegated attribute) (Rules.ExistentialNegatedDesignated attribute), [1] (Rules.ExistentialNegatedUndesignated attribute), [1], [2] (Rules.ExistentialUndesignated attribute), [1], [2] (Rules.MaterialBiconditional attribute) (Rules.MaterialBiconditionalDesignated attribute), [1], [2], [3], [4] (Rules.MaterialBiconditionalNegated attribute) (Rules.MaterialBiconditionalNegatedDesignated attribute), [1], [2], [3], [4], [5] (Rules.MaterialBiconditionalNegatedUndesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.MaterialBiconditionalUndesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.MaterialConditional attribute) (Rules.MaterialConditionalDesignated attribute), [1], [2], [3] (Rules.MaterialConditionalNegated attribute) (Rules.MaterialConditionalNegatedDesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.MaterialConditionalNegatedUndesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.MaterialConditionalUndesignated attribute), [1], [2], [3], [4] (Rules.Necessity attribute) (Rules.NecessityDesignated attribute) (Rules.NecessityNegated attribute) (Rules.NecessityNegatedDesignated attribute), [1] (Rules.NecessityNegatedUndesignated attribute), [1] (Rules.NecessityUndesignated attribute), [1] (Rules.NonExistenceClosure attribute) (Rules.Possibility attribute) (Rules.PossibilityDesignated attribute) (Rules.PossibilityNegated attribute) (Rules.PossibilityNegatedDesignated attribute), [1] (Rules.PossibilityNegatedUndesignated attribute), [1] (Rules.PossibilityUndesignated attribute), [1] (Rules.SelfIdentityClosure attribute) (Rules.Universal attribute) (Rules.UniversalDesignated attribute) (Rules.UniversalNegated attribute) (Rules.UniversalNegatedDesignated attribute), [1], [2] (Rules.UniversalNegatedUndesignated attribute), [1], [2] (Rules.UniversalUndesignated attribute), [1]

negative() (Sentence method) new_constant() (Branch method) new_designation() (Rules.NecessityNegatedDesignated static method) (Rules.PossibilityNegatedDesignated static method) new_world() (Branch method) next() (Lexical method) (Quantified method) Node (class in pytableaux.proof) node_will_close_branch() (Rules.NonExistenceClosure method) (Rules.SelfIdentityClosure method) NodeFilters (Rules.Assertion attribute) (Rules.AssertionDesignated attribute) (Rules.AssertionNegated attribute) (Rules.AssertionNegatedDesignated attribute), [1] (Rules.AssertionNegatedUndesignated attribute), [1] (Rules.AssertionUndesignated attribute) (Rules.Biconditional attribute) (Rules.BiconditionalDesignated attribute), [1], [2], [3], [4], [5], [6], [7], [8] (Rules.BiconditionalNegated attribute) (Rules.BiconditionalNegatedDesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.BiconditionalNegatedUndesignated attribute), [1], [2], [3], [4], [5], [6], [7], [8] (Rules.BiconditionalUndesignated attribute), [1], [2], [3], [4], [5], [6], [7] (Rules.Conditional attribute) (Rules.ConditionalDesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.ConditionalNegated attribute) (Rules.ConditionalNegatedDesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.ConditionalNegatedUndesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.ConditionalUndesignated attribute), [1], [2], [3], [4], [5], [6], [7] (Rules.Conjunction attribute) (Rules.ConjunctionDesignated attribute), [1] (Rules.ConjunctionNegated attribute) (Rules.ConjunctionNegatedDesignated attribute), [1], [2], [3], [4] (Rules.ConjunctionNegatedUndesignated attribute), [1], [2], [3], [4] (Rules.ConjunctionUndesignated attribute), [1], [2] (Rules.Disjunction attribute) (Rules.DisjunctionDesignated attribute), [1] (Rules.DisjunctionNegated attribute) (Rules.DisjunctionNegatedDesignated attribute), [1], [2] (Rules.DisjunctionNegatedUndesignated attribute), [1], [2], [3] (Rules.DisjunctionUndesignated attribute), [1], [2] (Rules.DoubleNegation attribute) (Rules.DoubleNegationDesignated attribute), [1], [2] (Rules.DoubleNegationUndesignated attribute), [1], [2] (Rules.Existential attribute) (Rules.ExistentialDesignated attribute), [1] (Rules.ExistentialNegated attribute) (Rules.ExistentialNegatedDesignated attribute), [1] (Rules.ExistentialNegatedUndesignated attribute), [1], [2] (Rules.ExistentialUndesignated attribute), [1], [2] (Rules.IdentityIndiscernability attribute) (Rules.MaterialBiconditional attribute) (Rules.MaterialBiconditionalDesignated attribute), [1], [2], [3], [4] (Rules.MaterialBiconditionalNegated attribute) (Rules.MaterialBiconditionalNegatedDesignated attribute), [1], [2], [3], [4], [5] (Rules.MaterialBiconditionalNegatedUndesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.MaterialBiconditionalUndesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.MaterialConditional attribute) (Rules.MaterialConditionalDesignated attribute), [1], [2], [3] (Rules.MaterialConditionalNegated attribute) (Rules.MaterialConditionalNegatedDesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.MaterialConditionalNegatedUndesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.MaterialConditionalUndesignated attribute), [1], [2], [3], [4] (Rules.Necessity attribute) (Rules.NecessityDesignated attribute) (Rules.NecessityNegated attribute) (Rules.NecessityNegatedDesignated attribute), [1] (Rules.NecessityNegatedUndesignated attribute), [1] (Rules.NecessityUndesignated attribute), [1] (Rules.NonExistenceClosure attribute) (Rules.Possibility attribute) (Rules.PossibilityDesignated attribute) (Rules.PossibilityNegated attribute) (Rules.PossibilityNegatedDesignated attribute), [1] (Rules.PossibilityNegatedUndesignated attribute), [1] (Rules.PossibilityUndesignated attribute), [1] (Rules.Reflexive attribute) (Rules.SelfIdentityClosure attribute) (Rules.Symmetric attribute) (Rules.Transitive attribute) (Rules.Universal attribute) (Rules.UniversalDesignated attribute) (Rules.UniversalNegated attribute) (Rules.UniversalNegatedDesignated attribute), [1], [2] (Rules.UniversalNegatedUndesignated attribute), [1], [2] (Rules.UniversalUndesignated attribute), [1] nodes (Tableau.Tree attribute) NodeType (Rules.Symmetric attribute) (Rules.Transitive attribute) NoSetAttr (class in pytableaux.tools) Notation (class in pytableaux.lang) notation (StringTable attribute) nsinit() (in module pytableaux.tools.abcs)

O

open (Tableau attribute) (Tableau.Tree attribute) operands (Operated attribute) Operated (class in pytableaux.lang) Operator (class in pytableaux.lang) operator (Operated attribute) (Rules.Assertion attribute) (Rules.AssertionDesignated attribute) (Rules.AssertionNegated attribute) (Rules.AssertionNegatedDesignated attribute), [1] (Rules.AssertionNegatedUndesignated attribute), [1] (Rules.AssertionUndesignated attribute) (Rules.Biconditional attribute) (Rules.BiconditionalDesignated attribute), [1], [2], [3], [4], [5], [6], [7], [8] (Rules.BiconditionalNegated attribute) (Rules.BiconditionalNegatedDesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.BiconditionalNegatedUndesignated attribute), [1], [2], [3], [4], [5], [6], [7], [8] (Rules.BiconditionalUndesignated attribute), [1], [2], [3], [4], [5], [6], [7] (Rules.Conditional attribute) (Rules.ConditionalDesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.ConditionalNegated attribute) (Rules.ConditionalNegatedDesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.ConditionalNegatedUndesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.ConditionalUndesignated attribute), [1], [2], [3], [4], [5], [6], [7] (Rules.Conjunction attribute) (Rules.ConjunctionDesignated attribute), [1] (Rules.ConjunctionNegated attribute) (Rules.ConjunctionNegatedDesignated attribute), [1], [2], [3], [4] (Rules.ConjunctionNegatedUndesignated attribute), [1], [2], [3], [4] (Rules.ConjunctionUndesignated attribute), [1], [2] (Rules.Disjunction attribute) (Rules.DisjunctionDesignated attribute), [1] (Rules.DisjunctionNegated attribute) (Rules.DisjunctionNegatedDesignated attribute), [1], [2] (Rules.DisjunctionNegatedUndesignated attribute), [1], [2], [3] (Rules.DisjunctionUndesignated attribute), [1], [2] (Rules.DoubleNegation attribute) (Rules.DoubleNegationDesignated attribute), [1], [2] (Rules.DoubleNegationUndesignated attribute), [1], [2] (Rules.Existential attribute) (Rules.ExistentialDesignated attribute), [1] (Rules.ExistentialNegated attribute) (Rules.ExistentialNegatedDesignated attribute), [1] (Rules.ExistentialNegatedUndesignated attribute), [1], [2] (Rules.ExistentialUndesignated attribute), [1], [2] (Rules.MaterialBiconditional attribute) (Rules.MaterialBiconditionalDesignated attribute), [1], [2], [3], [4] (Rules.MaterialBiconditionalNegated attribute) (Rules.MaterialBiconditionalNegatedDesignated attribute), [1], [2], [3], [4], [5] (Rules.MaterialBiconditionalNegatedUndesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.MaterialBiconditionalUndesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.MaterialConditional attribute) (Rules.MaterialConditionalDesignated attribute), [1], [2], [3] (Rules.MaterialConditionalNegated attribute) (Rules.MaterialConditionalNegatedDesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.MaterialConditionalNegatedUndesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.MaterialConditionalUndesignated attribute), [1], [2], [3], [4] (Rules.Necessity attribute) (Rules.NecessityDesignated attribute) (Rules.NecessityNegated attribute) (Rules.NecessityNegatedDesignated attribute), [1] (Rules.NecessityNegatedUndesignated attribute), [1] (Rules.NecessityUndesignated attribute), [1] (Rules.Possibility attribute) (Rules.PossibilityDesignated attribute) (Rules.PossibilityNegated attribute) (Rules.PossibilityNegatedDesignated attribute), [1] (Rules.PossibilityNegatedUndesignated attribute), [1] (Rules.PossibilityUndesignated attribute), [1] (Rules.Universal attribute) (Rules.UniversalDesignated attribute) (Rules.UniversalNegated attribute) (Rules.UniversalNegatedDesignated attribute), [1], [2] (Rules.UniversalNegatedUndesignated attribute), [1], [2] (Rules.UniversalUndesignated attribute), [1]

operators (Sentence attribute) opts (Rule attribute) (TabWriter attribute) order (LexicalEnum attribute) orderitems() (Lexical static method) origin (Branch property)

P

package_all() (Registry method) packages (Registry attribute) Parameter (class in pytableaux.lang) params (Predicated attribute) parent (Branch property) ParseError (class in pytableaux.errors) Parser (class in pytableaux.lang) (Notation attribute) ParseTable (class in pytableaux.lang) PathedDict (class in pytableaux.tools) pcls (LexType attribute) PolishLexWriter (class in pytableaux.lang) PolishParser (class in pytableaux.lang) pop() (dictattr method) (PathedDict method) popitem() (dictattr method) (PathedDict method) Predicate (class in pytableaux.lang) predicate (Predicated attribute) (Rules.Assertion attribute) (Rules.AssertionDesignated attribute) (Rules.AssertionNegated attribute) (Rules.AssertionNegatedDesignated attribute), [1] (Rules.AssertionNegatedUndesignated attribute), [1] (Rules.AssertionUndesignated attribute) (Rules.Biconditional attribute) (Rules.BiconditionalDesignated attribute), [1], [2], [3], [4], [5], [6], [7], [8] (Rules.BiconditionalNegated attribute) (Rules.BiconditionalNegatedDesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.BiconditionalNegatedUndesignated attribute), [1], [2], [3], [4], [5], [6], [7], [8] (Rules.BiconditionalUndesignated attribute), [1], [2], [3], [4], [5], [6], [7] (Rules.Conditional attribute) (Rules.ConditionalDesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.ConditionalNegated attribute) (Rules.ConditionalNegatedDesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.ConditionalNegatedUndesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.ConditionalUndesignated attribute), [1], [2], [3], [4], [5], [6], [7] (Rules.Conjunction attribute) (Rules.ConjunctionDesignated attribute), [1] (Rules.ConjunctionNegated attribute) (Rules.ConjunctionNegatedDesignated attribute), [1], [2], [3], [4] (Rules.ConjunctionNegatedUndesignated attribute), [1], [2], [3], [4] (Rules.ConjunctionUndesignated attribute), [1], [2] (Rules.Disjunction attribute) (Rules.DisjunctionDesignated attribute), [1] (Rules.DisjunctionNegated attribute) (Rules.DisjunctionNegatedDesignated attribute), [1], [2] (Rules.DisjunctionNegatedUndesignated attribute), [1], [2], [3] (Rules.DisjunctionUndesignated attribute), [1], [2] (Rules.DoubleNegation attribute) (Rules.DoubleNegationDesignated attribute), [1], [2] (Rules.DoubleNegationUndesignated attribute), [1], [2] (Rules.Existential attribute) (Rules.ExistentialDesignated attribute), [1] (Rules.ExistentialNegated attribute) (Rules.ExistentialNegatedDesignated attribute), [1] (Rules.ExistentialNegatedUndesignated attribute), [1], [2] (Rules.ExistentialUndesignated attribute), [1], [2] (Rules.IdentityIndiscernability attribute) (Rules.MaterialBiconditional attribute) (Rules.MaterialBiconditionalDesignated attribute), [1], [2], [3], [4] (Rules.MaterialBiconditionalNegated attribute) (Rules.MaterialBiconditionalNegatedDesignated attribute), [1], [2], [3], [4], [5] (Rules.MaterialBiconditionalNegatedUndesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.MaterialBiconditionalUndesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.MaterialConditional attribute) (Rules.MaterialConditionalDesignated attribute), [1], [2], [3] (Rules.MaterialConditionalNegated attribute) (Rules.MaterialConditionalNegatedDesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.MaterialConditionalNegatedUndesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.MaterialConditionalUndesignated attribute), [1], [2], [3], [4] (Rules.Necessity attribute) (Rules.NecessityDesignated attribute) (Rules.NecessityNegated attribute) (Rules.NecessityNegatedDesignated attribute), [1] (Rules.NecessityNegatedUndesignated attribute), [1] (Rules.NecessityUndesignated attribute), [1] (Rules.NonExistenceClosure attribute) (Rules.Possibility attribute) (Rules.PossibilityDesignated attribute) (Rules.PossibilityNegated attribute) (Rules.PossibilityNegatedDesignated attribute), [1] (Rules.PossibilityNegatedUndesignated attribute), [1] (Rules.PossibilityUndesignated attribute), [1] (Rules.SelfIdentityClosure attribute) (Rules.Universal attribute) (Rules.UniversalDesignated attribute) (Rules.UniversalNegated attribute) (Rules.UniversalNegatedDesignated attribute), [1], [2] (Rules.UniversalNegatedUndesignated attribute), [1], [2] (Rules.UniversalUndesignated attribute), [1] Predicated (class in pytableaux.lang) Predicates (class in pytableaux.lang) predicates (Sentence attribute) predicates() (Argument method) premature (Tableau attribute) premises (Argument attribute) ProofTimeoutError (class in pytableaux.errors) pseudo (EnumLookup attribute) pytableaux.errors module pytableaux.lang module pytableaux.logics module pytableaux.logics.b3e module pytableaux.logics.cfol module

pytableaux.logics.cpl module pytableaux.logics.d module pytableaux.logics.fde module pytableaux.logics.g3 module pytableaux.logics.go module pytableaux.logics.k module pytableaux.logics.k3 module pytableaux.logics.k3w module pytableaux.logics.k3wq module pytableaux.logics.kb3e module pytableaux.logics.kfde module pytableaux.logics.kg3 module pytableaux.logics.kk3 module pytableaux.logics.kk3w module pytableaux.logics.kl3 module pytableaux.logics.klp module pytableaux.logics.krm3 module pytableaux.logics.l3 module pytableaux.logics.lp module pytableaux.logics.mh module pytableaux.logics.nh module pytableaux.logics.p3 module pytableaux.logics.rm3 module pytableaux.logics.s4 module pytableaux.logics.s4b3e module pytableaux.logics.s4fde module pytableaux.logics.s4g3 module pytableaux.logics.s4go module pytableaux.logics.s4k3 module pytableaux.logics.s4k3w module pytableaux.logics.s4l3 module pytableaux.logics.s4lp module pytableaux.logics.s4rm3 module pytableaux.logics.s5 module pytableaux.logics.s5b3e module pytableaux.logics.s5fde module pytableaux.logics.s5g3 module pytableaux.logics.s5k3 module pytableaux.logics.s5k3w module pytableaux.logics.s5l3 module pytableaux.logics.s5lp module pytableaux.logics.s5rm3 module pytableaux.logics.t module pytableaux.logics.tb3e module pytableaux.logics.tfde module pytableaux.logics.tg3 module pytableaux.logics.tk3 module pytableaux.logics.tk3w module pytableaux.logics.tl3 module pytableaux.logics.tlp module pytableaux.logics.trm3 module pytableaux.proof module pytableaux.proof.writers module pytableaux.tools module pytableaux.tools.abcs module

Q

Quantified (class in pytableaux.lang) Quantifier (class in pytableaux.lang) quantifier (Quantified attribute) (Rules.Assertion attribute) (Rules.AssertionDesignated attribute) (Rules.AssertionNegated attribute) (Rules.AssertionNegatedDesignated attribute), [1] (Rules.AssertionNegatedUndesignated attribute), [1] (Rules.AssertionUndesignated attribute) (Rules.Biconditional attribute) (Rules.BiconditionalDesignated attribute), [1], [2], [3], [4], [5], [6], [7], [8] (Rules.BiconditionalNegated attribute) (Rules.BiconditionalNegatedDesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.BiconditionalNegatedUndesignated attribute), [1], [2], [3], [4], [5], [6], [7], [8] (Rules.BiconditionalUndesignated attribute), [1], [2], [3], [4], [5], [6], [7] (Rules.Conditional attribute) (Rules.ConditionalDesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.ConditionalNegated attribute) (Rules.ConditionalNegatedDesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.ConditionalNegatedUndesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.ConditionalUndesignated attribute), [1], [2], [3], [4], [5], [6], [7] (Rules.Conjunction attribute) (Rules.ConjunctionDesignated attribute), [1] (Rules.ConjunctionNegated attribute) (Rules.ConjunctionNegatedDesignated attribute), [1], [2], [3], [4] (Rules.ConjunctionNegatedUndesignated attribute), [1], [2], [3], [4] (Rules.ConjunctionUndesignated attribute), [1], [2] (Rules.Disjunction attribute) (Rules.DisjunctionDesignated attribute), [1] (Rules.DisjunctionNegated attribute) (Rules.DisjunctionNegatedDesignated attribute), [1], [2] (Rules.DisjunctionNegatedUndesignated attribute), [1], [2], [3] (Rules.DisjunctionUndesignated attribute), [1], [2] (Rules.DoubleNegation attribute) (Rules.DoubleNegationDesignated attribute), [1], [2] (Rules.DoubleNegationUndesignated attribute), [1], [2] (Rules.Existential attribute) (Rules.ExistentialDesignated attribute), [1] (Rules.ExistentialNegated attribute) (Rules.ExistentialNegatedDesignated attribute), [1] (Rules.ExistentialNegatedUndesignated attribute), [1], [2] (Rules.ExistentialUndesignated attribute), [1], [2] (Rules.MaterialBiconditional attribute) (Rules.MaterialBiconditionalDesignated attribute), [1], [2], [3], [4] (Rules.MaterialBiconditionalNegated attribute) (Rules.MaterialBiconditionalNegatedDesignated attribute), [1], [2], [3], [4], [5] (Rules.MaterialBiconditionalNegatedUndesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.MaterialBiconditionalUndesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.MaterialConditional attribute) (Rules.MaterialConditionalDesignated attribute), [1], [2], [3] (Rules.MaterialConditionalNegated attribute) (Rules.MaterialConditionalNegatedDesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.MaterialConditionalNegatedUndesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.MaterialConditionalUndesignated attribute), [1], [2], [3], [4] (Rules.Necessity attribute) (Rules.NecessityDesignated attribute) (Rules.NecessityNegated attribute) (Rules.NecessityNegatedDesignated attribute), [1] (Rules.NecessityNegatedUndesignated attribute), [1] (Rules.NecessityUndesignated attribute), [1] (Rules.Possibility attribute) (Rules.PossibilityDesignated attribute) (Rules.PossibilityNegated attribute) (Rules.PossibilityNegatedDesignated attribute), [1] (Rules.PossibilityNegatedUndesignated attribute), [1] (Rules.PossibilityUndesignated attribute), [1] (Rules.Universal attribute) (Rules.UniversalDesignated attribute) (Rules.UniversalNegated attribute) (Rules.UniversalNegatedDesignated attribute), [1], [2] (Rules.UniversalNegatedUndesignated attribute), [1], [2] (Rules.UniversalUndesignated attribute), [1]

quantifiers (Sentence attribute)

R

rank (LexType attribute) re_boolyes (in module pytableaux.tools) read() (abcf class method) (wraps method) refs (Predicate property) Registry (class in pytableaux.logics) registry (in module pytableaux.logics) (in module pytableaux.proof.writers) reversed (ParseTable attribute) rhs (Operated attribute) right (Tableau.Tree attribute) role (LexType attribute) Rule (class in pytableaux.proof) Rule.Helper (class in pytableaux.proof.tableaux) RuleGroup (class in pytableaux.proof) RuleGroups (class in pytableaux.proof) Rules (class in pytableaux.logics.b3e) (class in pytableaux.logics.cfol) (class in pytableaux.logics.cpl) (class in pytableaux.logics.d) (class in pytableaux.logics.fde) (class in pytableaux.logics.g3) (class in pytableaux.logics.go) (class in pytableaux.logics.k) (class in pytableaux.logics.k3) (class in pytableaux.logics.k3w) (class in pytableaux.logics.k3wq) (class in pytableaux.logics.kb3e) (class in pytableaux.logics.kfde) (class in pytableaux.logics.kg3) (class in pytableaux.logics.kk3) (class in pytableaux.logics.kk3w) (class in pytableaux.logics.kl3) (class in pytableaux.logics.klp) (class in pytableaux.logics.krm3) (class in pytableaux.logics.l3) (class in pytableaux.logics.lp) (class in pytableaux.logics.mh) (class in pytableaux.logics.nh) (class in pytableaux.logics.p3) (class in pytableaux.logics.rm3) (class in pytableaux.logics.s4) (class in pytableaux.logics.s4b3e) (class in pytableaux.logics.s4fde) (class in pytableaux.logics.s4g3) (class in pytableaux.logics.s4go) (class in pytableaux.logics.s4k3) (class in pytableaux.logics.s4k3w) (class in pytableaux.logics.s4l3) (class in pytableaux.logics.s4lp) (class in pytableaux.logics.s4rm3) (class in pytableaux.logics.s5) (class in pytableaux.logics.s5b3e) (class in pytableaux.logics.s5fde) (class in pytableaux.logics.s5g3) (class in pytableaux.logics.s5k3) (class in pytableaux.logics.s5k3w) (class in pytableaux.logics.s5l3) (class in pytableaux.logics.s5lp) (class in pytableaux.logics.s5rm3) (class in pytableaux.logics.t) (class in pytableaux.logics.tb3e) (class in pytableaux.logics.tfde) (class in pytableaux.logics.tg3) (class in pytableaux.logics.tk3) (class in pytableaux.logics.tk3w) (class in pytableaux.logics.tl3) (class in pytableaux.logics.tlp) (class in pytableaux.logics.trm3) rules (Tableau attribute) Rules.Assertion (class in pytableaux.logics.k) Rules.AssertionDesignated (class in pytableaux.logics.fde) Rules.AssertionNegated (class in pytableaux.logics.k) Rules.AssertionNegatedDesignated (class in pytableaux.logics.b3e) (class in pytableaux.logics.fde) Rules.AssertionNegatedUndesignated (class in pytableaux.logics.b3e) (class in pytableaux.logics.fde) Rules.AssertionUndesignated (class in pytableaux.logics.fde) Rules.Biconditional (class in pytableaux.logics.k) Rules.BiconditionalDesignated (class in pytableaux.logics.b3e) (class in pytableaux.logics.fde) (class in pytableaux.logics.g3) (class in pytableaux.logics.go) (class in pytableaux.logics.k3w) (class in pytableaux.logics.l3) (class in pytableaux.logics.mh) (class in pytableaux.logics.p3) (class in pytableaux.logics.rm3) Rules.BiconditionalNegated (class in pytableaux.logics.k) Rules.BiconditionalNegatedDesignated (class in pytableaux.logics.b3e) (class in pytableaux.logics.fde) (class in pytableaux.logics.g3) (class in pytableaux.logics.go) (class in pytableaux.logics.k3w) (class in pytableaux.logics.mh) (class in pytableaux.logics.p3) Rules.BiconditionalNegatedUndesignated (class in pytableaux.logics.b3e) (class in pytableaux.logics.fde) (class in pytableaux.logics.g3) (class in pytableaux.logics.go) (class in pytableaux.logics.k3w) (class in pytableaux.logics.l3) (class in pytableaux.logics.mh) (class in pytableaux.logics.p3) (class in pytableaux.logics.rm3) Rules.BiconditionalUndesignated (class in pytableaux.logics.b3e) (class in pytableaux.logics.fde) (class in pytableaux.logics.g3) (class in pytableaux.logics.go) (class in pytableaux.logics.k3w) (class in pytableaux.logics.l3) (class in pytableaux.logics.mh) (class in pytableaux.logics.p3) Rules.Conditional (class in pytableaux.logics.k) Rules.ConditionalDesignated (class in pytableaux.logics.b3e) (class in pytableaux.logics.fde) (class in pytableaux.logics.k3w) (class in pytableaux.logics.l3) (class in pytableaux.logics.mh) (class in pytableaux.logics.p3) (class in pytableaux.logics.rm3) Rules.ConditionalNegated (class in pytableaux.logics.k) Rules.ConditionalNegatedDesignated (class in pytableaux.logics.b3e) (class in pytableaux.logics.fde) (class in pytableaux.logics.g3) (class in pytableaux.logics.go) (class in pytableaux.logics.k3w) (class in pytableaux.logics.mh) (class in pytableaux.logics.p3) Rules.ConditionalNegatedUndesignated (class in pytableaux.logics.b3e) (class in pytableaux.logics.fde) (class in pytableaux.logics.g3) (class in pytableaux.logics.go) (class in pytableaux.logics.k3w) (class in pytableaux.logics.mh) (class in pytableaux.logics.p3) Rules.ConditionalUndesignated (class in pytableaux.logics.b3e) (class in pytableaux.logics.fde) (class in pytableaux.logics.go) (class in pytableaux.logics.k3w) (class in pytableaux.logics.l3) (class in pytableaux.logics.mh) (class in pytableaux.logics.p3) (class in pytableaux.logics.rm3)

Rules.Conjunction (class in pytableaux.logics.k) Rules.ConjunctionDesignated (class in pytableaux.logics.fde) (class in pytableaux.logics.p3) Rules.ConjunctionNegated (class in pytableaux.logics.k) Rules.ConjunctionNegatedDesignated (class in pytableaux.logics.fde) (class in pytableaux.logics.go) (class in pytableaux.logics.k3w) (class in pytableaux.logics.nh) (class in pytableaux.logics.p3) Rules.ConjunctionNegatedUndesignated (class in pytableaux.logics.fde) (class in pytableaux.logics.go) (class in pytableaux.logics.k3w) (class in pytableaux.logics.nh) (class in pytableaux.logics.p3) Rules.ConjunctionUndesignated (class in pytableaux.logics.fde) (class in pytableaux.logics.go) (class in pytableaux.logics.p3) Rules.ContradictionClosure (class in pytableaux.logics.k) Rules.DesignationClosure (class in pytableaux.logics.fde) Rules.Disjunction (class in pytableaux.logics.k) Rules.DisjunctionDesignated (class in pytableaux.logics.fde) (class in pytableaux.logics.k3w) Rules.DisjunctionNegated (class in pytableaux.logics.k) Rules.DisjunctionNegatedDesignated (class in pytableaux.logics.fde) (class in pytableaux.logics.go) (class in pytableaux.logics.mh) Rules.DisjunctionNegatedUndesignated (class in pytableaux.logics.fde) (class in pytableaux.logics.go) (class in pytableaux.logics.k3w) (class in pytableaux.logics.mh) Rules.DisjunctionUndesignated (class in pytableaux.logics.fde) (class in pytableaux.logics.go) (class in pytableaux.logics.k3w) Rules.DoubleNegation (class in pytableaux.logics.k) Rules.DoubleNegationDesignated (class in pytableaux.logics.fde) (class in pytableaux.logics.g3) (class in pytableaux.logics.p3) Rules.DoubleNegationUndesignated (class in pytableaux.logics.fde) (class in pytableaux.logics.g3) (class in pytableaux.logics.p3) Rules.Existential (class in pytableaux.logics.k) Rules.ExistentialDesignated (class in pytableaux.logics.fde) (class in pytableaux.logics.k3wq) Rules.ExistentialNegated (class in pytableaux.logics.k) Rules.ExistentialNegatedDesignated (class in pytableaux.logics.fde) (class in pytableaux.logics.go) Rules.ExistentialNegatedUndesignated (class in pytableaux.logics.fde) (class in pytableaux.logics.go) (class in pytableaux.logics.k3wq) Rules.ExistentialUndesignated (class in pytableaux.logics.fde) (class in pytableaux.logics.go) (class in pytableaux.logics.k3wq) Rules.GapClosure (class in pytableaux.logics.lp) Rules.GlutClosure (class in pytableaux.logics.k3) Rules.IdentityIndiscernability (class in pytableaux.logics.k) Rules.MaterialBiconditional (class in pytableaux.logics.k) Rules.MaterialBiconditionalDesignated (class in pytableaux.logics.fde) (class in pytableaux.logics.g3) (class in pytableaux.logics.k3w) (class in pytableaux.logics.mh) (class in pytableaux.logics.p3) Rules.MaterialBiconditionalNegated (class in pytableaux.logics.k) Rules.MaterialBiconditionalNegatedDesignated (class in pytableaux.logics.fde) (class in pytableaux.logics.g3) (class in pytableaux.logics.go) (class in pytableaux.logics.k3w) (class in pytableaux.logics.mh) (class in pytableaux.logics.p3) Rules.MaterialBiconditionalNegatedUndesignated (class in pytableaux.logics.b3e) (class in pytableaux.logics.fde) (class in pytableaux.logics.g3) (class in pytableaux.logics.go) (class in pytableaux.logics.k3w) (class in pytableaux.logics.mh) (class in pytableaux.logics.p3) Rules.MaterialBiconditionalUndesignated (class in pytableaux.logics.b3e) (class in pytableaux.logics.fde) (class in pytableaux.logics.g3) (class in pytableaux.logics.go) (class in pytableaux.logics.k3w) (class in pytableaux.logics.mh) (class in pytableaux.logics.p3) Rules.MaterialConditional (class in pytableaux.logics.k) Rules.MaterialConditionalDesignated (class in pytableaux.logics.fde) (class in pytableaux.logics.g3) (class in pytableaux.logics.k3w) (class in pytableaux.logics.p3) Rules.MaterialConditionalNegated (class in pytableaux.logics.k) Rules.MaterialConditionalNegatedDesignated (class in pytableaux.logics.fde) (class in pytableaux.logics.g3) (class in pytableaux.logics.go) (class in pytableaux.logics.k3w) (class in pytableaux.logics.mh) (class in pytableaux.logics.nh) (class in pytableaux.logics.p3) Rules.MaterialConditionalNegatedUndesignated (class in pytableaux.logics.fde) (class in pytableaux.logics.g3) (class in pytableaux.logics.go) (class in pytableaux.logics.k3w) (class in pytableaux.logics.mh) (class in pytableaux.logics.nh) (class in pytableaux.logics.p3) Rules.MaterialConditionalUndesignated (class in pytableaux.logics.fde) (class in pytableaux.logics.g3) (class in pytableaux.logics.go) (class in pytableaux.logics.k3w) (class in pytableaux.logics.p3) Rules.Necessity (class in pytableaux.logics.k) Rules.NecessityDesignated (class in pytableaux.logics.kfde) Rules.NecessityNegated (class in pytableaux.logics.k) Rules.NecessityNegatedDesignated (class in pytableaux.logics.kfde) (class in pytableaux.logics.s4go) Rules.NecessityNegatedUndesignated (class in pytableaux.logics.kfde) (class in pytableaux.logics.s4go) Rules.NecessityUndesignated (class in pytableaux.logics.kfde) (class in pytableaux.logics.s4go) Rules.NonExistenceClosure (class in pytableaux.logics.k) Rules.Possibility (class in pytableaux.logics.k) Rules.PossibilityDesignated (class in pytableaux.logics.kfde) Rules.PossibilityNegated (class in pytableaux.logics.k) Rules.PossibilityNegatedDesignated (class in pytableaux.logics.kfde) (class in pytableaux.logics.s4go) Rules.PossibilityNegatedUndesignated (class in pytableaux.logics.kfde) (class in pytableaux.logics.s4go) Rules.PossibilityUndesignated (class in pytableaux.logics.kfde) (class in pytableaux.logics.s4go) Rules.Reflexive (class in pytableaux.logics.t) Rules.SelfIdentityClosure (class in pytableaux.logics.k) Rules.Serial (class in pytableaux.logics.d) Rules.Symmetric (class in pytableaux.logics.s5) Rules.Transitive (class in pytableaux.logics.s4) Rules.Universal (class in pytableaux.logics.k) Rules.UniversalDesignated (class in pytableaux.logics.fde) Rules.UniversalNegated (class in pytableaux.logics.k) Rules.UniversalNegatedDesignated (class in pytableaux.logics.fde) (class in pytableaux.logics.go) (class in pytableaux.logics.k3wq) Rules.UniversalNegatedUndesignated (class in pytableaux.logics.fde) (class in pytableaux.logics.go) (class in pytableaux.logics.k3wq) Rules.UniversalUndesignated (class in pytableaux.logics.fde) (class in pytableaux.logics.go) RulesRoot (class in pytableaux.proof)

S

save() (abcf class method) sbool() (in module pytableaux.tools) score_candidate() (Rules.NecessityDesignated method) (Rules.PossibilityDesignated method) (Rules.Transitive method) search() (Branch method) select_fget() (in module pytableaux.tools) Sentence (class in pytableaux.lang) sentence (Quantified attribute) sentence() (Rule method) SeqCover (class in pytableaux.tools) setdefault() (dictattr method) (PathedDict method) (wraps method) SetView (class in pytableaux.tools) slicerange() (in module pytableaux.tools) sort_tuple (Lexical attribute) sorting() (BiCoords method) (TriCoords method)

spec (Lexical attribute) StandardLexWriter (class in pytableaux.lang) StandardParser (class in pytableaux.lang) state (Rule attribute) step (Tableau.Tree attribute) step() (Tableau method) stepiter() (Tableau method) strings (LexicalEnum attribute) StringTable (class in pytableaux.lang) structure_node_count (Tableau.Tree attribute) subscript (BiCoords attribute) (BiCoords.Sorting attribute) (CoordsItem attribute) (TriCoords attribute) (TriCoords.Sorting attribute) substitute() (in module pytableaux.tools) (Sentence method) System (class in pytableaux.proof)

T

Tableau (class in pytableaux.proof) tableau (Rule attribute) Tableau.Tree (class in pytableaux.proof.tableaux) TabWriter (class in pytableaux.proof.writers) TabWriterRegistry (class in pytableaux.proof.writers) Target (class in pytableaux.proof) target() (Rule method) test() (Rule class method) thru() (in module pytableaux.tools) tick() (Branch method) ticking (Rule attribute) (Rules.IdentityIndiscernability attribute) (Rules.NecessityDesignated attribute) (Rules.Reflexive attribute) (Rules.Serial attribute) (Rules.Symmetric attribute) (Rules.Transitive attribute) ticksteps (Tableau.Tree attribute) timer_names (Rule attribute) (Rules.Assertion attribute) (Rules.AssertionDesignated attribute) (Rules.AssertionNegated attribute) (Rules.AssertionNegatedDesignated attribute), [1] (Rules.AssertionNegatedUndesignated attribute), [1] (Rules.AssertionUndesignated attribute) (Rules.Biconditional attribute) (Rules.BiconditionalDesignated attribute), [1], [2], [3], [4], [5], [6], [7], [8] (Rules.BiconditionalNegated attribute) (Rules.BiconditionalNegatedDesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.BiconditionalNegatedUndesignated attribute), [1], [2], [3], [4], [5], [6], [7], [8] (Rules.BiconditionalUndesignated attribute), [1], [2], [3], [4], [5], [6], [7] (Rules.Conditional attribute) (Rules.ConditionalDesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.ConditionalNegated attribute) (Rules.ConditionalNegatedDesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.ConditionalNegatedUndesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.ConditionalUndesignated attribute), [1], [2], [3], [4], [5], [6], [7] (Rules.Conjunction attribute) (Rules.ConjunctionDesignated attribute), [1] (Rules.ConjunctionNegated attribute) (Rules.ConjunctionNegatedDesignated attribute), [1], [2], [3], [4] (Rules.ConjunctionNegatedUndesignated attribute), [1], [2], [3], [4] (Rules.ConjunctionUndesignated attribute), [1], [2] (Rules.ContradictionClosure attribute) (Rules.DesignationClosure attribute) (Rules.Disjunction attribute) (Rules.DisjunctionDesignated attribute), [1] (Rules.DisjunctionNegated attribute) (Rules.DisjunctionNegatedDesignated attribute), [1], [2] (Rules.DisjunctionNegatedUndesignated attribute), [1], [2], [3] (Rules.DisjunctionUndesignated attribute), [1], [2] (Rules.DoubleNegation attribute) (Rules.DoubleNegationDesignated attribute), [1], [2] (Rules.DoubleNegationUndesignated attribute), [1], [2] (Rules.Existential attribute) (Rules.ExistentialDesignated attribute), [1] (Rules.ExistentialNegated attribute) (Rules.ExistentialNegatedDesignated attribute), [1] (Rules.ExistentialNegatedUndesignated attribute), [1], [2] (Rules.ExistentialUndesignated attribute), [1], [2] (Rules.GapClosure attribute) (Rules.GlutClosure attribute) (Rules.IdentityIndiscernability attribute) (Rules.MaterialBiconditional attribute) (Rules.MaterialBiconditionalDesignated attribute), [1], [2], [3], [4] (Rules.MaterialBiconditionalNegated attribute) (Rules.MaterialBiconditionalNegatedDesignated attribute), [1], [2], [3], [4], [5] (Rules.MaterialBiconditionalNegatedUndesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.MaterialBiconditionalUndesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.MaterialConditional attribute) (Rules.MaterialConditionalDesignated attribute), [1], [2], [3] (Rules.MaterialConditionalNegated attribute) (Rules.MaterialConditionalNegatedDesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.MaterialConditionalNegatedUndesignated attribute), [1], [2], [3], [4], [5], [6] (Rules.MaterialConditionalUndesignated attribute), [1], [2], [3], [4] (Rules.Necessity attribute) (Rules.NecessityDesignated attribute) (Rules.NecessityNegated attribute) (Rules.NecessityNegatedDesignated attribute), [1] (Rules.NecessityNegatedUndesignated attribute), [1] (Rules.NecessityUndesignated attribute), [1] (Rules.NonExistenceClosure attribute) (Rules.Possibility attribute) (Rules.PossibilityDesignated attribute) (Rules.PossibilityNegated attribute) (Rules.PossibilityNegatedDesignated attribute), [1] (Rules.PossibilityNegatedUndesignated attribute), [1] (Rules.PossibilityUndesignated attribute), [1] (Rules.Reflexive attribute) (Rules.SelfIdentityClosure attribute) (Rules.Serial attribute) (Rules.Symmetric attribute) (Rules.Transitive attribute) (Rules.Universal attribute) (Rules.UniversalDesignated attribute) (Rules.UniversalNegated attribute) (Rules.UniversalNegatedDesignated attribute), [1], [2] (Rules.UniversalNegatedUndesignated attribute), [1], [2] (Rules.UniversalUndesignated attribute), [1]

timers (Rule attribute) title (Argument attribute) TransMmap (class in pytableaux.tools) tree (Tableau attribute) TriCoords (class in pytableaux.lang) TriCoords.Sorting (class in pytableaux.lang) truth-functional operator TYPE (Lexical attribute)

U

UnboundVariableError (class in pytableaux.errors) undund() (in module pytableaux.tools) Universal (Quantifier attribute) unquantify() (Quantified method)

unquantifying_groups (Rules attribute), [1] unquantifying_rules (Rules attribute), [1] update() (dictattr method) (PathedDict method) (wraps method)

V

valid (Tableau attribute) values() (ItemMapEnum method) Variable (class in pytableaux.lang)

variable (Quantified attribute) variables (Sentence attribute) vget() (TransMmap static method) vset() (TransMmap static method)

W

width (Tableau.Tree attribute) worlds (Branch attribute) worlds() (Node method)

wraps (class in pytableaux.tools) write() (wraps method) writers (Notation attribute)