منابع مشابه
Omega-almost Boolean rings
In this paper the concept of an $Omega$- Almost Boolean ring is introduced and illistrated how a sheaf of algebras can be constructed from an $Omega$- Almost Boolean ring over a locally Boolean space.
متن کاملomega-almost boolean rings
in this paper the concept of an $omega$- almost boolean ring is introduced and illistrated how a sheaf of algebras can be constructed from an $omega$- almost boolean ring over a locally boolean space.
متن کاملBoolean-valued Term Models
We construct Boolean-valued term models and describe their universal properties. The underlying set of these models consists of the terms of the underlying language, while formulae are interpreted in the Lindenbaum-Tarski algebra of open formulae. Subspaces of the Stone space of the Lindenbaum-Tarski algebra of open formulae are shown to be homeomorphic to spaces of enumerated models models equ...
متن کاملProto-Boolean rings
We introduce the family of R-based proto-Boolean rings associated with an arbitrary commutative ring R. They generalize the protoBoolean algebra devised by Brown [4] as a tool for expressing in modern language Boole’s research in The Laws of Thought. In fact the algebraic results from [4] are recaptured within the framework of proto-Boolean rings, along with other theorems. The free Boolean alg...
متن کاملPseudo-Boolean valued prolog
Logic programming has generally been developed in a Classical two-valued setting; there are no “degrees of truth”. What we propose here is the introduction of more general spaces of truth values, reading truth values as “evidence factors”. Then conventional logic programming may be seen as the special case in which only total evidence is acceptable, and so the space of evidences degenerates to ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fundamenta Mathematicae
سال: 1977
ISSN: 0016-2736,1730-6329
DOI: 10.4064/fm-96-1-67-86