Index

A

AbelianGroup (class in residuated_binars.abelian_group) absorbs() (in module residuated_binars.axiom_checkers)

add_task() (in module residuated_binars.add_task) AlgebraicStructure (class in residuated_binars.algebraic_structure) associative() (in module residuated_binars.axiom_checkers)

B

BooleanRing (class in residuated_binars.boolean_ring)

C

canonise_symbols() (residuated_binars.lattice.Lattice method) cardinality (residuated_binars.algebraic_structure.AlgebraicStructure property) check_assumptions() (in module residuated_binars.check_assumptions) check_axioms() (residuated_binars.abelian_group.AbelianGroup method) (residuated_binars.algebraic_structure.AlgebraicStructure method) (residuated_binars.boolean_ring.BooleanRing method) (residuated_binars.lattice.Lattice method) (residuated_binars.pseudo_r0_algebra.PseudoR0Algebra method) (residuated_binars.pseudo_weak_r0_algebra.PseudoWeakR0Algebra method) (residuated_binars.residuated_binar.ResiduatedBinar method)

choose_algebraic_structure() (in module residuated_binars.parser) commutative() (in module residuated_binars.axiom_checkers)

F

filter_theories() (in module residuated_binars.filter_theories)

G

generate_isabelle_theory_file() (in module residuated_binars.generate_theories) get_abs_path() (in module residuated_binars.check_assumptions)

get_customised_logger() (in module residuated_binars.check_assumptions) graphviz_repr (residuated_binars.lattice.Lattice property)

H

hasse (residuated_binars.lattice.Lattice property)

I

idempotent() (in module residuated_binars.axiom_checkers) independence_case() (in module residuated_binars.generate_theories) independence_check() (in module residuated_binars.generate_theories) is_left_identity() (in module residuated_binars.axiom_checkers) is_left_inverse() (in module residuated_binars.axiom_checkers)

is_left_zero() (in module residuated_binars.axiom_checkers) is_right_identity() (in module residuated_binars.axiom_checkers) is_right_inverse() (in module residuated_binars.axiom_checkers) is_right_zero() (in module residuated_binars.axiom_checkers) isabelle_format_to_algebra() (in module residuated_binars.parser) isabelle_response_to_algebra() (in module residuated_binars.parser)

L

latex_mult_table (residuated_binars.residuated_binar.ResiduatedBinar property)

Lattice (class in residuated_binars.lattice) left_distributive() (in module residuated_binars.axiom_checkers)

M

mace4_format (residuated_binars.algebraic_structure.AlgebraicStructure property) markdown_mult_table (residuated_binars.residuated_binar.ResiduatedBinar property) module residuated_binars.abelian_group residuated_binars.add_task residuated_binars.algebraic_structure residuated_binars.axiom_checkers residuated_binars.boolean_ring residuated_binars.check_assumptions residuated_binars.constants residuated_binars.filter_theories residuated_binars.generate_theories residuated_binars.lattice residuated_binars.parser residuated_binars.pseudo_r0_algebra residuated_binars.pseudo_weak_r0_algebra residuated_binars.residuated_binar residuated_binars.use_nitpick residuated_binars.utils

more (residuated_binars.lattice.Lattice property)

O

operation_map (residuated_binars.abelian_group.AbelianGroup property) (residuated_binars.algebraic_structure.AlgebraicStructure property) (residuated_binars.boolean_ring.BooleanRing property) (residuated_binars.lattice.Lattice property) (residuated_binars.residuated_binar.ResiduatedBinar property)

P

parse_binary_operation() (in module residuated_binars.parser) parse_unary_operation() (in module residuated_binars.parser)

PseudoR0Algebra (class in residuated_binars.pseudo_r0_algebra) PseudoWeakR0Algebra (class in residuated_binars.pseudo_weak_r0_algebra)

R

remap_symbols() (residuated_binars.algebraic_structure.AlgebraicStructure method) remove_dirs() (in module residuated_binars.utils) residuated_binars.abelian_group module residuated_binars.add_task module residuated_binars.algebraic_structure module residuated_binars.axiom_checkers module residuated_binars.boolean_ring module residuated_binars.check_assumptions module residuated_binars.constants module residuated_binars.filter_theories module

residuated_binars.generate_theories module residuated_binars.lattice module residuated_binars.parser module residuated_binars.pseudo_r0_algebra module residuated_binars.pseudo_weak_r0_algebra module residuated_binars.residuated_binar module residuated_binars.use_nitpick module residuated_binars.utils module ResiduatedBinar (class in residuated_binars.residuated_binar) right_distributive() (in module residuated_binars.axiom_checkers)

S

symbols (residuated_binars.algebraic_structure.AlgebraicStructure property)

T

tabular_format (residuated_binars.algebraic_structure.AlgebraicStructure property)

TaskType (class in residuated_binars.add_task)

U

use_nitpick() (in module residuated_binars.use_nitpick)