Theory

class hets.Theory(hs_theory: hs.HetsAPI.Python.PyTheory, parent: HsHierarchyElement | None)

axioms() → List[Sentence]

get_available_comorphisms() → List[Comorphism]

get_consistency_checker_by_name(name: str) → ConsistencyChecker | None

get_prover_by_name(name: str) → Prover | None

get_sublogic() → str

get_usable_consistency_checkers() → List[ConsistencyChecker]

get_usable_consistency_checkers_and_comorphisms() → List[Tuple[ConsistencyChecker, Comorphism]]

get_usable_consistency_checkers_with_comorphisms() → Dict[ConsistencyChecker, List[Comorphism]]

get_usable_provers() → List[Prover]

get_usable_provers_and_comorphisms() → List[Tuple[Prover, Comorphism]]

get_usable_provers_with_comorphisms() → Dict[Prover, List[Comorphism]]

goals() → List[Sentence]

logic() → Logic

proven_goals() → List[Sentence]

sentence_by_name(name: str) → Sentence | None

sentences() → List[Sentence]

signature() → Signature

translate(comorphism: Comorphism) → Theory

unproven_goals() → List[Sentence]

with_selection(axioms: List[str] | None = None, goals: List[str] | None = None, theorems: List[str] | None = None)