Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Boolean-valued_model> ?p ?o. }
Showing items 1 to 18 of
18
with 100 items per page.
- Boolean-valued_model abstract "In mathematical logic, a Boolean-valued model is a generalization of the ordinary Tarskian notion of structure from model theory. In a Boolean-valued model, the truth values of propositions are not limited to "true" and "false", but instead take values in some fixed complete Boolean algebra.Boolean-valued models were introduced by Dana Scott, Robert M. Solovay, and Petr Vopěnka in the 1960s in order to help understand Paul Cohen's method of forcing. They are also related to Heyting algebra semantics in intuitionistic logic.".
- Boolean-valued_model wikiPageID "2732301".
- Boolean-valued_model wikiPageRevisionID "594091483".
- Boolean-valued_model first "V.N.".
- Boolean-valued_model hasPhotoCollection Boolean-valued_model.
- Boolean-valued_model id "b/b016990".
- Boolean-valued_model last "Grishin".
- Boolean-valued_model subject Category:Boolean_algebra.
- Boolean-valued_model subject Category:Forcing_(mathematics).
- Boolean-valued_model subject Category:Model_theory.
- Boolean-valued_model comment "In mathematical logic, a Boolean-valued model is a generalization of the ordinary Tarskian notion of structure from model theory. In a Boolean-valued model, the truth values of propositions are not limited to "true" and "false", but instead take values in some fixed complete Boolean algebra.Boolean-valued models were introduced by Dana Scott, Robert M. Solovay, and Petr Vopěnka in the 1960s in order to help understand Paul Cohen's method of forcing.".
- Boolean-valued_model label "Boolean-valued model".
- Boolean-valued_model label "布尔值模型".
- Boolean-valued_model sameAs m.07_ny0.
- Boolean-valued_model sameAs Q4943349.
- Boolean-valued_model sameAs Q4943349.
- Boolean-valued_model wasDerivedFrom Boolean-valued_model?oldid=594091483.
- Boolean-valued_model isPrimaryTopicOf Boolean-valued_model.