disjunction
111Linear logic — In mathematical logic, linear logic is a type of substructural logic that denies the structural rules of weakening and contraction . The interpretation is of hypotheses as resources : every hypothesis must be consumed exactly once in a proof.… …
112Admissible rule — In logic, a rule of inference is admissible in a formal system if the set of theorems of the system is closed under the rule. The concept of an admissible rule was introduced by Paul Lorenzen (1955).DefinitionsThe concept of admissibility, as… …
113Clause (logic) — For other uses, see Clause (disambiguation). In logic, a clause is a finite disjunction of literals.[1] Clauses are usually written as follows, where the symbols li are literals: In some cases, clauses are written (or defined) as sets of literals …
114Monoidal t-norm logic — Monoidal t norm based logic (or shortly MTL), the logic of left continuous t norms, is one of t norm fuzzy logics. It belongs to the broader class of substructural logics, or logics of residuated lattices;[1] it extends the logic of commutative… …
115Łukasiewicz logic — In mathematics, Łukasiewicz logic is a non classical, many valued logic. It was originally defined by Jan Łukasiewicz as a three valued logic;Łukasiewicz J., 1920, O logice trójwartościowej (in Polish). Ruch filozoficzny 5:170–171. English… …
116T-norm fuzzy logics — are a family of non classical logics, informally delimited by having a semantics which takes the real unit interval [0, 1] for the system of truth values and functions called t norms for permissible interpretations of conjunction. They are mainly …
117Post's lattice — In logic and universal algebra, Post s lattice denotes the lattice of all clones on a two element set {0, 1}, ordered by inclusion. It is named for Emil Post, who published a complete description of the lattice in 1941 [E. L. Post, The two valued …
118Diplo-Y-Syndrom — Das XYY Syndrom (auch als XYY Trisomie, Diplo Mann Syndrom, Supermaskulinitäts Syndrom, Jacobs Syndrom, Diplo Y Syndrom, YY Syndrom oder Polysomie Y bezeichnet) ist eine numerische Chromosomenaberration (Aneuploidie) der Geschlechtschromosomen.… …
119Edwards-Syndrom — Klassifikation nach ICD 10 Q91.0 Trisomie 18, meiotische Non disjunction Q91.1 Trisomie 18, Mosaik (mitotische Non disjunction) …
120Pätau-Syndrom — Klassifikation nach ICD 10 Q91.4 Trisomie 13, meiotische Non disjunction Q91.5 Trisomie 13, Mosaik (mitotische Non disjunction) …
