The notion of unsharp orthoalgebra is introduced and it is proved that the category of unsharp orthoalgebras is isomorphic to the category of D-posets. A completeness theorem for some partial logics based on unsharp orthoalgebras, orthoalgebras and orthomodular posets is proved.
The logics of orthoalgebras
GIUNTINI, ROBERTO
1995-01-01
Abstract
The notion of unsharp orthoalgebra is introduced and it is proved that the category of unsharp orthoalgebras is isomorphic to the category of D-posets. A completeness theorem for some partial logics based on unsharp orthoalgebras, orthoalgebras and orthomodular posets is proved.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
