About: Valuation (logic)

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

In logic and model theory

Property	Value
dbo:description	concetto della logica (it) in logic and model theory (en)
dbo:wikiPageExternalLink	https://books.google.com/books%3Fid=LTOfZn728-EC&pg=PA155%7Cyear=2001%7Cpublisher=Oxford
dbo:wikiPageWikiLink	dbr:Function_(mathematics) dbr:First-order_logic dbr:Atomic_formula dbr:Homomorphism dbr:Propositional_logic dbr:Propositional_formula dbc:Interpretation_(philosophy) dbr:Sentence_(mathematical_logic) dbr:Logic dbc:Semantic_units dbr:Interpretation_(logic) dbr:Structure_(mathematical_logic) dbr:Truth_value dbc:Model_theory dbr:Model_theory dbr:T-schema dbr:Algebraic_semantics_(mathematical_logic) dbr:Domain_of_discourse dbr:Propositional_variable dbr:Free_variables
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Reflist dbt:Citation
dct:subject	dbc:Interpretation_(philosophy) dbc:Semantic_units dbc:Model_theory
rdfs:label	Valuation (logic) (en) Bewertung (Logik) (de) Wartościowanie (logika) (pl) Valoração (lógica) (pt) 賦值 (邏輯) (zh)
owl:sameAs	dbpedia-pt:Valuation (logic) freebase:Valuation (logic) yago-res:Valuation (logic) wikidata:Valuation (logic) dbpedia-de:Valuation (logic) dbpedia-zh:Valuation (logic) dbpedia-pl:Valuation (logic) dbpedia-global:Valuation (logic) dbr:Valuation (logic)
prov:wasDerivedFrom	wikipedia-en:Valuation_(logic)?oldid=1288544595&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Valuation_(logic)
is dbo:wikiPageDisambiguates of	dbr:Valuation
is dbo:wikiPageRedirects of	dbr:Assignment_(mathematical_logic) dbr:Value_assignment
is dbo:wikiPageWikiLink of	dbr:Membership_function_(mathematics) dbr:Sorites_paradox dbr:Universal_quantification dbr:Turnstile_(symbol) dbr:Propositional_calculus dbr:Truth_table dbr:Boole's_expansion_theorem dbr:Proposition dbr:OpenCog dbr:Metalanguage dbr:Substitution_(logic) dbr:Quantum_logic dbr:Implicational_propositional_calculus dbr:Intuitionistic_logic dbr:Logical_truth dbr:MV-algebra dbr:Something_(concept) dbr:Truth_value dbr:List_of_logic_symbols dbr:Valuation dbr:Assignment_(mathematical_logic) dbr:Value_assignment
is foaf:primaryTopic of	wikipedia-en:Valuation_(logic)