katedra matematiky
http://hdl.handle.net/10467/3148
131012019-07-23T14:56:12ZConcrete Quantum Logics with Generalised Compatibiliy
http://hdl.handle.net/10467/62427
Concrete Quantum Logics with Generalised Compatibiliy
Tkadlec, Josef
We present three results stating when a concrete (= set-representable) quantum
logic with covering properties (generalization of compatibility) has to be a Boolean algebra.
These results complete and generalize some previous results [3, 5] and answer partially a
question posed in [2].
1998-01-01T00:00:00ZTriangular Norms with Continous Daigonals
http://hdl.handle.net/10467/62426
Triangular Norms with Continous Daigonals
Tkadlec, Josef
It is an old open question whether a t-norm with a continuous
diagonal must be continuous [7]. We give a partial positive answer for t-norms
with noncontinuous additive generators (constructed by the technique of [1, 3]).
Besides this, we give necessary and sufficient conditions for a function to be
the diagonal of a continuous t-norm, and we characterize all continuous t-norms
with a given diagonal (according to [6]).
1999-01-01T00:00:00ZConditions that Force an Orthomodular Poset to Be a Boolean Algebra
http://hdl.handle.net/10467/62425
Conditions that Force an Orthomodular Poset to Be a Boolean Algebra
Tkadlec, Josef
We introduce two new classes of orthomodular posetsâ€”the class
of weakly Boolean orthomodular posets and the class of orthomodular posets
with the property of maximality. The main result of this paper is that the intersection
of these classes is the class of Boolean algebras. Since the first class
introduced here contains various classes of orthomodular posets with a given
property of its state space and the second class contains, e.g., lattice (orthocomplete,
resp.) orthomodular posets, the main theorem can be viewed as a
generalization of various results concerning the question when an orthomodular
poset has to be a Boolean algebra. Moreover, it gives alternative proofs to
previous results and new results of this type.
1997-01-01T00:00:00ZGreechie diagrams, nonexistence of measures in quantum logics, and Kochen-Specker type constructions
http://hdl.handle.net/10467/62424
Greechie diagrams, nonexistence of measures in quantum logics, and Kochen-Specker type constructions
Svozil, K.; Tkadlec, Josef
1996-01-01T00:00:00Z