Displaying similar documents to “Representability of recursive P. Martin-Löf tests”

M V -test spaces versus M V -algebras

Antonio Di Nola, Anatolij Dvurečenskij (2004)

Czechoslovak Mathematical Journal

Similarity:

In analogy with effect algebras, we introduce the test spaces and M V -test spaces. A test corresponds to a hypothesis on the propositional system, or, equivalently, to a partition of unity. We show that there is a close correspondence between M V -algebras and M V -test spaces.