Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/T-norm_fuzzy_logics> ?p ?o }
Showing triples 1 to 82 of
82
with 100 triples per page.
- T-norm_fuzzy_logics abstract "T-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 used in applied fuzzy logic and fuzzy set theory as a theoretical basis for approximate reasoning.T-norm fuzzy logics belong in broader classes of fuzzy logics and many-valued logics. In order to generate a well-behaved implication, the t-norms are usually required to be left-continuous; logics of left-continuous t-norms further belong in the class of substructural logics, among which they are marked with the validity of the law of prelinearity, (A → B) ∨ (B → A). Both propositional and first-order (or higher-order) t-norm fuzzy logics, as well as their expansions by modal and other operators, are studied. Logics which restrict the t-norm semantics to a subset of the real unit interval (for example, finitely valued Łukasiewicz logics) are usually included in the class as well.Important examples of t-norm fuzzy logics are monoidal t-norm logic MTL of all left-continuous t-norms, basic logic BL of all continuous t-norms, product fuzzy logic of the product t-norm, or the nilpotent minimum logic of the nilpotent minimum t-norm. Some independently motivated logics belong among t-norm fuzzy logics, too, for example Łukasiewicz logic (which is the logic of the Łukasiewicz t-norm) or Gödel–Dummett logic (which is the logic of the minimum t-norm).".
- T-norm_fuzzy_logics wikiPageID "13727501".
- T-norm_fuzzy_logics wikiPageLength "21776".
- T-norm_fuzzy_logics wikiPageOutDegree "85".
- T-norm_fuzzy_logics wikiPageRevisionID "625363516".
- T-norm_fuzzy_logics wikiPageWikiLink Algebraic_semantics_(mathematical_logic).
- T-norm_fuzzy_logics wikiPageWikiLink Algebraic_structure.
- T-norm_fuzzy_logics wikiPageWikiLink Arity.
- T-norm_fuzzy_logics wikiPageWikiLink Atomic_formula.
- T-norm_fuzzy_logics wikiPageWikiLink BL_(logic).
- T-norm_fuzzy_logics wikiPageWikiLink Basic_fuzzy_logic.
- T-norm_fuzzy_logics wikiPageWikiLink Category:Fuzzy_logic.
- T-norm_fuzzy_logics wikiPageWikiLink Completeness_(logic).
- T-norm_fuzzy_logics wikiPageWikiLink Continuous_function.
- T-norm_fuzzy_logics wikiPageWikiLink Countable.
- T-norm_fuzzy_logics wikiPageWikiLink Countable_set.
- T-norm_fuzzy_logics wikiPageWikiLink First-order_logic.
- T-norm_fuzzy_logics wikiPageWikiLink Fuzzy_logic.
- T-norm_fuzzy_logics wikiPageWikiLink Fuzzy_set.
- T-norm_fuzzy_logics wikiPageWikiLink Gödel.
- T-norm_fuzzy_logics wikiPageWikiLink Higher-order_logic.
- T-norm_fuzzy_logics wikiPageWikiLink Idempotence.
- T-norm_fuzzy_logics wikiPageWikiLink Intermediate_logic.
- T-norm_fuzzy_logics wikiPageWikiLink Intuitionistic_logic.
- T-norm_fuzzy_logics wikiPageWikiLink Involution_(mathematics).
- T-norm_fuzzy_logics wikiPageWikiLink Jan_Łukasiewicz.
- T-norm_fuzzy_logics wikiPageWikiLink Join_(mathematics).
- T-norm_fuzzy_logics wikiPageWikiLink Join_and_meet.
- T-norm_fuzzy_logics wikiPageWikiLink Kurt_Gödel.
- T-norm_fuzzy_logics wikiPageWikiLink Lattice_(order).
- T-norm_fuzzy_logics wikiPageWikiLink Left-continuous.
- T-norm_fuzzy_logics wikiPageWikiLink Logical_conjunction.
- T-norm_fuzzy_logics wikiPageWikiLink Logical_consequence.
- T-norm_fuzzy_logics wikiPageWikiLink Logical_implication.
- T-norm_fuzzy_logics wikiPageWikiLink Many-valued_logic.
- T-norm_fuzzy_logics wikiPageWikiLink Meet_(mathematics).
- T-norm_fuzzy_logics wikiPageWikiLink Michael_Dummett.
- T-norm_fuzzy_logics wikiPageWikiLink Modal_operator.
- T-norm_fuzzy_logics wikiPageWikiLink Modus_ponens.
- T-norm_fuzzy_logics wikiPageWikiLink Monoidal_t-norm_logic.
- T-norm_fuzzy_logics wikiPageWikiLink Nilpotent_minimum_logic.
- T-norm_fuzzy_logics wikiPageWikiLink Non-classical_logic.
- T-norm_fuzzy_logics wikiPageWikiLink Nullary.
- T-norm_fuzzy_logics wikiPageWikiLink Petr_Hájek.
- T-norm_fuzzy_logics wikiPageWikiLink Product_fuzzy_logic.
- T-norm_fuzzy_logics wikiPageWikiLink Propositional_calculus.
- T-norm_fuzzy_logics wikiPageWikiLink Propositional_formula.
- T-norm_fuzzy_logics wikiPageWikiLink Propositional_logic.
- T-norm_fuzzy_logics wikiPageWikiLink Propositional_variable.
- T-norm_fuzzy_logics wikiPageWikiLink Quantifier_(logic).
- T-norm_fuzzy_logics wikiPageWikiLink Residuated_lattice.
- T-norm_fuzzy_logics wikiPageWikiLink Semantics.
- T-norm_fuzzy_logics wikiPageWikiLink Soundness.
- T-norm_fuzzy_logics wikiPageWikiLink Soundness_theorem.
- T-norm_fuzzy_logics wikiPageWikiLink Substructural_logic.
- T-norm_fuzzy_logics wikiPageWikiLink T-norm.
- T-norm_fuzzy_logics wikiPageWikiLink Tautology_(logic).
- T-norm_fuzzy_logics wikiPageWikiLink Three-valued_logic.
- T-norm_fuzzy_logics wikiPageWikiLink Total_order.
- T-norm_fuzzy_logics wikiPageWikiLink Truth-functional.
- T-norm_fuzzy_logics wikiPageWikiLink Truth_function.
- T-norm_fuzzy_logics wikiPageWikiLink Truth_table.
- T-norm_fuzzy_logics wikiPageWikiLink Truth_value.
- T-norm_fuzzy_logics wikiPageWikiLink Unary_operation.
- T-norm_fuzzy_logics wikiPageWikiLink Well-formed_formula.
- T-norm_fuzzy_logics wikiPageWikiLink Łukasiewicz_logic.
- T-norm_fuzzy_logics wikiPageWikiLink ŁΠ.
- T-norm_fuzzy_logics wikiPageWikiLinkText "T-norm fuzzy logics".
- T-norm_fuzzy_logics wikiPageWikiLinkText "first-order fuzzy logics".
- T-norm_fuzzy_logics wikiPageWikiLinkText "product fuzzy logic".
- T-norm_fuzzy_logics wikiPageWikiLinkText "t-norm fuzzy logics".
- T-norm_fuzzy_logics wikiPageWikiLinkText "t-norm".
- T-norm_fuzzy_logics hasPhotoCollection T-norm_fuzzy_logics.
- T-norm_fuzzy_logics subject Category:Fuzzy_logic.
- T-norm_fuzzy_logics hypernym Family.
- T-norm_fuzzy_logics comment "T-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 used in applied fuzzy logic and fuzzy set theory as a theoretical basis for approximate reasoning.T-norm fuzzy logics belong in broader classes of fuzzy logics and many-valued logics.".
- T-norm_fuzzy_logics label "T-norm fuzzy logics".
- T-norm_fuzzy_logics sameAs m.03cgdzp.
- T-norm_fuzzy_logics sameAs Q7667918.
- T-norm_fuzzy_logics sameAs Q7667918.
- T-norm_fuzzy_logics wasDerivedFrom T-norm_fuzzy_logics?oldid=625363516.
- T-norm_fuzzy_logics isPrimaryTopicOf T-norm_fuzzy_logics.