Quantum logics representable as kernels of measures
Mirko Navara (1996)
Czechoslovak Mathematical Journal
Similarity:
Displaying similar documents to “On the number of monotonic functions from two-valued logic to -valued logic”
Quantum logics representable as kernels of measures
Probabilistic propositional calculus with doubled nonstandard semantics
Ivan Kramosil (1999)
Kybernetika
Similarity:
The classical propositional language is evaluated in such a way that truthvalues are subsets of the set of all positive integers. Such an evaluation is projected in two different ways into the unit interval of real numbers so that two real-valued evaluations are obtained. The set of tautologies is proved to be identical, in all the three cases, with the set of classical propositional tautologies, but the induced evaluations meet some natural properties of probability measures with respect...
Statistical estimation of deducibility in polyadic algebras
Ivan Kramosil (1971)
Kybernetika
Similarity:
On centers and state spaces of logics
Pták, Pavel
Similarity:
From two- to four-valued logic
Chris Brink (1993)
Banach Center Publications
Similarity:
The purpose of this note is to show that a known and natural four-valued logic co-exists with classical two-valued logic in the familiar context of truth tables. The tool required is the power construction.