This HTML5 document contains 73 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n14https://global.dbpedia.org/id/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
dbpedia-pthttp://pt.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
n15https://archive.org/details/
dbpedia-zhhttp://zh.dbpedia.org/resource/
dbchttp://dbpedia.org/resource/Category:
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
goldhttp://purl.org/linguistics/gold/
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Boolean-valued_model
rdfs:label
Modelo booliano valorado Boolean-valued model 布尔值模型
rdfs:comment
在数理逻辑中，布尔值模型是普通的塔斯基主义者的结构或模型概念的推广，在其中命题的真值不被限定为"真"和"假"，而是从某个固定的完全布尔代数中取值，布尔值模型是 Dana Scott、 和 在1960年代为了帮助理解 Paul Cohen 的力迫方法而介入的。 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. Na lógica matemática, um modelo booleano valorado é uma generalização da noção Tarskiana de estrutura da teoria dos modelos. Em um modelo booleano valorado, os valores-verdade das proposições não estão limitados a, "verdadeiro" e "falso", mas em vez disso, analisar valores por uma álgebra booleana completa. Modelos booleanos valorados foram introduzidos por Dana Scott, Robert M. Solovay, e Petr Vopěnka na década de 1960, para ajudar a compreender o método de forçamento de Paul Cohen. Eles também estão relacionados com a álgebra de Heyting semântica na lógica intuicionista.
dcterms:subject
dbc:Model_theory dbc:Forcing_(mathematics) dbc:Boolean_algebra
dbo:wikiPageID
2732301
dbo:wikiPageRevisionID
1086337316
dbo:wikiPageWikiLink
dbr:Generic_filter dbr:Atomic_formula dbr:Regular_open_set dbr:Intuitionistic_logic dbr:Poset dbr:Proper_class dbc:Forcing_(mathematics) dbr:Probability dbr:Free_variable dbc:Model_theory dbr:Supremum dbr:Structure_(mathematical_logic) dbr:Model_theory dbr:Universe_(mathematics) dbr:Signature_(mathematical_logic) dbr:Fuzzy_set dbr:Proposition dbr:Lower_set dbr:Subset dbr:Complete_Boolean_algebra dbr:Real_number dbr:S._S._Kutateladze dbr:Truth_value dbr:Cumulative_hierarchy dbr:Transitive_set dbr:Zermelo–Fraenkel_set_theory dbc:Boolean_algebra dbr:Dana_Scott dbr:Mathematical_logic dbr:Upper_set dbr:Mostowski_collapse dbr:Heyting_algebra dbr:Independence_(mathematical_logic) dbr:Robert_M._Solovay dbr:Paul_Cohen_(mathematician) dbr:Countable_set dbr:Forcing_(mathematics) dbr:Von_Neumann_universe dbr:Alfred_Tarski dbr:Topology dbr:First-order_language dbr:Petr_Vopěnka
dbo:wikiPageExternalLink
n15:settheoryintrodu0000kune%7Curl-access=registration%7Cauthor=Kunen,
owl:sameAs
dbpedia-zh:布尔值模型 n14:4aWuw freebase:m.07_ny0 wikidata:Q4943349 dbpedia-pt:Modelo_booliano_valorado
dbp:wikiPageUsesTemplate
dbt:Short_description dbt:Eom dbt:ISBN dbt:Cite_book
dbp:first
V.N.
dbp:last
Grishin
dbp:title
Boolean-valued model
dbo: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. 在数理逻辑中，布尔值模型是普通的塔斯基主义者的结构或模型概念的推广，在其中命题的真值不被限定为"真"和"假"，而是从某个固定的完全布尔代数中取值，布尔值模型是 Dana Scott、 和 在1960年代为了帮助理解 Paul Cohen 的力迫方法而介入的。 Na lógica matemática, um modelo booleano valorado é uma generalização da noção Tarskiana de estrutura da teoria dos modelos. Em um modelo booleano valorado, os valores-verdade das proposições não estão limitados a, "verdadeiro" e "falso", mas em vez disso, analisar valores por uma álgebra booleana completa. Modelos booleanos valorados foram introduzidos por Dana Scott, Robert M. Solovay, e Petr Vopěnka na década de 1960, para ajudar a compreender o método de forçamento de Paul Cohen. Eles também estão relacionados com a álgebra de Heyting semântica na lógica intuicionista.
gold:hypernym
dbr:Generalization
prov:wasDerivedFrom
wikipedia-en:Boolean-valued_model?oldid=1086337316&ns=0
dbo:wikiPageLength
17075
foaf:isPrimaryTopicOf
wikipedia-en:Boolean-valued_model