mvlogics 0.9.5

PyPI package name: mvlogics

A collection of many-valued logics in Python. In classic logical calculi, propositions evaluate to either true or false. In contrast, many-valued logics offer possibilities in between, the most characteristic example being a value representing “unknown”.

Contents

• Creating your own logic
• Operator reference
  • Shared by all logics
  • Optional
• API Reference
  • mvlogics
    • Submodules
      • mvlogics.protocols
        • Classes
        • Module Contents
          • AbstractLogicBase
          • DecimalLogicBase
          • GödelLogic
          • InfiniteLogicBase
            • InfiniteLogicBase.F
            • InfiniteLogicBase.T
            • InfiniteLogicBase.falsum
            • InfiniteLogicBase.members
            • InfiniteLogicBase.verum
          • LogicBase
            • LogicBase.MemberContainer
              • LogicBase.MemberContainer.__iter__()
              • LogicBase.MemberContainer.__set_name__()
              • LogicBase.MemberContainer.from_name()
              • LogicBase.MemberContainer.generate()
              • LogicBase.MemberContainer.member_values()
              • LogicBase.MemberContainer.name_from_value()
              • LogicBase.MemberContainer.value_from_name()
              • LogicBase.MemberContainer.names
            • LogicBase.members
          • MemberlessLogicBase
            • MemberlessLogicBase.__and__()
            • MemberlessLogicBase.__invert__()
            • MemberlessLogicBase.__neg__()
            • MemberlessLogicBase.__or__()
            • MemberlessLogicBase.__pos__()
            • MemberlessLogicBase.__xor__()
            • MemberlessLogicBase.abjunction()
            • MemberlessLogicBase.converse_abjunction()
            • MemberlessLogicBase.converse_implies()
            • MemberlessLogicBase.convert_to()
            • MemberlessLogicBase.from_logic_member()
            • MemberlessLogicBase.from_normalized()
            • MemberlessLogicBase.iff()
            • MemberlessLogicBase.implies()
            • MemberlessLogicBase.nand()
            • MemberlessLogicBase.nor()
            • MemberlessLogicBase.normalized()
            • MemberlessLogicBase.xnor()
            • MemberlessLogicBase.name
            • MemberlessLogicBase.value
          • PostLogic
          • RationalLogicBase
          • RationalTNormLogic
            • RationalTNormLogic.strong_conjunction()
          • StrictLogicBase
            • StrictLogicBase.consensus()
            • StrictLogicBase.gullibility()
          • TNormLogic
            • TNormLogic.strong_conjunction()
          • ŁukasiewiczLogic
            • ŁukasiewiczLogic.box()
            • ŁukasiewiczLogic.diamond()
            • ŁukasiewiczLogic.doubtful()
            • ŁukasiewiczLogic.strong_conjunction()
            • ŁukasiewiczLogic.strong_disjunction()
    • Attributes
    • Classes
    • Functions
    • Package Contents
      • B4
        • B4.__and__()
        • B4.__invert__()
        • B4.__or__()
        • B4.consensus()
        • B4.gullibility()
        • B4.B
        • B4.F
        • B4.N
        • B4.T
      • BI3
        • BI3.__and__()
        • BI3.__invert__()
        • BI3.__or__()
        • BI3.consensus()
        • BI3.gullibility()
        • BI3.F
        • BI3.I
        • BI3.T
      • Boolean
        • Boolean.__and__()
        • Boolean.__invert__()
        • Boolean.__or__()
        • Boolean.box()
        • Boolean.diamond()
        • Boolean.F
        • Boolean.T
      • G3
        • G3.F
        • G3.NF
        • G3.T
      • G_aleph_0
      • G_inf
      • K3
        • K3.__and__()
        • K3.__invert__()
        • K3.__or__()
        • K3.consensus()
        • K3.gullibility()
        • K3.F
        • K3.I
        • K3.T
      • L3
        • L3.F
        • L3.T
        • L3.U
      • LP
        • LP.__and__()
        • LP.__invert__()
        • LP.__or__()
        • LP.consensus()
        • LP.gullibility()
        • LP.F
        • LP.I
        • LP.T
      • L_aleph_0
        • L_aleph_0.box()
        • L_aleph_0.diamond()
        • L_aleph_0.doubtful()
        • L_aleph_0.strong_conjunction()
        • L_aleph_0.strong_disjunction()
      • L_inf
        • L_inf.box()
        • L_inf.diamond()
        • L_inf.doubtful()
        • L_inf.strong_conjunction()
        • L_inf.strong_disjunction()
      • NP
      • NP_aleph_0
      • P3
        • P3.F
        • P3.T
        • P3.U
      • RM3
        • RM3.__and__()
        • RM3.__invert__()
        • RM3.__or__()
        • RM3.B
        • RM3.F
        • RM3.T
      • SmT
        • SmT.F
        • SmT.NF
        • SmT.T
      • Unit
        • Unit.__and__()
        • Unit.__bool__()
        • Unit.__invert__()
        • Unit.__or__()
        • Unit.box()
        • Unit.consensus()
        • Unit.diamond()
        • Unit.gullibility()
        • Unit.T
      • Π
      • Π_aleph_0
      • convert()
      • decimal_logic_from_implication()
      • decimal_t_norm_logic()
      • gödel_logic()
      • is_builtin_logic()
      • is_builtin_logic_member()
      • is_logic()
      • is_logic_member()
      • logic_from_implication()
      • post_logic()
      • rational_logic_from_implication()
      • rational_t_norm_logic()
      • t_norm_logic()
      • łukasiewicz_logic()
      • ALL_LOGICS
      • ALL_LOGICS_TUPLE
      • ALL_METHODS
      • EXTENSION_METHODS
      • FAKE_PROTOCOLS
      • FAKE_PROTOCOLS_TUPLE
      • FORBIDDEN
      • MIXIN_METHODS
      • RECOMMENDED_METHODS
      • REQUIRED_ATTRS

Note

This project is being actively developed and maintained. It currently only supports CPython 3.12 or above.

Note

The format of this page was inspired by pytest.