Boolean-valued model
http://dbpedia.org/resource/Boolean-valued_model
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.
rdf:langString
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.
rdf:langString
在数理逻辑中，布尔值模型是普通的塔斯基主义者的结构或模型概念的推广，在其中命题的真值不被限定为"真"和"假"，而是从某个固定的完全布尔代数中取值，布尔值模型是 Dana Scott、 和 在1960年代为了帮助理解 Paul Cohen 的力迫方法而介入的。
rdf:langString
rdf:langString
Boolean-valued model
rdf:langString
Modelo booliano valorado
rdf:langString
布尔值模型
xsd:integer
2732301
xsd:integer
1086337316
rdf:langString
V.N.
rdf:langString
Grishin
rdf:langString
Boolean-valued model
rdf:langString
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.
rdf:langString
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.
rdf:langString
在数理逻辑中，布尔值模型是普通的塔斯基主义者的结构或模型概念的推广，在其中命题的真值不被限定为"真"和"假"，而是从某个固定的完全布尔代数中取值，布尔值模型是 Dana Scott、 和 在1960年代为了帮助理解 Paul Cohen 的力迫方法而介入的。
xsd:nonNegativeInteger
17075