-
Tense logics based on posets
Abstract: Not all logical systems can be captured using algebras. We see this in classical logic (formalized by Boolean algebras) and many-valued logics (like Lukasiewicz logic with MV-algebras). Even quantum mechanics, initially formalized with orthomodular lattices, benefits from a simpler approach using just partially ordered sets (posets). This paper explores how logical connectives are introduced in po… ▽ More
Submitted 28 June, 2024; originally announced June 2024.
MSC Class: 03B44; 03G12; 03G25; 06A11; 08A55
-
arXiv:2311.12191 [pdf, ps, other]
Quantum implications in orthomodular posets
Abstract: We show that, for every orthogonal lub-complete poset P, we can introduce multiple-valued implications sharing properties with quantum implications presented for orthomodular lattices by Kalmbach. We call them classical implication, Kalmbach implication, non-tolens implication, Dishkant implication and Sasaki implication. If the classical implication satisfies the order property, then the correspo… ▽ More
Submitted 20 November, 2023; originally announced November 2023.
MSC Class: 06A06; 81P10
-
arXiv:2301.09529 [pdf, ps, other]
Implication in sharply paraorthomodular and relatively paraorthomodular posets
Abstract: In this paper we show that several classes of partially ordered structures having paraorthomodular reducts, or whose sections may be regarded as paraorthomodular posets, admit a quite natural notion of implication, that admits a suitable notion of adjointness. Within this framework, we propose a smooth generalization of celebrated Greechie's theorems on amalgams of finite Boolean algebras to the r… ▽ More
Submitted 23 January, 2023; originally announced January 2023.
MSC Class: 03G12; 03G25; 03G10; 03B47; 03B60; 06A11; 06C15
-
arXiv:2208.13735 [pdf, ps, other]
Reflectors to quantales
Abstract: In this paper, we show that marked quantales have a reflection into quantales. To obtain the reflection we construct free quantales over marked quantales using appropriate lower sets. A marked quantale is a posemigroup in which certain admissible subsets are required to have joins, and multiplication distributes over these. Sometimes are the admissible subsets in question specified by means of a… ▽ More
Submitted 24 August, 2022; originally announced August 2022.
MSC Class: 03B52
-
arXiv:2207.05453 [pdf, ps, other]
Another look on tense and related operators
Abstract: Motivated by the classical work of Halmos on functional monadic Boolean algebras we derive three basic sup-semilattice constructions, among other things the so-called powersets and powerset operators. Such constructions are extremely useful and can be found in almost all branches of modern mathematics, including algebra, logic and topology. Our three constructions give rise to four covariant and t… ▽ More
Submitted 12 July, 2022; originally announced July 2022.
MSC Class: 08A72; 06F99
-
arXiv:2111.10823 [pdf, ps, other]
Representability of Kleene posets and Kleene lattices
Abstract: A Kleene lattice is a distributive lattice equipped with an antitone involution and satisfying the so-called normality condition. These lattices were introduced by J. A. Kalman. We extended this concept also for posets with an antitone involution. In our recent paper [5], we showed how to construct such Kleene lattices or Kleene posets from a given distributive lattice or poset and a fixed element… ▽ More
Submitted 15 December, 2022; v1 submitted 21 November, 2021; originally announced November 2021.
MSC Class: 06D30; 06A11; 06B23; 06D10; 03G25
-
arXiv:2111.00455 [pdf, ps, other]
Constructions of Kleene lattices
Abstract: We present an easy construction producing a Kleene lattice K from an arbitrary distributive lattice L and a non-empty subset of L. We show that L can be embedded into K and compute the cardinality of K under certain additional assumptions. We prove that every finite chain considered as a Kleene lattice can be represented in this way and that this construction preserves direct products.Moreover, we… ▽ More
Submitted 31 October, 2021; originally announced November 2021.
MSC Class: 06A11; 06D15; 03B52; 03G10; 03B60
-
arXiv:2105.08528 [pdf, ps, other]
An algebraic analysis of implication in non-distributive logics
Abstract: In this paper, we introduce the concept of a (lattice) skew Hilbert algebra as a natural generalization of Hilbert algebras. This notion allows a unified treatment of several structures of prominent importance for mathematical logic, e.g. (generalized) orthomodular lattices, and MV-algebras, which admit a natural notion of implication. In fact, it turns out that skew Hilbert algebras play a simila… ▽ More
Submitted 18 May, 2021; originally announced May 2021.
MSC Class: 06D15; 03G12; 03G10
-
arXiv:2103.13764 [pdf, ps, other]
Linear orthogonality spaces as a new approach to quantum logic
Abstract: The notion of an orthogonality space was recently rediscovered as an effective means to characterise the essential properties of quantum logic. The approach can be considered as minimalistic; solely the aspect of mutual exclusiveness is taken into account. In fact, an orthogonality space is simply a set endowed with a symmetric and irreflexive binary relation. If the rank is at least $4$ and if a… ▽ More
Submitted 25 March, 2021; originally announced March 2021.
MSC Class: 81P10; 05C62
-
arXiv:2011.12791 [pdf, ps, other]
Algebraic properties of paraorthomodular posets
Abstract: Paraorthomodular posets are bounded partially ordered set with an antitone involution induced by quantum structures arising from the logico-algebraic approach to quantum mechanics. The aim of the present work is starting a systematic inquiry into paraorthomodular posets theory both from an algebraic and order-theoretic perspective. On the one hand, we show that paraorthomodular posets are amenable… ▽ More
Submitted 25 November, 2020; originally announced November 2020.
MSC Class: 06A11; 06C15; 06B23; 06B75; 08B99; 03G12; 03G25
-
Categories of orthogonality spaces
Abstract: An orthogonality space is a set equipped with a symmetric and irreflexive binary relation. We consider orthogonality spaces with the additional property that any collection of mutually orthogonal elements gives rise to the structure of a Boolean algebra. Together with the maps that preserve the Boolean structures, we are led to the category ${\mathcal N}{\mathcal O}{\mathcal S}$ of normal orthogon… ▽ More
Submitted 18 March, 2020; v1 submitted 6 March, 2020; originally announced March 2020.
MSC Class: 81P10; 06C15; 46C05
-
arXiv:2003.02058 [pdf, ps, other]
Braided Hopf Crossed Modules Through Simplicial Structures
Abstract: Any simplicial Hopf algebra involves $2n$ different projections between the Hopf algebras $H_n,H_{n-1}$ for each $n \geq 1$. The word projection, here meaning a tuple $\partial \colon H_{n} \to H_{n-1}$ and $i \colon H_{n-1} \to H_{n}$ of Hopf algebra morphisms, such that $\partial \, i = \mathrm{id}$. Given a Hopf algebra projection $(\partial \colon I \to H,i)$ in a braided monoidal category… ▽ More
Submitted 4 March, 2020; originally announced March 2020.
Comments: 30 pages, preliminary version, comments are welcome
MSC Class: 16T05; 18D05; 18D10; 18G30
-
arXiv:1905.09343 [pdf, ps, other]
Sectionally pseudocomplemented posets
Abstract: The concept of a sectionally pseudocomplemented lattice was introduced by I. Chajda as an extension of relative pseudocomplementation for not necessarily distributive lattices. The typical example of such a lattice is the non-modular lattice N5. The aim of this paper is to extend the concept of sectional pseudocomplementation from lattices to posets. At first we show that the class of sectionally… ▽ More
Submitted 22 May, 2019; originally announced May 2019.
MSC Class: 06A11; 06D15; 06B23
-
arXiv:1812.09616 [pdf, ps, other]
Residuated operators and Dedekind-MacNeille completion
Abstract: The concept of operator residuation for bounded posets with unary operation was introduced by the first two authors. It turns out that in some cases when these operators are transformed into lattice terms and the poset ${\mathbf P}$ is completed into a Dedekind-MacNeille completion $\BDM(\mathbf P)$ then the complete lattice $\BDM(\mathbf P)$ becomes a residuated lattice with respect to these tran… ▽ More
Submitted 22 December, 2018; originally announced December 2018.
Comments: No
MSC Class: 06A11; 06A15; 06D15
-
arXiv:1810.09561 [pdf, ps, other]
A representation theorem for quantale valued sup-algebras
Abstract: With this paper we hope to contribute to the theory of quantales and quantale-like structures. It considers the notion of $Q$-sup-algebra and shows a representation theorem for such structures generalizing the well-known representation theorems for quantales and sup-algebras. In addition, we present some important properties of the category of $Q$-sup-algebras.
Submitted 22 October, 2018; originally announced October 2018.
Comments: 6 pages
MSC Class: 06F07; 18B99; 06A75; 54A40
Journal ref: J. Paseka, R. Šlesinger, A representation theorem for quantale valued sup-algebras, In: Proceedings of the 48th IEEE International Symposium on Multiple-Valued Logic, Springer, (2018), 91-96
-
arXiv:1810.05498 [pdf, ps, other]
The groupoid-based logic for lattice effect algebras
Abstract: The aim of the paper is to establish a certain logic corresponding to lattice effect algebras. First, we answer a natural question whether a lattice effect algebra can be represented by means of a groupoid-like structure. We establish a one-to-one correspondence between lattice effect algebras and certain groupoids with an antitone involution. Using these groupoids, we are able to introduce a suit… ▽ More
Submitted 12 October, 2018; originally announced October 2018.
Comments: 7 pages
MSC Class: 03G25
Journal ref: I. Chajda, H. Länger, J. Paseka, The groupoid-based logic for lattice effect algebras, in: Proceedings of the 47th IEEE International Symposium on Multiple-Valued Logic, IEEE, (2017), 230-235
-
arXiv:1810.05086 [pdf, ps, other]
Set Representation of Dynamic De Morgan algebras
Abstract: By a De Morgan algebra is meant a bounded poset equipped with an antitone involution considered as negation. Such an algebra can be considered as an algebraic axiomatization of a propositional logic satisfying the double negation law. Our aim is to introduce the so-called tense operators in every De Morgan algebra for to get an algebraic counterpart of a tense logic with negation satisfying the do… ▽ More
Submitted 11 October, 2018; originally announced October 2018.
Comments: 7 pages
MSC Class: 06D30 (03G25)
Journal ref: I. Chajda, J. Paseka, Set representation of partial dynamic De Morgan algebras, In: Proceedings of the 46th IEEE International Symposium on Multiple-Valued Logic, Springer, (2016), 119--124
-
arXiv:1809.06210 [pdf, ps, other]
Filters on some classes of quantum B-algebras
Abstract: In this paper, we continue the study of quantum B-algebras with emphasis on filters on integral quantum B-algebras. We then study filters in the setting of pseudo-hoops. First, we establish an embedding of a cartesion product of polars of a pseudo-hoop into itself. Second, we give sufficient conditions for a pseudohoop to be subdirectly reducible. We also extend the result of Kondo and Turunen to… ▽ More
Submitted 9 September, 2018; originally announced September 2018.
MSC Class: 03G12; 03G27; 06F07; 06F15; 06A35
Journal ref: International Journal of Theoretical Physics, Year: 2015, Volume: 54 Pages: 4397 - 4409
-
arXiv:1809.04456 [pdf, ps, other]
Dynamic logic assigned to automata
Abstract: A dynamic logic ${\mathbf B}$ can be assigned to every automaton ${\mathcal A}$ without regard if ${\mathcal A}$ is deterministic or nondeterministic. This logic enables us to formulate observations on ${\mathcal A}$ in the form of composed propositions and, due to a transition functor $T$, it captures the dynamic behaviour of ${\mathcal A}$. There are formulated conditions under which the automat… ▽ More
Submitted 11 September, 2018; originally announced September 2018.
Comments: 12 pages. arXiv admin note: text overlap with arXiv:1510.02972
MSC Class: 03B60; 03D05; 68S05
Journal ref: International Journal of Theoretical Physics 56 (2017), 3794-3806
-
arXiv:1809.04124 [pdf, ps, other]
Categorical foundations of variety-based bornology
Abstract: Following the concept of topological theory of S.~E.~Rodabaugh, this paper introduces a new approach to (lattice-valued) bornology, which is based in bornological theories, and which is called variety-based bornology. In particular, motivated by the notion of topological system of S.~Vickers, we introduce the concept of variety-based bornological system, and show that the category of variety-based… ▽ More
Submitted 11 September, 2018; originally announced September 2018.
Comments: 12 pages
MSC Class: 46A08; 03E72; 18B99; 18C10; 18A40
Journal ref: Authors: J. Paseka, S.A. Solovyov, Title: Categorical foundations of variety-based bornology, Journal: Fuzzy Sets and Systems 291 (2016), 132-143
-
arXiv:1809.03773 [pdf, ps, other]
Galois connections and tense operators on q-effect algebras
Abstract: For effect algebras, the so-called tense operators were already introduced by Chajda and Paseka. They presented also a canonical construction of them using the notion of a time frame. Tense operators express the quantifiers "it is always going to be the case that" and "it has always been the case that" and hence enable us to express the dimension of time both in the logic of quantum mechanics a… ▽ More
Submitted 11 September, 2018; originally announced September 2018.
Comments: 14 pages
MSC Class: 06D35; 06F35; 03G10
Journal ref: Authors: I. Chajda, J. Paseka, Title: Galois connections and tense operators on q-effect algebras, Journal: Fuzzy Sets and Systems 298 (2016), 56-68
-
arXiv:1510.02972 [pdf, ps, other]
Transition operators assigned to physical systems
Abstract: By a physical system we recognize a set of propositions about a given system with their truth-values depending on the states of the system. Since every physical system can go from one state in another one, there exists a binary relation on the set of states describing this transition. Our aim is to assign to every such system an operator on the set of propositions which is fully determined by the… ▽ More
Submitted 10 October, 2015; originally announced October 2015.
MSC Class: 03B44; 03G25; 06A11; 06B23
Journal ref: Reports on Mathematical Physics 78 (2016), 259-280
-
arXiv:1305.3408 [pdf, ps, other]
On the extensions of Di Nola's Theorem
Abstract: The main aim of this paper is to present a direct proof of Di Nola's representation Theorem for MV-algebras and to extend his results to the restriction of the standard MV-algebra on rational numbers. The results are based on a direct proof of the theorem which says that any finite partial subalgebra of a linearly ordered MV-algebra can be embedded into $\mathbb Q\cap [0,1].$
Submitted 15 May, 2013; originally announced May 2013.
-
arXiv:1305.3406 [pdf, ps, other]
On Tense MV-algebras
Abstract: The main aim of this article is to study tense MV-algebras which are just MV-algebras with new unary operations $G$ and $H$ which express a universal time quantifiers. Tense MV-algebras were introduced by D. Diagonescu and G. Georgescu. Using a new notion of an fm-function between MV-algebras we \zruseno{will prove} \zmena{settle a half of their Open problem about representation for some classes o… ▽ More
Submitted 15 May, 2013; originally announced May 2013.
-
arXiv:1208.1450 [pdf, ps, other]
On realization of generalized effect algebras
Abstract: A well known fact is that there is a finite orthomodular lattice with an order determining set of states which is not representable in the standard quantum logic, the lattice $L({\mathcal H})$ of all closed subspaces of a separable complex Hilbert space. We show that a generalized effect algebra is representable in the operator generalized effect algebra ${\mathcal G}_D({\mathcal H})$ of effects… ▽ More
Submitted 7 August, 2012; originally announced August 2012.
MSC Class: 03G12; 06D35; 06F25; 81P10
-
arXiv:1204.0607 [pdf, ps, other]
Triple Representation Theorem for orthocomplete homogeneous effect algebras
Abstract: The aim of our paper is twofold. First, we thoroughly study the set of meager elements $M(E)$, the set of sharp elements $S(E)$ and the center $C(E)$ in the setting of meager-orthocomplete homogeneous effect algebras $E$. Second, we prove the Triple Representation Theorem for sharply dominating meager-orthocomplete homogeneous effect algebras, in particular orthocomplete homogeneous effect algebra… ▽ More
Submitted 3 April, 2012; originally announced April 2012.
Comments: arXiv admin note: text overlap with arXiv:1203.6042 and arXiv:1101.2580
MSC Class: 03G12 06D35 06F25 81P10
-
arXiv:1204.0605 [pdf, ps, other]
Triple Representation Theorem for homogeneous effect algebras
Abstract: The aim of our paper is to prove the Triple Representation Theorem, which was established by Jenča in the setting of complete lattice effect algebras, for a special class of homogeneous effect algebras, namely TRT-effect algebras. This class includes complete lattice effect algebras, sharply dominating Archimedean atomic lattice effect algebras and homogeneous orthocomplete effect algebras.
Submitted 3 April, 2012; originally announced April 2012.
Comments: arXiv admin note: text overlap with arXiv:1203.6042 and arXiv:1101.2580
MSC Class: 03G12 06D35 06F25 81P10
-
arXiv:1203.6042 [pdf, ps, other]
Homogeneous orthocomplete effect algebras are covered by MV-algebras
Abstract: The aim of our paper is twofold. First, we thoroughly study the set of meager elements Mea(E) and the set of hypermeager elements HMea(E) in the setting of homogeneous effect algebras E. Second, we study the property (W+) and the maximality property introduced by Tkadlec as common generalizations of orthocomplete and lattice effect algebras. We show that every block of an Archimedean homogeneous e… ▽ More
Submitted 27 March, 2012; originally announced March 2012.
-
arXiv:1101.2580 [pdf, ps, other]
More about sharp and meager elements in Archimedean atomic lattice effect algebras
Abstract: The aim of our paper is twofold. First, we thoroughly study the set of meager elements M(E), the center C(E) and the compatibility center B(E)in the setting of atomic Archimedean lattice effect algebras E. The main result is that in this case the center C(E) is bifull (atomic) iff the compatibility center B(E) is bifull (atomic) whenever E is sharply dominating. As a by-product, we give a new desc… ▽ More
Submitted 13 January, 2011; originally announced January 2011.
MSC Class: 03G12 06D35 06F25 81P10
-
arXiv:1005.3678 [pdf, ps, other]
Sharply Orthocomplete Effect Algebras
Abstract: Special types of effect algebras $E$ called sharply dominating and S-dominating were introduced by S. Gudder in \cite{gudder1,gudder2}. We prove statements about connections between sharp orthocompleteness, sharp dominancy and completeness of $E$. Namely we prove that in every sharply orthocomplete S-dominating effect algebra $E$ the set of sharp elements and the center of $E$ are complete lattice… ▽ More
Submitted 20 May, 2010; originally announced May 2010.
MSC Class: 06C15; 03G12; 81P10
-
arXiv:1001.1322 [pdf, ps, other]
Modularity, Atomicity and States in Archimedean Lattice Effect Algebras
Abstract: Effect algebras are a generalization of many structures which arise in quantum physics and in mathematical economics. We show that, in every modular Archimedean atomic lattice effect algebra $E$ that is not an orthomodular lattice there exists an $(o)$-continuous state $ω$ on $E$, which is subadditive. Moreover, we show properties of finite and compact elements of such lattice effect algebras.
Submitted 8 January, 2010; originally announced January 2010.
Journal ref: SIGMA 6 (2010), 003, 9 pages
-
arXiv:math/0211236 [pdf, ps, other]
A characterization of Morita equivalence pairs of quantales
Abstract: We characterize the pairs of sup-lattices which occur as pairs of Morita equivalence bimodules between quantales in terms of the mutual relation between the sup-lattices.
Submitted 15 November, 2002; originally announced November 2002.
Comments: IQSA proceedings paper
MSC Class: 46M15; 46L05; 18D20; 06F07
-
arXiv:math/0209385 [pdf, ps, other]
On simple and semisimple quantales
Abstract: In a recent paper, J. W. Pelletier and J. Rosicky published a characterization of *-simple *-quantales. Their results were adapted for the case of simple quantales by J. Paseka. In this paper we present similar characterizations which do not use a notion of discrete quantale. We also show a completely new characterization based on separating and cyclic sets. Further we explain a link to simple q… ▽ More
Submitted 27 September, 2002; originally announced September 2002.
Comments: 14 pages
MSC Class: 06F07
Journal ref: Topology Atlas Invited Contributions vol. 7, no. 2 (2002) 13 pp
-
arXiv:math/0204112 [pdf, ps, other]
Morita equivalence in the context of Hilbert modules
Abstract: The Morita equivalence of m-regular involutive quantales in the context of the theory of Hilbert $A$-modules is presented. The corresponding fundamental representation theorems are shown. We also prove that two commutative m-regular involutive quantales are Morita equivalent if and only if they are isomorphic
Submitted 10 April, 2002; originally announced April 2002.
Comments: 29 pages
MSC Class: 46M15; 46L05; 18D20; 06F07
Journal ref: Proceedings of the Ninth Prague Topological Symposium, (Prague, 2001), pp. 223--251, Topology Atlas, Toronto, 2002