unicode_fol_kit.conditional_faithfulness_theory

unicode_fol_kit.conditional_faithfulness_theory(theory_name='CondFaithfulness', antecedent=None, consequent=None, kind='would')

Emit the self-contained Lewis-conditional deep/maximal/minimal + faithfulness theory.

When both antecedent and consequent are given, the corresponding counterfactual (kind "would" / "might") is appended as definition example :: cpl. With a local Isabelle/HOL the theory is verified end to end by unicode_fol_kit.hol.isabelle_runner.check_theory().

Parameters:

• theory_name (str)

• antecedent (Node | None)

• consequent (Node | None)

• kind (str)

Return type:

str