About: Monoidal t-norm logic

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

The logic of left-continuous t-norms

Property	Value
dbo:description	the logic of left-continuous t-norms (en)
dbo:wikiPageExternalLink	http://karel.chvalovsky.cz/publications/nezavislost.pdf
dbo:wikiPageWikiLink	dbr:Direct_product dbr:Residuated_lattice dbr:Classical_logic dbr:Infimum_and_supremum dbr:Lattice_(order) dbr:Variety_(universal_algebra) dbr:Atomic_formula dbr:Propositional_logic dbr:Propositional_formula dbr:Heyting_algebra dbr:Fuzzy_Sets_and_Systems dbr:Modus_ponens dbr:Well-formed_formula dbr:Material_implication_(rule_of_inference) dbr:Logical_conjunction dbr:Tautology_(logic) dbr:Galois_connection dbr:Arity dbr:Completeness_(logic) dbr:Substructural_logic dbr:Boolean_algebra_(structure) dbr:Intuitionistic_logic dbr:MV-algebra dbr:Constant_(mathematics) dbr:Logical_connective dbr:Negation dbr:Truth_value dbr:Algebraic_structure dbr:Monoid dbr:Axiom_scheme dbr:Mathematical_logic dbr:Unary_operation dbr:T-norm dbr:Material_conditional dbc:Fuzzy_logic dbr:Fuzzy_logic dbr:Surjective_function dbr:Studia_Logica dbr:T-norm_fuzzy_logics dbr:De_Morgan's_laws dbr:Projection_(mathematics) dbr:Total_order dbr:Algebraic_semantics_(mathematical_logic) dbr:Join_(mathematics) dbr:Meet_(mathematics) dbr:Propositional_variable dbr:Archive_for_Mathematical_Logic dbr:BL_(logic) dbr:Semantic_theory_of_truth dbr:Entailment dbr:Nullary dbr:Monoidal_logic dbr:Prelinearity dbr:Basic_fuzzy_logic dbr:Left-continuous dbr:Consequence_relation dbr:Hilbert-style_deduction_system dbr:Soundness_theorem dbr:Commutativity dbr:Countable dbr:Implication_elimination dbr:Implication_introduction dbr:Inference_rule dbr:T-norm_fuzzy_logic
dbp:wikiPageUsesTemplate	dbt:Doi
dct:subject	dbc:Fuzzy_logic
gold:hypernym	dbr:Logics
rdfs:label	Monoidal t-norm logic (en)
owl:sameAs	freebase:Monoidal t-norm logic wikidata:Monoidal t-norm logic dbpedia-global:Monoidal t-norm logic
prov:wasDerivedFrom	wikipedia-en:Monoidal_t-norm_logic?oldid=1251845682&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Monoidal_t-norm_logic
is dbo:wikiPageDisambiguates of	dbr:MTL
is dbo:wikiPageRedirects of	dbr:Monoidal_t-norm_based_logic dbr:MTL_(logic)
is dbo:wikiPageWikiLink of	dbr:Involution_(mathematics) dbr:Fuzzy_mathematics dbr:MTL dbr:T-norm_fuzzy_logics dbr:BL_(logic) dbr:Łukasiewicz_logic dbr:Monoidal_t-norm_based_logic dbr:MTL_(logic)
is foaf:primaryTopic of	wikipedia-en:Monoidal_t-norm_logic