Signed states on a logic

Anatolij Dvurečenskij

Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')

Displaying similar documents to “Signed states on a logic”

On convergences of signed states

Anatolij Dvurečenskij (1978)

Mathematica Slovaca

Similarity:

A Note on Ciuciura’s mbC1

Hitoshi Omori (2019)

Bulletin of the Section of Logic

Similarity:

This note offers a non-deterministic semantics for mbC1, introduced by Janusz Ciuciura, and establishes soundness and (strong) completeness results with respect to the Hilbert-style proof system. Moreover, based on the new semantics, we briefly discuss an unexplored variant of mbC1 which has a contra-classical flavor.

On the Lebesgue decomposition of Gleason measures

Vladimír Palko (1987)

Časopis pro pěstování matematiky

Similarity:

Hilbert-space-valued states on quantum logics

Jan Hamhalter, Pavel Pták (1992)

Applications of Mathematics

Similarity: