3-Logic-Kinds

closed logic

Logic {closed logic} can use intersection and account for all intersection cases.

complementary logic

Complementary propositions have no simultaneous decidability of incompatible or non-commuting propositions {complementary logic}.

fuzzy logic

Logic {fuzzy set} {fuzzy logic} can use probability.

modal logic

Whenever A entails B, it must be impossible for A to be true without B also being true {modal logic, relevance} {relevance logic}. In modal-logic predicate calculus, Necessarily and Possibly are constants.

non-distributive logic

Distributive law does not hold in some logics {non-distributive logic}.

non-monotonic logic

Adding new premise to system can make previously valid conclusions become invalid {non-monotonic logic}.

ontology logic

Logic {ontology logic} can use abstract quantifiers.

probability logic

Truth-value can have probability {probability logic}.

protothetic logic

Logic {protothetic logic} can use equivalence.

quantum logic

Quantum mechanics violates regular logic, because proposition "A and B" can be false even if both A and B are true {quantum logic}. Quantum logic can make logic relative.

symbolic logic

& means AND {symbolic logic}. | means OR. - means NOT. Parentheses delimit compound or complex statements. Implication, or other logical operation, needs no other symbol.

three-valued logic

Statements about future contingent events are neither true nor false, requiring logic with three values {three-valued logic}.

Drawings

Technical Information

Date Modified: 2022.0225