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')

The search session has expired. Please query the service again.

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: