@err313
Graph: top theorems by engagement14 / 14
axiom logic_is_actual : LogicIsActual
axiom bfo : A BFO
axiom fairness_principle : A FairnessPrinciple
axiom custodial_waivers_favor_the_informed : A CustodialWaiversFavorTheInformed
axiom lawyer_first_protects : A LawyerFirstProtects
axiom search_consent_favors_the_informed : A SearchConsentFavorsTheInformed
axiom counsel_before_consent_protects : A CounselBeforeConsentProtects
axiom on_the_spot_answers_favor_the_informed : A OnTheSpotAnswersFavorTheInformed
axiom answer_exclusion_protects : A AnswerExclusionProtects
axiom crisis_choices_favor_the_informed : A CrisisChoicesFavorTheInformed
axiom provisional_crisis_decision_protects : A ProvisionalCrisisDecisionProtects
theorem persons_are_actually_agents : ∀ (x : Type), A (Person.Is x) → A (Agent.Is x)
theorem consistency : t0d1zdc3.LogicIsActual
theorem actual_intro : t0d1zdc3.LogicIsActual
theorem actuality_not_contradictory : ∀ (q : Prop), ¬(A q ∧ A ¬q)
theorem actual_and : ∀ {p q : Prop}, A p → A q → A (p ∧ q)
theorem reform_warranted : ∀ {policy kind : Type},
A FairnessPrinciple → A (SystemFavorsTheInformed kind) → A (policy protects-in kind) → A (StrongReasonToAdopt policy)
theorem reform_warranted : ∀ {policy kind : Type},
A FairnessPrinciple → A (SystemFavorsTheInformed kind) → A (policy protects-in kind) → A (StrongReasonToAdopt policy)
theorem actual_some_not_immoral_is_saying_not_every : A (SomeRichPersonIsNotImmoral ↔ NotEveryRichPersonIsImmoral)
theorem idempotency : t0d1zdc3.LogicIsActual
theorem mp : t0d1zdc3.LogicIsActual
theorem answer_exclusion_warranted : A (StrongReasonToAdopt AnswerExclusionRule)
theorem counsel_before_consent_warranted : A (StrongReasonToAdopt CounselBeforeConsentRule)
theorem provisional_crisis_decision_warranted : A (StrongReasonToAdopt ProvisionalCrisisDecisionRule)
theorem lawyer_first_warranted : A (StrongReasonToAdopt LawyerFirstRule)