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.
| Attributes | Values |
|---|
| rdfs:label
| - Boolean-valued model (en)
- Modelo booliano valorado (pt)
- 布尔值模型 (zh)
|
| rdfs: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. They are also related to Heyting algebra semantics in intuitionistic logic. (en)
- 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. (pt)
- 在数理逻辑中，布尔值模型是普通的塔斯基主义者的结构或模型概念的推广，在其中命题的真值不被限定为"真"和"假"，而是从某个固定的完全布尔代数中取值，布尔值模型是 Dana Scott、 和 在1960年代为了帮助理解 Paul Cohen 的力迫方法而介入的。 (zh)
|
| dcterms:subject
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| Link from a Wikipage to another Wikipage
| |
| Link from a Wikipage to an external page
| |
| sameAs
| |
| dbp:wikiPageUsesTemplate
| |
| first
| |
| last
| |
| title
| - Boolean-valued model (en)
|
| has 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. (en)
- 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. (pt)
- 在数理逻辑中，布尔值模型是普通的塔斯基主义者的结构或模型概念的推广，在其中命题的真值不被限定为"真"和"假"，而是从某个固定的完全布尔代数中取值，布尔值模型是 Dana Scott、 和 在1960年代为了帮助理解 Paul Cohen 的力迫方法而介入的。 (zh)
|
| gold:hypernym
| |
| prov:wasDerivedFrom
| |
| page length (characters) of wiki page
| |
| foaf:isPrimaryTopicOf
| |
| is Link from a Wikipage to another Wikipage
of | |
| is Wikipage redirect
of | |
| is foaf:primaryTopic
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)