| Publication | Date of Publication | Type |
|---|
Completely hereditarily atomic OMLS
Mathematica Slovaca | 2024-11-06 | Paper |
| Completely hereditarily atomic OMLs | 2023-08-16 | Paper |
| Orthogeometries and AW*-algebras | 2023-04-14 | Paper |
Orthogeometries and AW*-algebras
(available as arXiv preprint) | 2023-04-14 | Paper |
Remarks on hyperspaces for Priestley spaces
Theoretical Computer Science | 2023-01-05 | Paper |
| Lüders rule and conditional probability for commuting events | 2022-10-25 | Paper |
Remarks on Hyperspaces for Priestley Spaces
(available as arXiv preprint) | 2022-07-07 | Paper |
Completions of pseudo ordered sets
Order | 2022-05-23 | Paper |
| scientific article; zbMATH DE number 7465766 (Why is no real title available?) | 2022-01-28 | Paper |
Hyper-MacNeille completions of Heyting algebras
Studia Logica | 2021-12-27 | Paper |
Canonical extensions, free completely distributive lattices, and complete retracts
Algebra Universalis | 2021-12-08 | Paper |
| Logical aspects of quantum structures | 2021-08-22 | Paper |
Raney algebras and duality for \(T_0\)-spaces
Applied Categorical Structures | 2021-05-11 | Paper |
Topos quantum theory with short posets
Order | 2021-04-16 | Paper |
The Fell compactification of a poset
Statistical and Fuzzy Approaches to Data Processing, with Applications to Econometrics and Other Areas | 2020-10-16 | Paper |
Boolean subalgebras of orthoalgebras
Order | 2019-12-13 | Paper |
Boolean subalgebras of orthoalgebras
Order | 2019-12-13 | Paper |
Compact Hausdorff spaces with relations and Gleason spaces
Applied Categorical Structures | 2019-12-06 | Paper |
Orthogeometries and AW*-algebras
(available as arXiv preprint) | 2019-08-29 | Paper |
Modularity is not canonical
Algebra Universalis | 2019-02-08 | Paper |
Wigner's theorem for an infinite set
Mathematica Slovaca | 2018-11-27 | Paper |
MacNeille transferability and stable classes of Heyting algebras
Algebra Universalis | 2018-10-30 | Paper |
| A topos view of the type-2 fuzzy truth value algebra | 2018-10-17 | Paper |
The convolution algebra
Algebra Universalis | 2018-07-16 | Paper |
Dynamics in the decompositions approach to quantum mechanics
International Journal of Theoretical Physics | 2018-02-05 | Paper |
Equations in type-2 fuzzy sets
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems | 2018-01-11 | Paper |
Varieties of Birkhoff systems. I
Order | 2017-04-20 | Paper |
Varieties of Birkhoff systems. II
Order | 2017-04-20 | Paper |
Type-2 fuzzy sets and bichains
Advances in Type-2 Fuzzy Sets and Systems | 2017-04-10 | Paper |
Sections in orthomodular structures of decompositions
(available as arXiv preprint) | 2017-02-17 | Paper |
The Convolution Algebra
(available as arXiv preprint) | 2017-02-09 | Paper |
Compact Hausdorff Heyting algebras
Algebra Universalis | 2016-11-01 | Paper |
Automorphisms of decompositions
Mathematica Slovaca | 2016-10-05 | Paper |
Abelian subalgebras and the Jordan structure of a von Neumann algebra
Houston Journal of Mathematics | 2016-09-30 | Paper |
Abelian subalgebras and the Jordan structure of a von Neumann algebra
Houston Journal of Mathematics | 2016-09-30 | Paper |
On the proof that compact Hausdorff Boolean algebras are powersets
Order | 2016-08-24 | Paper |
Categories with fuzzy sets and relations
Fuzzy Sets and Systems | 2016-04-29 | Paper |
| The truth value algebra of type-2 fuzzy sets. Order convolutions of functions on the unit interval | 2016-02-04 | Paper |
The logic of bundles
International Journal of Theoretical Physics | 2016-01-13 | Paper |
Partial orders on fuzzy truth value algebras
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems | 2015-11-04 | Paper |
Modal operators on compact regular frames and de Vries algebras.
Applied Categorical Structures | 2015-06-19 | Paper |
Modal compact Hausdorff spaces
Journal Of Logic And Computation | 2015-02-26 | Paper |
Proximity frames and regularization.
Applied Categorical Structures | 2014-06-24 | Paper |
| scientific article; zbMATH DE number 6308021 (Why is no real title available?) | 2014-06-24 | Paper |
Daggers, kernels, Baer *-semigroups, and orthomodularity
Journal of Philosophical Logic | 2013-08-09 | Paper |
Decidability of the equational theory of the continuous geometry \(\mathrm{CG}(\mathbb F)\)
Journal of Philosophical Logic | 2013-08-09 | Paper |
| scientific article; zbMATH DE number 6135972 (Why is no real title available?) | 2013-02-13 | Paper |
A Boolean topological orthomodular poset
Algebra Universalis | 2013-01-30 | Paper |
Projective bichains
Algebra Universalis | 2012-09-27 | Paper |
Modal logics of Stone spaces
Order | 2012-07-31 | Paper |
Subalgebras of orthomodular lattices
Order | 2011-12-13 | Paper |
Drag on a fibre in a counterflow air stream
PAMM | 2010-12-15 | Paper |
Convex normal functions revisited
Fuzzy Sets and Systems | 2010-05-07 | Paper |
The variety generated by the truth value algebra of type-2 fuzzy sets
Fuzzy Sets and Systems | 2010-03-18 | Paper |
Hausdorff dimension of self-similar sets with overlaps
Science in China. Series A | 2009-12-07 | Paper |
A link between quantum logic and categorical quantum mechanics
International Journal of Theoretical Physics | 2009-10-09 | Paper |
Lattices of convex normal functions
Fuzzy Sets and Systems | 2009-08-28 | Paper |
The modal logic of \({\beta(\mathbb{N})}\)
Archive for Mathematical Logic | 2009-05-06 | Paper |
| scientific article; zbMATH DE number 5365721 (Why is no real title available?) | 2008-11-13 | Paper |
\(\kappa\)-complete uniquely complemented lattices
Order | 2008-09-09 | Paper |
| scientific article; zbMATH DE number 5295854 (Why is no real title available?) | 2008-07-01 | Paper |
| The source of the orthomodular law | 2007-11-27 | Paper |
| MacNeille completions of modal algebras | 2007-07-09 | Paper |
On profinite completions and canonical extensions
Algebra Universalis | 2007-01-29 | Paper |
Orthomodularity of decompositions in a categorical setting
International Journal of Theoretical Physics | 2006-09-28 | Paper |
MacNeille completions and canonical extensions
Transactions of the American Mathematical Society | 2005-11-09 | Paper |
| scientific article; zbMATH DE number 2209493 (Why is no real title available?) | 2005-09-28 | Paper |
Functional monadic Heyting algebras.
Algebra Universalis | 2005-04-19 | Paper |
The free orthomodular lattice on countably many generators is a subalgebra of the free orthomodular lattice on three generators.
Algebra Universalis | 2005-04-19 | Paper |
Remarks on concrete orthomodular lattices
International Journal of Theoretical Physics | 2005-04-18 | Paper |
Obituary: Günter Bruns
Order | 2005-04-07 | Paper |
| scientific article; zbMATH DE number 2138212 (Why is no real title available?) | 2005-02-24 | Paper |
States on orthomodular posets of decompositions
International Journal of Theoretical Physics | 2003-09-21 | Paper |
Bounded lattice expansions
Journal of Algebra | 2002-07-10 | Paper |
On the set representation of an orthomodular poset
Colloquium Mathematicum | 2001-12-11 | Paper |
Embeddings into orthomodular lattices with given centers, state spaces and automorphism groups
Order | 2001-12-07 | Paper |
Epimorphisms in certain varieties of algebras
Order | 2001-06-28 | Paper |
| scientific article; zbMATH DE number 1512853 (Why is no real title available?) | 2001-02-22 | Paper |
Every lattice with 1 and 0 is embeddable in the lattice of topologies of some set by an embedding which preserves the 1 and 0
Topology and its Applications | 2000-07-11 | Paper |
Regularity in quantum logic
International Journal of Theoretical Physics | 2000-06-04 | Paper |
| scientific article; zbMATH DE number 1453805 (Why is no real title available?) | 2000-05-30 | Paper |
Axioms of an experimental system
International Journal of Theoretical Physics | 1999-11-18 | Paper |
Amalgamation of ortholattices
Order | 1999-03-28 | Paper |
A bundle representation for continuous geometries
Advances in Applied Mathematics | 1998-08-24 | Paper |
Boolean products of lattices
Order | 1997-08-25 | Paper |
| scientific article; zbMATH DE number 1002076 (Why is no real title available?) | 1997-08-25 | Paper |
Decompositions in Quantum Logic
Transactions of the American Mathematical Society | 1996-08-11 | Paper |
The Macneille Completion of a Uniquely Complemented Lattice
Canadian Mathematical Bulletin | 1994-10-09 | Paper |
Completions of orthomodular lattices
Order | 1994-07-26 | Paper |
Completions of orthomodular lattices. II
Order | 1994-03-27 | Paper |
| scientific article; zbMATH DE number 411708 (Why is no real title available?) | 1993-09-15 | Paper |
Irreducible orthomodular lattices which are simple
Algebra Universalis | 1993-05-16 | Paper |
Orthomodular lattices whose MacNeille completions are not orthomodular
Order | 1992-06-27 | Paper |
Boolean factors of orthomodular lattices
Algebra Universalis | 1988-01-01 | Paper |
