Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Monoidal_t-norm_logic> ?p ?o }
Showing triples 1 to 77 of
77
with 100 triples per page.
- Monoidal_t-norm_logic abstract "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; it extends the logic of commutative bounded integral residuated lattices (known as Höhle's monoidal logic, Ono's FLew, or intuitionistic logic without contraction) by the axiom of prelinearity.".
- Monoidal_t-norm_logic wikiPageExternalLink nezavislost.pdf.
- Monoidal_t-norm_logic wikiPageID "10464507".
- Monoidal_t-norm_logic wikiPageLength "16740".
- Monoidal_t-norm_logic wikiPageOutDegree "64".
- Monoidal_t-norm_logic wikiPageRevisionID "607377546".
- Monoidal_t-norm_logic wikiPageWikiLink Algebraic_semantics_(mathematical_logic).
- Monoidal_t-norm_logic wikiPageWikiLink Algebraic_structure.
- Monoidal_t-norm_logic wikiPageWikiLink Arity.
- Monoidal_t-norm_logic wikiPageWikiLink Atomic_formula.
- Monoidal_t-norm_logic wikiPageWikiLink Axiom_schema.
- Monoidal_t-norm_logic wikiPageWikiLink Axiom_scheme.
- Monoidal_t-norm_logic wikiPageWikiLink BL_(logic).
- Monoidal_t-norm_logic wikiPageWikiLink Basic_fuzzy_logic.
- Monoidal_t-norm_logic wikiPageWikiLink Boolean_algebra_(structure).
- Monoidal_t-norm_logic wikiPageWikiLink Category:Fuzzy_logic.
- Monoidal_t-norm_logic wikiPageWikiLink Commutative_property.
- Monoidal_t-norm_logic wikiPageWikiLink Commutativity.
- Monoidal_t-norm_logic wikiPageWikiLink Completeness_(logic).
- Monoidal_t-norm_logic wikiPageWikiLink Consequence_relation.
- Monoidal_t-norm_logic wikiPageWikiLink Countable.
- Monoidal_t-norm_logic wikiPageWikiLink Countable_set.
- Monoidal_t-norm_logic wikiPageWikiLink Direct_product.
- Monoidal_t-norm_logic wikiPageWikiLink Entailment.
- Monoidal_t-norm_logic wikiPageWikiLink Fuzzy_logic.
- Monoidal_t-norm_logic wikiPageWikiLink Galois_connection.
- Monoidal_t-norm_logic wikiPageWikiLink Heyting_algebra.
- Monoidal_t-norm_logic wikiPageWikiLink Hilbert-style_deduction_system.
- Monoidal_t-norm_logic wikiPageWikiLink Hilbert_system.
- Monoidal_t-norm_logic wikiPageWikiLink Join_(mathematics).
- Monoidal_t-norm_logic wikiPageWikiLink Join_and_meet.
- Monoidal_t-norm_logic wikiPageWikiLink Lattice_(order).
- Monoidal_t-norm_logic wikiPageWikiLink Logical_connective.
- Monoidal_t-norm_logic wikiPageWikiLink Logical_consequence.
- Monoidal_t-norm_logic wikiPageWikiLink MV-algebra.
- Monoidal_t-norm_logic wikiPageWikiLink Meet_(mathematics).
- Monoidal_t-norm_logic wikiPageWikiLink Modus_ponens.
- Monoidal_t-norm_logic wikiPageWikiLink Monoid.
- Monoidal_t-norm_logic wikiPageWikiLink Monoidal_logic.
- Monoidal_t-norm_logic wikiPageWikiLink Nullary.
- Monoidal_t-norm_logic wikiPageWikiLink Prelinearity.
- Monoidal_t-norm_logic wikiPageWikiLink Projection_(mathematics).
- Monoidal_t-norm_logic wikiPageWikiLink Propositional_calculus.
- Monoidal_t-norm_logic wikiPageWikiLink Propositional_constant.
- Monoidal_t-norm_logic wikiPageWikiLink Propositional_formula.
- Monoidal_t-norm_logic wikiPageWikiLink Propositional_logic.
- Monoidal_t-norm_logic wikiPageWikiLink Propositional_variable.
- Monoidal_t-norm_logic wikiPageWikiLink Residuated_lattice.
- Monoidal_t-norm_logic wikiPageWikiLink Semantic_theory_of_truth.
- Monoidal_t-norm_logic wikiPageWikiLink Soundness.
- Monoidal_t-norm_logic wikiPageWikiLink Soundness_theorem.
- Monoidal_t-norm_logic wikiPageWikiLink Substructural_logic.
- Monoidal_t-norm_logic wikiPageWikiLink Surjective_function.
- Monoidal_t-norm_logic wikiPageWikiLink T-norm.
- Monoidal_t-norm_logic wikiPageWikiLink T-norm_fuzzy_logic.
- Monoidal_t-norm_logic wikiPageWikiLink T-norm_fuzzy_logics.
- Monoidal_t-norm_logic wikiPageWikiLink Tautology_(logic).
- Monoidal_t-norm_logic wikiPageWikiLink Total_order.
- Monoidal_t-norm_logic wikiPageWikiLink Truth_value.
- Monoidal_t-norm_logic wikiPageWikiLink Unary_operation.
- Monoidal_t-norm_logic wikiPageWikiLink Variety_(universal_algebra).
- Monoidal_t-norm_logic wikiPageWikiLink Well-formed_formula.
- Monoidal_t-norm_logic wikiPageWikiLinkText "MTL".
- Monoidal_t-norm_logic wikiPageWikiLinkText "Monoidal t-norm logic".
- Monoidal_t-norm_logic wikiPageWikiLinkText "monoidal t-norm logic MTL".
- Monoidal_t-norm_logic wikiPageWikiLinkText "monoidal t-norm logic".
- Monoidal_t-norm_logic hasPhotoCollection Monoidal_t-norm_logic.
- Monoidal_t-norm_logic wikiPageUsesTemplate Template:Doi.
- Monoidal_t-norm_logic subject Category:Fuzzy_logic.
- Monoidal_t-norm_logic hypernym Logics.
- Monoidal_t-norm_logic comment "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; it extends the logic of commutative bounded integral residuated lattices (known as Höhle's monoidal logic, Ono's FLew, or intuitionistic logic without contraction) by the axiom of prelinearity.".
- Monoidal_t-norm_logic label "Monoidal t-norm logic".
- Monoidal_t-norm_logic sameAs m.02qdy1c.
- Monoidal_t-norm_logic sameAs Q6901647.
- Monoidal_t-norm_logic sameAs Q6901647.
- Monoidal_t-norm_logic wasDerivedFrom Monoidal_t-norm_logic?oldid=607377546.
- Monoidal_t-norm_logic isPrimaryTopicOf Monoidal_t-norm_logic.