About: MV-algebra

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Algebraic structure providing a semantics of Łukasiewicz logic

Property	Value
dbo:description	algebraic structure providing a semantics of Łukasiewicz logic (en) algebra strukturo, kiu provizas semantikon de Łukasiewicz-logiko (eo)
dbo:wikiPageExternalLink	http://journal.univagora.ro/download/pdf/28.pdf https://arxiv.org/abs/1312.1272 http://www.matematica.uns.edu.ar/IXCongresoMonteiro/Comunicaciones/Mundici_tutorial.pdf https://web.archive.org/web/20140810173454/http:/www.journal.univagora.ro/download/pdf/28.pdf http://plato.stanford.edu/entries/logic-manyvalued/
dbo:wikiPageWikiLink	dbr:Grigore_Moisil dbr:Residuated_lattice dbr:Model_(mathematical_logic) dbr:Variety_(universal_algebra) dbr:Set_(mathematics) dbr:Binary_operation dbr:Two-element_Boolean_algebra dbr:Abstract_algebra dbr:Identity_(mathematics) dbr:Homomorphism dbr:Propositional_formula dbr:Siegfried_Gottwald dbr:Petr_Hájek dbr:Mathematics dbr:Infinitesimal dbr:Tautology_(logic) dbr:Order_type dbr:Lindenbaum–Tarski_algebra dbr:Boolean_algebra_(structure) dbc:Algebraic_structures dbc:Many-valued_logic dbr:Many-valued_logic dbr:Algebraic_structure dbr:Monoid dbr:Boolean_algebras dbr:Unary_operation dbc:Fuzzy_logic dbr:Empty_set dbr:Fuzzy_logic dbc:Algebraic_logic dbr:Linearly_ordered_group dbr:Element_(mathematics) dbr:Valuation_(logic) dbr:Approximately_finite-dimensional_C*-algebra dbr:Jan_Łukasiewicz dbr:Stanford_Encyclopedia_of_Philosophy dbr:Algebraic_semantics_(mathematical_logic) dbr:BCK_algebra dbr:BL_(logic) dbr:Łukasiewicz–Moisil_algebra dbr:Effect_algebra dbr:Łukasiewicz_logic dbr:Itala_D'Ottaviano dbr:Olivia_Caramello dbr:Daniele_Mundici dbr:Revaz_Grigolia dbr:Roberto_Cignoli dbr:Wajsberg_algebra dbr:Lattice-ordered_group dbr:Łukasiewicz–Tarski_logic dbr:Categorical_equivalence dbr:C._C._Chang
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Cite_web dbt:Reflist dbt:Expand_section dbt:Doi dbt:Further dbt:Citation_needed
dct:subject	dbc:Algebraic_structures dbc:Many-valued_logic dbc:Fuzzy_logic dbc:Algebraic_logic
rdfs:label	MV-algebra (en) MV-代数 (zh)
owl:sameAs	freebase:MV-algebra yago-res:MV-algebra wikidata:MV-algebra dbpedia-zh:MV-algebra dbpedia-global:MV-algebra dbr:MV-algebra
prov:wasDerivedFrom	wikipedia-en:MV-algebra?oldid=1285187815&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:MV-algebra
is dbo:knownFor of	dbr:Grigore_Moisil
is dbo:wikiPageRedirects of	dbr:MV-Algebra dbr:MV-algebras
is dbo:wikiPageWikiLink of	dbr:Grigore_Moisil dbr:Residuated_lattice dbr:Involution_(mathematics) dbr:Algebraic_logic dbr:Cyclically_ordered_group dbr:Many-valued_logic dbr:Fuzzy_logic dbr:List_of_order_theory_topics dbr:Multi-adjoint_logic_programming dbr:Algebraic_semantics_(mathematical_logic) dbr:Chen_Chung_Chang dbr:BCK_algebra dbr:Monoidal_t-norm_logic dbr:Łukasiewicz–Moisil_algebra dbr:Outline_of_algebraic_structures dbr:Effect_algebra dbr:Łukasiewicz_logic dbr:MV-Algebra dbr:MV-algebras
is dbp:knownFor of	dbr:Grigore_Moisil
is foaf:primaryTopic of	wikipedia-en:MV-algebra