Jump to content

Boolean-valued model

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Trovatore (talk | contribs) at 17:55, 22 September 2005. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

In mathematical logic, a Boolean-valued model is a generalization of the ordinary Tarskian notion of structure or model, in which the truth values of propositions are not limited to "true" and "false", but take values in some fixed complete Boolean algebra.

Stub icon

This mathematical logic-related article is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Boolean-valued_model&oldid=23767613"