-
Tense logics based on posets
Authors:
Ivan Chajda,
Helmut Länger,
Antonio Ledda,
Jan Paseka,
Gandolfo Vergottini
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
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 poset-based logics. Building on prior work by the authors, we delve deeper into "dynamic" logics where truth values can change over time. We consider time sets with a preference relation and propositions whose truth depends on time. Tense operators, introduced by J.Burgess and extended for various logics, become a valuable tool. This paper proposes several approaches to this topic, aiming to inspire a further stream of research.
△ Less
Submitted 28 June, 2024;
originally announced June 2024.
-
Operators on complemented lattices
Authors:
Ivan Chajda,
Helmut Länger
Abstract:
The present paper deals with complemented lattices where, however, a unary operation of complementation is not explicitly assumed. This means that an element can have several complements. The mapping $^+$ assigning to each element $a$ the set $a^+$ of all its complements is investigated as an operator on the given lattice. We can extend the definition of $a^+$ in a natural way from elements to arb…
▽ More
The present paper deals with complemented lattices where, however, a unary operation of complementation is not explicitly assumed. This means that an element can have several complements. The mapping $^+$ assigning to each element $a$ the set $a^+$ of all its complements is investigated as an operator on the given lattice. We can extend the definition of $a^+$ in a natural way from elements to arbitrary subsets. In particular we study the set $a^+$ for complemented modular lattices, and we characterize when the set $a^{++}$ is a singleton. By means of the operator $^+$ we introduce two other operators $\to$ and $\odot$ which can be considered as implication and conjunction in a certain propositional calculus, respectively. These two logical connectives are ``unsharp'' which means that they assign to each pair of elements a non-empty subset. However, also these two derived operators share a lot of properties with the corresponding logical connectives in intuitionistic logic or in the logic of quantum mechanics. In particular, they form an adjoint pair. Finally, we define so-called deductive systems and we show their relationship to the mentioned operators as well as to lattice filters.
△ Less
Submitted 11 June, 2024;
originally announced June 2024.
-
Induced orthogonality in semilattices with 0 and in pseudocomplemented lattices and posets
Authors:
Ivan Chajda,
Miroslav Kolařík,
Helmut Länger
Abstract:
On an arbitrary meet-semilattice S with 0 we define an orthogonality relation and investigate the lattice Cl(S) of all subsets of S closed under this orthogonality. We show that if S is atomic then Cl(S) is a complete atomic Boolean algebra. If S is a pseudocomplemented lattice, this orthogonality relation can be defined by means of the pseudocomplementation. Finally, we show that if S is a comple…
▽ More
On an arbitrary meet-semilattice S with 0 we define an orthogonality relation and investigate the lattice Cl(S) of all subsets of S closed under this orthogonality. We show that if S is atomic then Cl(S) is a complete atomic Boolean algebra. If S is a pseudocomplemented lattice, this orthogonality relation can be defined by means of the pseudocomplementation. Finally, we show that if S is a complete pseudocomplemented lattice then Cl(S) is a complete Boolean algebra. For pseudocomplemented posets a similar result holds if the subset of pseudocomplements forms a complete lattice satisfying a certain compatibility condition.
△ Less
Submitted 20 April, 2024;
originally announced April 2024.
-
A characterization of permutability of 2-uniform tolerances on posets
Authors:
Ivan Chajda,
Helmut Länger
Abstract:
Tolerance relations were investigated by several authors in various algebraic structures, see e.g. the monograph by I. Chajda. Recently G. Czédli studied so-called 2-uniform tolerances on lattices, i.e. tolerances that are compatible with the lattice operations and whose blocks are of cardinality 2. He showed that two such tolerances on a lattice containing no infinite chain permute if and only if…
▽ More
Tolerance relations were investigated by several authors in various algebraic structures, see e.g. the monograph by I. Chajda. Recently G. Czédli studied so-called 2-uniform tolerances on lattices, i.e. tolerances that are compatible with the lattice operations and whose blocks are of cardinality 2. He showed that two such tolerances on a lattice containing no infinite chain permute if and only if they are amicable (a concept introduced in his paper). We extend this study to tolerances on posets. Since in posets we have no lattice operations, we must modify the notion of amicability. We modified it in such a way that in case of lattices it coincides with the original definition. With this new definition we can prove that two tolerances on a poset containing no infinite chain permute if and only if they are amicable in the new sense.
△ Less
Submitted 14 February, 2024;
originally announced February 2024.
-
Implications in pseudocomplemented and Stone lattices
Authors:
Ivan Chajda,
Helmut Länger
Abstract:
Two kinds of the connective implication are introduced as term operations of a pseudocomplemented lattice. It is shown that they share a lot of properties with the intuitionistic implication based on Heyting algebras. In particular, if the pseudocomplemented lattice in question is a Stone lattice then the considered implications satisfy some kind of quasi-commutativity, of the exchange property, s…
▽ More
Two kinds of the connective implication are introduced as term operations of a pseudocomplemented lattice. It is shown that they share a lot of properties with the intuitionistic implication based on Heyting algebras. In particular, if the pseudocomplemented lattice in question is a Stone lattice then the considered implications satisfy some kind of quasi-commutativity, of the exchange property, some version of adjointness with the meet-operation and some kind of the derivation rule Modus Ponens and of the contraposition law. Two kinds of deductive systems are defined and their elementary properties are shown. All investigated concepts are illuminated by examples.
△ Less
Submitted 10 January, 2024;
originally announced January 2024.
-
Properties and special filters of pseudocomplemented posets
Authors:
Ivan Chajda,
Helmut Länger
Abstract:
Investigating the structure of pseudocomplemented lattices started ninety years ago with papers by V. Glivenko, G. Birkhoff and O. Frink and this structure was essentially developed by G. Grätzer. In recent years, some special filters in pseudocomplemented and Stone lattices have been studied by M. Sambasiva Rao. However, in some applications, in particular in non-classical logics with unsharp log…
▽ More
Investigating the structure of pseudocomplemented lattices started ninety years ago with papers by V. Glivenko, G. Birkhoff and O. Frink and this structure was essentially developed by G. Grätzer. In recent years, some special filters in pseudocomplemented and Stone lattices have been studied by M. Sambasiva Rao. However, in some applications, in particular in non-classical logics with unsharp logical connectives, pseudocomplemented posets instead of lattices are used. This motivated us to develop an algebraic theory of pseudocomplemented posets, i.e. we derive identities and inequalities holding in such posets and we use them in order to characterize the so-called Stone posets. Then we adopt several concepts of special filters and we investigate their properties in pseudocomplemented posets. Moreover, we show how properties of these filters influence algebraic properties of the underlying pseudocomplemented posets.
△ Less
Submitted 7 December, 2023;
originally announced December 2023.
-
The intuitionistic-like logic based on a poset
Authors:
Ivan Chajda,
Helmut Länger
Abstract:
The aim of the present paper is to show that the concept of intuitionistic logic based on a Heyting algebra can be generalized in such a way that it is formalized by means of a bounded poset. In this case it is not assumed that the poset is relatively pseudocomplemented. The considered logical connectives negation, implication or even conjunction are not operations in this poset but so-called oper…
▽ More
The aim of the present paper is to show that the concept of intuitionistic logic based on a Heyting algebra can be generalized in such a way that it is formalized by means of a bounded poset. In this case it is not assumed that the poset is relatively pseudocomplemented. The considered logical connectives negation, implication or even conjunction are not operations in this poset but so-called operators since they assign to given entries not necessarily an element of the poset as a result but a subset of mutually incomparable elements with maximal possible truth values. We show that these operators for negation and implication can be characterized by several simple conditions formulated in the language of posets together with the operator of taking the lower cone. Moreover, our implication and conjunction form an adjoint pair. We call these connectives "unsharp" or "inexact" in accordance with the existing literature. We also introduce the concept of a deductive system of a bounded poset with implication and prove that it induces an equivalence relation satisfying a certain substitution property with respect to implication. Moreover, the restriction of this equivalence on the base set is uniquely determined by its kernel, i.e. the class containing the top element.
△ Less
Submitted 22 August, 2023;
originally announced August 2023.
-
Special filters in bounded lattices
Authors:
Ivan Chajda,
Miroslav Kolařík,
Helmut Länger
Abstract:
M.S. Rao recently investigated some sorts of special filters in distributive pseudocomplemented lattices. In our paper we extend this study to lattices which need neither be distributive nor pseudocomplemented. For this sake we define a certain modification of the notion of a pseudocomplement as the set of all maximal elements belonging to the annihilator of the corresponding element. We prove sev…
▽ More
M.S. Rao recently investigated some sorts of special filters in distributive pseudocomplemented lattices. In our paper we extend this study to lattices which need neither be distributive nor pseudocomplemented. For this sake we define a certain modification of the notion of a pseudocomplement as the set of all maximal elements belonging to the annihilator of the corresponding element. We prove several basic properties of this notion and then define coherent, closed and median filters as well as D-filters. In order to be able to obtain valuable results we often must add some additional assumptions on the underlying lattice, e.g. that this lattice is Stonean or D-Stonean. Our results relate properties of lattices and of corresponding filters. We show how the structure of a lattice influences the form of its filters and vice versa.
△ Less
Submitted 16 June, 2023;
originally announced June 2023.
-
The logic of effect algebras incorporating time dimension
Authors:
Ivan Chajda,
Helmut Länger
Abstract:
Effect algebras were introduced in order to describe the structure of effects, i.e. events in quantum mechanics. They are partial algebras describing the logic behind the corresponding events. It is natural to ask how to introduce the logical connective implication in effect algebras. For lattice-ordered effect algebras this task was already solved by several authors, including the present ones. W…
▽ More
Effect algebras were introduced in order to describe the structure of effects, i.e. events in quantum mechanics. They are partial algebras describing the logic behind the corresponding events. It is natural to ask how to introduce the logical connective implication in effect algebras. For lattice-ordered effect algebras this task was already solved by several authors, including the present ones. We concentrate on effect algebras that need not be lattice-ordered since these can better describe the events occurring in the quantum physical system. Although an effect algebra is only partial, we try to find a logical connective implication which is everywhere defined. But such a connective can be "unsharp" or "inexact" because its outputs for given pairs of entries need not be elements of the underlying effect algebra, but may be subsets of (mutually incomparable) maximal elements. We introduce such an implication together with its adjoint functor representing conjunction. Then we consider so-called tense operators on effect algebras. Of course, also these operators turn out to be "unsharp" in the aforementioned sense, but they are in a certain relation with the operators implication and conjunction. Finally, for given tense operators and given time set T, we describe two methods how to construct a time preference relation R on T such that the given tense operators are either comparable with or equivalent to those induced by the time frame (T,R).
△ Less
Submitted 20 March, 2023;
originally announced March 2023.
-
Implication in sharply paraorthomodular and relatively paraorthomodular posets
Authors:
Ivan Chajda,
Davide Fazio,
Helmut Länger,
Antonio Ledda,
Jan Paseka
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
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 realm of Kleene lattices.
△ Less
Submitted 23 January, 2023;
originally announced January 2023.
-
The logic with unsharp implication and negation
Authors:
Ivan Chajda,
Helmut Länger
Abstract:
It is well-known that intuitionistic logics can be formalized by means of Brouwerian semilattices, i.e. relatively pseudocomplemented semilattices. Then the logical connective implication is considered to be the relative pseudocomplement and conjunction is the semilattice operation meet. If the Brouwerian semilattice has a bottom element 0 then the relative pseudocomplement with respect to 0 is ca…
▽ More
It is well-known that intuitionistic logics can be formalized by means of Brouwerian semilattices, i.e. relatively pseudocomplemented semilattices. Then the logical connective implication is considered to be the relative pseudocomplement and conjunction is the semilattice operation meet. If the Brouwerian semilattice has a bottom element 0 then the relative pseudocomplement with respect to 0 is called the pseudocomplement and it is considered as the connective negation in this logic. Our idea is to consider an arbitrary meet-semilattice with 0 satisfying only the Ascending Chain Condition, which is trivially satisfied in finite semilattices, and introduce the connective negation x^0 as the set of all maximal elements z satisfying x^z=0 and the connective implication x->y as the set of all maximal elements z satisfying x^z\le y. Such a negation and implication is "unsharp" since it assigns to one entry x or to two entries x and y belonging to the semilattice, respectively, a subset instead of an element of the semilattice. Surprisingly, this kind of negation and implication, respectively, still shares a number of properties of these connectives in intuitionistic logic, in particular the derivation rule Modus Ponens. Moreover, unsharp negation and unsharp implication can be characterized by means of five, respectively seven simple axioms. Several examples are presented. The concepts of a deductive system and of a filter are introduced as well as the congruence determined by such a filter. We finally describe certain relationships between these concepts.
△ Less
Submitted 5 January, 2023;
originally announced January 2023.
-
The logic of quantum mechanics incorporating time dimension
Authors:
Ivan Chajda,
Helmut Länger
Abstract:
Similarly as classical propositional calculus is based algebraically on Boolean algebras, the logic of quantum mechanics was based on orthomodular lattices by G. Birkhoff and J. von Neumann and K. Husimi. However, this logic does not incorporate time dimension although it is apparent that the propositions occurring in the logic of quantum mechanics are depending on time. The aim of the present pap…
▽ More
Similarly as classical propositional calculus is based algebraically on Boolean algebras, the logic of quantum mechanics was based on orthomodular lattices by G. Birkhoff and J. von Neumann and K. Husimi. However, this logic does not incorporate time dimension although it is apparent that the propositions occurring in the logic of quantum mechanics are depending on time. The aim of the present paper is to show that so-called tense operators can be introduced also in such a logic for given time set and given time preference relation. In this case we can introduce these operators in a purely algebraic way. We derive several important properties of such operators, in particular we show that they form dynamic pairs and, altogether, a dynamic algebra. We investigate connections of these operators with logical connectives conjunction and implication derived from Sasaki projections. Then we solve the converse problem, namely to find for given time set and given tense operators a time preference relation in order that the resulting time frame induces the given operators. We show that the given operators can be obtained as restrictions of operators induced by a suitable extended time frame.
△ Less
Submitted 15 November, 2022;
originally announced November 2022.
-
Orthomodular and generalized orthomodular posets
Authors:
Ivan Chajda,
Miroslav Kolařík,
Helmut Länger
Abstract:
We prove that the 18-element non-lattice orthomodular poset depicted in the paper is the smallest one and unique up to isomorphism. Since not every Boolean poset is orthomodular, we consider the class of the so-called generalized orthomodular posets introduced by the first and third author in a previous paper. We show that this class contains all Boolean posets and we study its subclass consisting…
▽ More
We prove that the 18-element non-lattice orthomodular poset depicted in the paper is the smallest one and unique up to isomorphism. Since not every Boolean poset is orthomodular, we consider the class of the so-called generalized orthomodular posets introduced by the first and third author in a previous paper. We show that this class contains all Boolean posets and we study its subclass consisting of horizontal sums of Boolean posets. For this purpose we introduce the concept of a compatibility relation and the so-called commutator of two elements. We show the relationship between these concepts and we introduce the notion of a ternary discriminator for these posets. Numerous examples illuminating these concepts and results are included in the paper.
△ Less
Submitted 11 October, 2022;
originally announced October 2022.
-
Tense logic based on finite orthomodular posets
Authors:
Ivan Chajda,
Helmut Länger
Abstract:
It is widely accepted that the logic of quantum mechanics is based on orthomodular posets. However, such a logic is not dynamic in the sense that it does not incorporate time dimension. To fill this gap, we introduce certain tense operators on such a logic in an inexact way, but still satisfying requirements asked on tense operators in the classical logic based on Boolean algebras or in various no…
▽ More
It is widely accepted that the logic of quantum mechanics is based on orthomodular posets. However, such a logic is not dynamic in the sense that it does not incorporate time dimension. To fill this gap, we introduce certain tense operators on such a logic in an inexact way, but still satisfying requirements asked on tense operators in the classical logic based on Boolean algebras or in various non-classical logics. Our construction of tense operators works perfectly when the orthomodular poset in question is finite. We investigate the behaviour of these tense operators, e.g. we show that some of them form a dynamic pair. Moreover, we prove that if the tense operators preserve one of the inexact connectives conjunction or implication as defined by the authors recently in another paper, then they also preserve the other one. Finally, we show how to construct the binary relation of time preference on a given time set provided the tense operators are given, up to equivalence induced by natural quasiorders.
△ Less
Submitted 21 August, 2022;
originally announced August 2022.
-
Implication in weakly and dually weakly orthomodular lattices
Authors:
Ivan Chajda,
Helmut Länger
Abstract:
Weakly orthomodular and dually weakly orthomodular lattices were introduced by the authors in a recent paper. Similarly as for orthomodular lattices we try to introduce an implication in these lattices which can be easily axiomatized and which yields a nice lattice structure. As shown in the paper, this can be realized in several different ways. Moreover, we reveal the connection of weakly and dua…
▽ More
Weakly orthomodular and dually weakly orthomodular lattices were introduced by the authors in a recent paper. Similarly as for orthomodular lattices we try to introduce an implication in these lattices which can be easily axiomatized and which yields a nice lattice structure. As shown in the paper, this can be realized in several different ways. Moreover, we reveal the connection of weakly and dually weakly orthomodular lattices to residuated structures. Moreover, we provide a characterization of these lattices by means of certain generalized measures.
△ Less
Submitted 7 August, 2022;
originally announced August 2022.
-
c-ideals in complemented posets
Authors:
Ivan Chajda,
Miroslav Kolařík,
Helmut Länger
Abstract:
In their recent paper on posets with a pseudocomplementation denoted by * the first and the third author introduced the concept of a *-ideal. This concept is in fact an extension of a similar concept introduced in distributive pseudocomplemented lattices and semilattices by several authors, see References. Now we apply this concept of a c-ideal (dually, c-filter) to complemented posets where the c…
▽ More
In their recent paper on posets with a pseudocomplementation denoted by * the first and the third author introduced the concept of a *-ideal. This concept is in fact an extension of a similar concept introduced in distributive pseudocomplemented lattices and semilattices by several authors, see References. Now we apply this concept of a c-ideal (dually, c-filter) to complemented posets where the complementation need neither be antitone nor an involution, but still satisfies some weak conditions. We show when an ideal or filter in such a poset is a c-ideal or c-filter, respectively, and we prove basic properties of them. Finally, we prove so-called Separation Theorems for c-ideals. The text is illustrated by several examples.
△ Less
Submitted 2 August, 2022;
originally announced August 2022.
-
Operator residuation in orthomodular posets of finite height
Authors:
Ivan Chajda,
Helmut Länger
Abstract:
We show that for every orthomodular poset P of finite height there can be defined two operators forming an adjoint pair with respect to an order-like relation defined on the power set of P. This enables us to introduce the so-called operator residuated poset corresponding to P from which the original orthomodular poset P can be recovered. Moreover, this correspondence is almost one-to-one. We show…
▽ More
We show that for every orthomodular poset P of finite height there can be defined two operators forming an adjoint pair with respect to an order-like relation defined on the power set of P. This enables us to introduce the so-called operator residuated poset corresponding to P from which the original orthomodular poset P can be recovered. Moreover, this correspondence is almost one-to-one. We show that this construction of operators can be applied also to so-called weakly orthomodular and dually weakly orthomodular posets. Examples of such posets are included.
△ Less
Submitted 22 April, 2022;
originally announced April 2022.
-
Remarks on special congruences
Authors:
Ivan Chajda,
Helmut Länger
Abstract:
We study algebras and varieties where every non-trivial congruence has some class being a non-trivial subuniverse of the algebra in question. Then we focus on algebras where this non-trivial class is a unique non-singleton class of the congruence. In particular, we investigate Rees algebras, quasi-Rees algebras and algebras having the one-block-property. We also present results concerning these pr…
▽ More
We study algebras and varieties where every non-trivial congruence has some class being a non-trivial subuniverse of the algebra in question. Then we focus on algebras where this non-trivial class is a unique non-singleton class of the congruence. In particular, we investigate Rees algebras, quasi-Rees algebras and algebras having the one-block-property. We also present results concerning these properties on quotient algebras. Several examples of such algebras and varieties are included.
△ Less
Submitted 29 March, 2022;
originally announced March 2022.
-
Filters and ideals in pseudocomplemented posets
Authors:
Ivan Chajda,
Helmut Länger
Abstract:
We study ideals and filters of posets and of pseudocomplemented posets and show a version of the Separation Theorem, known for ideals and filters in lattices and semilattices, within this general setting. We extend the concept of a *-ideal already introduced by Rao for pseudocomplemented distributive lattices and by Talukder, Chakraborty and Begum for pseudocomplemented semilattices to pseudocompl…
▽ More
We study ideals and filters of posets and of pseudocomplemented posets and show a version of the Separation Theorem, known for ideals and filters in lattices and semilattices, within this general setting. We extend the concept of a *-ideal already introduced by Rao for pseudocomplemented distributive lattices and by Talukder, Chakraborty and Begum for pseudocomplemented semilattices to pseudocomplemented posets. We derive several important properties of such ideals. Especially, we explain connections between prime filters, ultrafilters, filters satisfying the *-condition and dense elements. Finally, we prove a Separation Theorem for *-ideals.
△ Less
Submitted 7 February, 2022;
originally announced February 2022.
-
Extensions and congruences of partial lattices
Authors:
Ivan Chajda,
Helmut Länger
Abstract:
For a partial lattice L the so-called two-point extension is defined in order to extend L to a lattice. We are motivated by the fact that the one-point extension broadly used for partial algebras does not work in this case, i.e. the one-point extension of a partial lattice need not be a lattice. We describe these two-point extensions and prove several properties of them. We introduce the concept o…
▽ More
For a partial lattice L the so-called two-point extension is defined in order to extend L to a lattice. We are motivated by the fact that the one-point extension broadly used for partial algebras does not work in this case, i.e. the one-point extension of a partial lattice need not be a lattice. We describe these two-point extensions and prove several properties of them. We introduce the concept of a congruence on a partial lattice and show its relationship to the notion of a homomorphism and its connections with congruences on the corresponding two-point extension. In particular we prove that the quotient L/E of a partial lattice L by a congruence E on L is again a partial lattice and that the two-point extension of L/E is isomorphic to the quotient lattice of the two-point extension L* of L by the congruence on L* generated by E. Several illustrative examples are enclosed.
△ Less
Submitted 16 January, 2022;
originally announced January 2022.
-
Tolerances on posets
Authors:
Ivan Chajda,
Helmut Länger
Abstract:
The concept of a tolerance relation, shortly called tolerance, was studied on various algebras since the seventieth of the twentieth century by B. Zelinka and the first author. Since tolerances need not be transitive, their blocks may overlap and hence in general the set of all blocks of a tolerance cannot be converted into a quotient algebra in the same way as in the case of congruences. However,…
▽ More
The concept of a tolerance relation, shortly called tolerance, was studied on various algebras since the seventieth of the twentieth century by B. Zelinka and the first author. Since tolerances need not be transitive, their blocks may overlap and hence in general the set of all blocks of a tolerance cannot be converted into a quotient algebra in the same way as in the case of congruences. However, G. Czédli showed that lattices can be factorized by means of tolerances in a natural way, and J. Grygiel and S. Radelecki proved some variant of an Isomorphism Theorem for tolerances on lattices. The aim of the present paper is to extend the concept of a tolerance on a lattice to posets in such a way that results similar to those obtained for tolerances on lattices can be derived.
△ Less
Submitted 10 December, 2021;
originally announced December 2021.
-
Representability of Kleene posets and Kleene lattices
Authors:
Ivan Chajda,
Helmut Länger,
Jan Paseka
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
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 of this lattice or poset by using the so-called twist product construction, respectively. We extend this construction of Kleene lattices and Kleene posets by considering a fixed subset instead of a fixed element.
Moreover, we show that in some cases, this generating poset can be embedded into the resulting Kleene poset. We investigate the question when a Kleene poset can be represented by a Kleene poset obtained by the mentioned construction. We show that a direct product of representable Kleene posets is again representable and hence a direct product of finite chains is representable. This does not hold in general for subdirect products, but we show some examples where it holds. We present large classes of representable and non-representable Kleene posets. Finally, we investigate two kinds of extensions of a distributive poset A, namely its Dedekind-MacNeille completion DM(A) and a completion G(A) which coincides with DM(A) provided A is finite. In particular we prove that if A is a Kleene poset then its extension G(A) is also a Kleene lattice. If the subset X of principal order ideals of A is involutionclosed and doubly dense in G(A) then it generates G(A) and it is isomorphic to A itself.
△ Less
Submitted 15 December, 2022; v1 submitted 21 November, 2021;
originally announced November 2021.
-
Compositions and decompositions of binary relations
Authors:
Ivan Chajda,
Helmut Länger
Abstract:
It is well-known that to every binary relation on a non-void set I there can be assigned its incidence matrix, also in the case when I is infinite. We show that a certain kind of "multiplication" of such incidence matrices corresponds to the composition of the corresponding relations. Using this fact we investigate the solvability of the equation R o X = S for given binary relations R and S on I a…
▽ More
It is well-known that to every binary relation on a non-void set I there can be assigned its incidence matrix, also in the case when I is infinite. We show that a certain kind of "multiplication" of such incidence matrices corresponds to the composition of the corresponding relations. Using this fact we investigate the solvability of the equation R o X = S for given binary relations R and S on I and derive an algorithm for solving this equation by using the connections between the corresponding incidence matrices. Moreover, we describe how one can obtain the incidence matrix of a product of binary relations from the incidence matrices of its factors.
△ Less
Submitted 11 November, 2021;
originally announced November 2021.
-
Constructions of Kleene lattices
Authors:
Ivan Chajda,
Helmut Laenger,
Jan Paseka
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
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 demonstrate that certain Kleene lattices that are ordinal sums of distributive lattices are representable. Finally, we prove that not every Kleene lattice is representable.
△ Less
Submitted 31 October, 2021;
originally announced November 2021.
-
Integration in semirings
Authors:
Ivan Chajda,
Helmut Länger
Abstract:
The concept of integral as an inverse to that of derivation was already introduced for rings and recently also for lattices. Since semirings generalize both rings and bounded distributive lattices, it is natural to investigate integration in semirings. This is our aim in the present paper. We show properties of such integrals from the point of view of semiring operations. Examples of semirings wit…
▽ More
The concept of integral as an inverse to that of derivation was already introduced for rings and recently also for lattices. Since semirings generalize both rings and bounded distributive lattices, it is natural to investigate integration in semirings. This is our aim in the present paper. We show properties of such integrals from the point of view of semiring operations. Examples of semirings with derivation where integrals are introduced are presented in the paper. These illuminate rather specific properties of such integrals. We show when the set of all integrals on a given semiring forms a semiring again.
△ Less
Submitted 1 October, 2021;
originally announced October 2021.
-
Implication in finite posets with pseudocomplemented sections
Authors:
Ivan Chajda,
Helmut Länger
Abstract:
It is well-known that relatively pseudocomplemented lattices can serve as an algebraic semantics of intuitionistic logic. To extend the concept of relative pseudocomplementation to non-distributive lattices, the first author introduced so-called sectionally pseudocomplemented lattices, i.e. lattices with top element 1 where for every element y the interval [y,1], the so called section, is pseudoco…
▽ More
It is well-known that relatively pseudocomplemented lattices can serve as an algebraic semantics of intuitionistic logic. To extend the concept of relative pseudocomplementation to non-distributive lattices, the first author introduced so-called sectionally pseudocomplemented lattices, i.e. lattices with top element 1 where for every element y the interval [y,1], the so called section, is pseudocomplemented. We extend this concept to posets with top element. Our goal is to show that such a poset can be considered as an algebraic semantics for a certain kind of more general intuitionistic logic provided an implication is introduced as shown in the paper. We prove some properties of such an implication. This implication is "unsharp" in the sense that the value for given entries need not be a unique element, but may be a subset of the poset in question. On the other hand, all of these values are as high as possible. We show that this implication even determines the poset and if a new operator \odot is introduced in an "unsharp" way, such structure forms an "unsharply" residuated poset.
△ Less
Submitted 21 August, 2021;
originally announced August 2021.
-
Conditions forcing the existence of relative complements in lattices and posets
Authors:
Ivan Chajda,
Helmut Länger
Abstract:
It is elementary and well-known that if an element x of a bounded modular lattice L has a complement in L then x has a relative complement in every interval [a,b] containing x. We show that the relatively strong assumption of modularity of L can be replaced by a weaker one formulated in the language of so-called modular triples. We further show that, in general, we need not suppose that x has a co…
▽ More
It is elementary and well-known that if an element x of a bounded modular lattice L has a complement in L then x has a relative complement in every interval [a,b] containing x. We show that the relatively strong assumption of modularity of L can be replaced by a weaker one formulated in the language of so-called modular triples. We further show that, in general, we need not suppose that x has a complement in L. By introducing the concept of modular triples in posets, we extend our results obtained for lattices to posets. It should be remarked that the notion of a complement can be introduced also in posets that are not bounded.
△ Less
Submitted 5 July, 2021;
originally announced July 2021.
-
An algebraic analysis of implication in non-distributive logics
Authors:
Ivan Chajda,
Kadir Emir,
Davide Fazio,
Helmut Länger,
Antonio Ledda,
Jan Paseka
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
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 similar role for (strongly) sectionally pseudocomplemented posets as Hilbert algebras do for relatively pseudocomplemented ones. We will discuss basic properties of closed, dense, and weakly dense elements of skew Hilbert algebras, their applications, and we will provide some basic results on their structure theory.
△ Less
Submitted 18 May, 2021;
originally announced May 2021.
-
Join-semilattices whose principal filters are pseudocomplemented lattices
Authors:
Ivan Chajda,
Helmut Länger
Abstract:
This paper deals with join-semilattices whose sections, i.e. principal filters, are pseudocomplemented lattices. The pseudocomplement of a\vee b in the section [b,1] is denoted by a\rightarrow b and can be considered as the connective implication in a certain kind of intuitionistic logic. Contrary to the case of Brouwerian semilattices, sections need not be distributive lattices. This essentially…
▽ More
This paper deals with join-semilattices whose sections, i.e. principal filters, are pseudocomplemented lattices. The pseudocomplement of a\vee b in the section [b,1] is denoted by a\rightarrow b and can be considered as the connective implication in a certain kind of intuitionistic logic. Contrary to the case of Brouwerian semilattices, sections need not be distributive lattices. This essentially allows possible applications in non-classical logics. We present a connection of the semilattices mentioned in the beginning with so-called non-classical implication semilattices which can be converted into I-algebras having everywhere defined operations. Moreover, we relate our structures to sectionally and relatively residuated semilattices which means that our logical structures are closely connected with substructural logics. We show that I-algebras form a congruence distributive, 3-permutable and weakly regular variety.
△ Less
Submitted 15 May, 2021;
originally announced May 2021.
-
Algebras describing pseudocomplemented, relatively pseudocomplemented and sectionally pseudocomplemented posets
Authors:
Ivan Chajda,
Helmut Länger
Abstract:
In order to be able to use methods of Universal Algebra for investigating posets, we assign to every pseudocomplemented poset, to every relatively pseudocomplemented poset and to every sectionally pseudocomplemented poset a certain algebra (based on a commutative directoid or on a lambda-lattice) which satisfies certain identities and implications. We show that the assigned algebras fully characte…
▽ More
In order to be able to use methods of Universal Algebra for investigating posets, we assign to every pseudocomplemented poset, to every relatively pseudocomplemented poset and to every sectionally pseudocomplemented poset a certain algebra (based on a commutative directoid or on a lambda-lattice) which satisfies certain identities and implications. We show that the assigned algebras fully characterize the given corresponding posets. It turns out that the assigned algebras satisfy strong congruence properties which can be transferred back to the posets. We also mention applications of such posets in certain non-classical logics.
△ Less
Submitted 23 March, 2021;
originally announced March 2021.
-
Monotone and cone preserving mappings on posets
Authors:
Ivan Chajda,
Helmut Länger
Abstract:
We define several sorts of mappings on a poset like monotone, strictly monotone, upper cone preserving and variants of these. Our aim is to characterize posets in which some of these mappings coincide. We define special mappings determined by two elements and investigate when these are strictly monotone or upper cone preserving. If the considered poset is a semilattice then its monotone mappings c…
▽ More
We define several sorts of mappings on a poset like monotone, strictly monotone, upper cone preserving and variants of these. Our aim is to characterize posets in which some of these mappings coincide. We define special mappings determined by two elements and investigate when these are strictly monotone or upper cone preserving. If the considered poset is a semilattice then its monotone mappings coincide with semilattice homomorphisms if and only if the poset is a chain. Similarly, we study posets which need not be semilattices but whose upper cones have a minimal element. We extend this investigation to posets that are direct products of chains or an ordinal sum of an antichain and a finite chain. We characterize equivalence relations induced by strongly monotone mappings and show that the quotient set of a poset by such an equivalence relation is a poset again.
△ Less
Submitted 25 February, 2021;
originally announced February 2021.
-
Sheffer operation in relational systems
Authors:
Ivan Chajda,
Helmut Länger
Abstract:
The concept of a Sheffer operation known for Boolean algebras and orthomodular lattices is extended to arbitrary directed relational systems with involution. It is proved that to every such relational system there can be assigned a Sheffer groupoid and also, conversely, every Sheffer groupoid induces a directed relational system with involution. Hence, investigations of these relational systems ca…
▽ More
The concept of a Sheffer operation known for Boolean algebras and orthomodular lattices is extended to arbitrary directed relational systems with involution. It is proved that to every such relational system there can be assigned a Sheffer groupoid and also, conversely, every Sheffer groupoid induces a directed relational system with involution. Hence, investigations of these relational systems can be transformed to the treaty of special groupoids which form a variety of algebras. If the Sheffer operation is also commutative then the induced binary relation is antisymmetric. Moreover, commutative Sheffer groupoids form a congruence distributive variety. We characterize symmertry, antisymmetry and treansitivity of binary relations by identities and quasi-identities satisfied by an assigned Sheffer operation. The concepts of twist-products of relational systems and of Kleene relational systems are introduced. We prove that every directed relational system can be embedded into a directed relational system with involution via the twist-product construction. If the relation in question is even transitive, then the directed relational system can be embedded into a Kleene relational system. Any Sheffer operation assigned to a directed relational system A with involution induces a Sheffer operation assigned to the twist-product of A.
△ Less
Submitted 28 January, 2021;
originally announced January 2021.
-
Adjoint operations in twist-products of lattices
Authors:
Ivan Chajda,
Helmut Länger
Abstract:
Given an integral commutative residuated lattice L=(L,\vee,\wedge), its full twist-product (L^2,\sqcup,\sqcap) can be endowed with two binary operations \odot and \Rightarrow introduced formerly by M. Busaniche and R. Cignoli as well as by C. Tsinakis and A. M. Wille such that it becomes a commutative residuated lattice. For every a in L we define a certain subset P_a(L) of L^2. We characterize wh…
▽ More
Given an integral commutative residuated lattice L=(L,\vee,\wedge), its full twist-product (L^2,\sqcup,\sqcap) can be endowed with two binary operations \odot and \Rightarrow introduced formerly by M. Busaniche and R. Cignoli as well as by C. Tsinakis and A. M. Wille such that it becomes a commutative residuated lattice. For every a in L we define a certain subset P_a(L) of L^2. We characterize when P_a(L) is a sublattice of the full twist-product (L^2,\sqcup,\sqcap). In this case P_a(L) together with some natural antitone involution ' becomes a pseudo-Kleene lattice. If L is distributive then (P_a(L),\sqcup,\sqcap,') becomes a Kleene lattice. We present sufficient conditions for P_a(L) being a subalgebra of (L^2,\sqcup,\sqcap,\odot,\Rightarrow) and thus for \odot and \Rightarrow being a pair of adjoint operations on P_a(L). Finally, we introduce another pair \odot and \Rightarrow of adjoint operations on the full twist-product of a bounded commutative residuated lattice such that the resulting algebra is a bounded commutative residuated lattice satisfying the double negation law and we investigate when P_a(L) is closed under these new operations \odot and \Rightarrow.
△ Less
Submitted 3 January, 2021;
originally announced January 2021.
-
Residuation in twist products and pseudo-Kleene posets Abstract
Authors:
Ivan Chajda,
Helmut Länger
Abstract:
M. Busaniche, R. Cignoli, C. Tsinakis and A. M. Wille showed that every residuated lattice induces a residuation on its full twist product. For their construction they used also lattice operations. We generalize this problem to left-residuated groupoids which need not be lattice-ordered. Hence, for the full twist product we cannot use the same construction. We present another appropriate construct…
▽ More
M. Busaniche, R. Cignoli, C. Tsinakis and A. M. Wille showed that every residuated lattice induces a residuation on its full twist product. For their construction they used also lattice operations. We generalize this problem to left-residuated groupoids which need not be lattice-ordered. Hence, for the full twist product we cannot use the same construction. We present another appropriate construction which, however, does not preserve commutativity and associativity of multiplication. Hence we introduce so-called operator residuated posets to obtain another construction which preserves the mentioned properties, but the results of operators on the full twist product need not be elements, but may be subsets. We apply this construction also to restricted twist products and present necessary and sufficient conditions under which we obtain a pseudo-Kleene operator residuated poset.
△ Less
Submitted 29 November, 2020;
originally announced November 2020.
-
Algebraic properties of paraorthomodular posets
Authors:
Ivan Chajda,
Davide Fazio,
Helmut Länger,
Antonio Ledda,
Jan Paseka
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
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 of an algebraic treatment by means of a smooth representation in terms of bounded directoids with antitone involution. On the other, we investigate their order-theoretical features in terms of forbidden configurations. Moreover, sufficient and necessary conditions characterizing bounded posets with an antitone involution whose Dedekind-MacNeille completion is paraorthomodular are provided.
△ Less
Submitted 25 November, 2020;
originally announced November 2020.
-
Logical and algebraic properties of generalized orthomodular posets
Authors:
Ivan Chajda,
Helmut Länger
Abstract:
Generalized orthomodular posets were introduced recently by D. Fazio, A. Ledda and the first author of the present paper in order to establish a useful tool for studying the logic of quantum mechanics. They investigated structural properties of these posets. In the present paper we study logical and algebraic properties of these posets. In particular, we investigate conditions under which they can…
▽ More
Generalized orthomodular posets were introduced recently by D. Fazio, A. Ledda and the first author of the present paper in order to establish a useful tool for studying the logic of quantum mechanics. They investigated structural properties of these posets. In the present paper we study logical and algebraic properties of these posets. In particular, we investigate conditions under which they can be converted into operator residuated structures. Further, we study their representation by means of algebras (directoids) with everywhere defined operations. We prove congruence properties for the class of algebras assigned to generalized orthomodular posets and, in particular, for a subvariety of this class determined by a simple identity. Finally, in contrast to the fact that the Dedekind-MacNeille completion of an orthomodular poset need not be an orthomodular lattice we show that the Dedekind-MacNeille completion of a stronger version of a generalized orthomodular poset is nearly an orthomodular lattice.
△ Less
Submitted 10 September, 2020;
originally announced September 2020.
-
Filters and congruences in sectionally pseudocomplemented lattices and posets
Authors:
Ivan Chajda,
Helmut Länger
Abstract:
In our previous papers, together with J. Paseka we introduced so-called sectionally pseudocomplemented lattices and posets and illuminated their role in algebraic constructions. We believe that - similar to relatively pseudocomplemented lattices - these structures can serve as an algebraic semantics of certain intuitionistic logics. The aim of the present paper is to define congruences and filters…
▽ More
In our previous papers, together with J. Paseka we introduced so-called sectionally pseudocomplemented lattices and posets and illuminated their role in algebraic constructions. We believe that - similar to relatively pseudocomplemented lattices - these structures can serve as an algebraic semantics of certain intuitionistic logics. The aim of the present paper is to define congruences and filters in these structures, derive mutual relationships between them and describe basic properties of congruences in strongly sectionally pseudocomplemented posets. For the description of filters both in sectionally pseudocomplemented lattices and posets, we use the tools introduced by A. Ursini, i.e. ideal terms and the closedness with respect to them. It seems to be of some interest that a similar machinery can be applied also for strongly sectionally pseudocomplemented posets in spite of the fact that the corresponding ideal terms are not everywhere defined.
△ Less
Submitted 26 July, 2020;
originally announced July 2020.
-
Consistent posets
Authors:
Ivan Chajda,
Helmut Länger
Abstract:
We introduce so-called consistent posets which are bounded posets with an antitone involution ' where the lower cones of x,x' and of y,y' coincide provided x,y are different form 0,1 and, moreover, if x,y are different form 0 then their lower cone is different form 0, too. We show that these posets can be represented by means of commutative meet-directoids with an antitone involution satisfying ce…
▽ More
We introduce so-called consistent posets which are bounded posets with an antitone involution ' where the lower cones of x,x' and of y,y' coincide provided x,y are different form 0,1 and, moreover, if x,y are different form 0 then their lower cone is different form 0, too. We show that these posets can be represented by means of commutative meet-directoids with an antitone involution satisfying certain identities and implications. In the case of a finite distributive or strongly modular consistent poset, this poset can be converted into a residuated structure and hence it can serve as an algebraic semantics of a certain non-classical logic with unsharp conjunction and implication. Finally we show that the Dedekind-MacNeille completion of a consistent poset is a consistent lattice, i.e. a bounded lattice with an antitone involution satisfying the above mentioned properties.
△ Less
Submitted 26 June, 2020;
originally announced June 2020.
-
Kleene posets and pseudo-Kleene posets
Authors:
Ivan Chajda,
Helmut Länger
Abstract:
The concept of a Kleene algebra (sometimes also called Kleene lattice) was already generalized by the first author for non-distributive lattices under the name pseudo-Kleene algebra. We extend these concepts to posets and show how (pseudo-)Kleene posets can be characterized by identities and implications of assigned commutative meet-directoids. Moreover, we prove that the Dedekind-MacNeille comple…
▽ More
The concept of a Kleene algebra (sometimes also called Kleene lattice) was already generalized by the first author for non-distributive lattices under the name pseudo-Kleene algebra. We extend these concepts to posets and show how (pseudo-)Kleene posets can be characterized by identities and implications of assigned commutative meet-directoids. Moreover, we prove that the Dedekind-MacNeille completion of a pseudo-Kleene poset is a pseudo-Kleene algebra and that the Dedekind-MacNeille completion of a finite Kleene poset is a Kleene algebra. Further, we introduce the concept of a strict (pseudo-)Kleene poset and show that under an additional assumption a strict Kleene poset can be organized into a residuated structure. Finally, we prove by using the so-called twist construction that every poset can be embedded into a pseudo-Kleene poset in some natural way.
△ Less
Submitted 8 June, 2020;
originally announced June 2020.
-
Extensions of posets with an antitone involution to residuated structures
Authors:
Ivan Chajda,
Miroslav Kolařík,
Helmut Länger
Abstract:
We prove that every not necessarily bounded poset P=(P,\le,') with an antitone involution can be extended to a residuated poset E(P)=(E(P),\le,\odot,\rightarrow,1) where x'=x\rightarrow0 for all x\in P. If P is a lattice with an antitone involution then E(P) is a lattice, too. We show that a poset can be extended to a residuated poset by means of a finite chain and that a Boolean algebra (B,\vee,\…
▽ More
We prove that every not necessarily bounded poset P=(P,\le,') with an antitone involution can be extended to a residuated poset E(P)=(E(P),\le,\odot,\rightarrow,1) where x'=x\rightarrow0 for all x\in P. If P is a lattice with an antitone involution then E(P) is a lattice, too. We show that a poset can be extended to a residuated poset by means of a finite chain and that a Boolean algebra (B,\vee,\wedge,',p,q) can be extended to a residuated lattice (Q,\vee,\wedge,\odot,\rightarrow,1) by means of a finite chain in such a way that x\odot y=x\wedge y and x\rightarrow y=x'\vee y for all x,y\in B.
△ Less
Submitted 29 April, 2020;
originally announced April 2020.
-
Sublattices and $Δ$-blocks of orthomodular posets
Authors:
Ivan Chajda,
Helmut Länger
Abstract:
For orthoposets we introduce a binary relation Delta and a binary operator d(x,y) which are generalizations of the binary relation C and the commutator c(x,y), respectively, known for orthomodular lattices. We characterize orthomodular posets among orthoposets and orthogonal posets. Moreover, we describe connections between the relations Delta and \leftrightarrow and the operator d(x,y). In detail…
▽ More
For orthoposets we introduce a binary relation Delta and a binary operator d(x,y) which are generalizations of the binary relation C and the commutator c(x,y), respectively, known for orthomodular lattices. We characterize orthomodular posets among orthoposets and orthogonal posets. Moreover, we describe connections between the relations Delta and \leftrightarrow and the operator d(x,y). In details we investigate certain orthomodular posets of subsets of a finite set. In particular we describe maximal orthomodular sublattices and Boolean subalgebras of such orthomodular posets. Finally, we study properties of Delta-blocks with respect to Boolean sublattices and distributive subposets they include.
△ Less
Submitted 4 April, 2020;
originally announced April 2020.
-
The logic of orthomodular posets of finite height
Authors:
Ivan Chajda,
Helmut Länger
Abstract:
Orthomodular posets form an algebraic formalization of the logic of quantum mechanics. The question is how to introduce the connective implication in such a logic. We show that this is possible when the orthomodular poset in question is of finite height. The main point is that the corresponding algebra, called implication orthomodular poset, i.e. a poset equipped with a binary operator of implicat…
▽ More
Orthomodular posets form an algebraic formalization of the logic of quantum mechanics. The question is how to introduce the connective implication in such a logic. We show that this is possible when the orthomodular poset in question is of finite height. The main point is that the corresponding algebra, called implication orthomodular poset, i.e. a poset equipped with a binary operator of implication, corresponds to the original orthomodular poset and this operator is everywhere defined. We present here the complete list of axioms for implication orthomodular posets. This enables us to derive an axiomatization in Gentzen style for the algebraizable logic of orthomodular posets of finite height.
△ Less
Submitted 10 March, 2020;
originally announced March 2020.
-
Orthogonality and complementation in the lattice of subspaces of a finite-dimensional vector space over a finite field
Authors:
Ivan Chajda,
Helmut Länger
Abstract:
We investigate the lattice L(V) of subspaces of an m-dimensional vector space V over a finite field GF(q) with q being the n-th power of a prime p. It is well-known that this lattice is modular and that orthogonality is an antitone involution. The lattice L(V) satisfies the Chain condition and we determine the number of covers of its elements, especially the number of its atoms. We characterize wh…
▽ More
We investigate the lattice L(V) of subspaces of an m-dimensional vector space V over a finite field GF(q) with q being the n-th power of a prime p. It is well-known that this lattice is modular and that orthogonality is an antitone involution. The lattice L(V) satisfies the Chain condition and we determine the number of covers of its elements, especially the number of its atoms. We characterize when orthogonality is a complementation and hence when L(V) is orthomodular. For m > 1 and m not divisible by p we show that L(V) contains a certain (non-Boolean) orthomodular lattice as a subposet. Finally, for q being a prime and m = 2 we characterize orthomodularity of L(V) by a simple condition.
△ Less
Submitted 2 February, 2020;
originally announced February 2020.
-
The logic induced by effect algebras
Authors:
Ivan Chajda,
Radomír Halaš,
Helmut Länger
Abstract:
Effect algebras form an algebraic formalization of the logic of quantum mechanics. For lattice effect algebras E we investigate a natural implication and prove that the implication reduct of E is term equivalent to E. Then we present a simple axiom system in Gentzen style in order to axiomatize the logic induced by lattice effect algebras. For effect algebras which need not be lattice-ordered we i…
▽ More
Effect algebras form an algebraic formalization of the logic of quantum mechanics. For lattice effect algebras E we investigate a natural implication and prove that the implication reduct of E is term equivalent to E. Then we present a simple axiom system in Gentzen style in order to axiomatize the logic induced by lattice effect algebras. For effect algebras which need not be lattice-ordered we introduce a certain kind of implication which is everywhere defined but whose result need not be a single element. Then we study effect implication algebras and prove the correspondence between these algebras and effect algebras satisfying the Ascending Chain Condition. We present an axiom system in Gentzen style also for not necessarily lattice-ordered effect algebras and prove that it is an algebraic semantics for the logic induced by finite effect algebras.
△ Less
Submitted 18 January, 2020;
originally announced January 2020.
-
Varieties corresponding to classes of complemented posets
Authors:
Ivan Chajda,
Miroslav Kolařík,
Helmut Länger
Abstract:
As algebraic semantics of the logic of quantum mechanics there are usually used orthomodular posets, i.e. bounded posets with a complementation which is an antitone involution and where the join of orthogonal elements exists and the orthomodular law is satisfied. When we omit the condition that the complementation is an antitone involution, then we obtain skew-orthomodular posets. To each such pos…
▽ More
As algebraic semantics of the logic of quantum mechanics there are usually used orthomodular posets, i.e. bounded posets with a complementation which is an antitone involution and where the join of orthogonal elements exists and the orthomodular law is satisfied. When we omit the condition that the complementation is an antitone involution, then we obtain skew-orthomodular posets. To each such poset we can assign a bounded lambda-lattice in a non-unique way. Bounded lambda-lattices are lattice-like algebras whose operations are not necessarily associative. We prove that any of the following properties for bounded posets with a unary operation can be characterized by certain identities of an arbitrary assigned lambda-lattice: complementarity, orthogonality, almost skew-orthomodularity and skew-orthomodularity. It is shown that these identities are independent. Finally, we show that the variety of skew-orthomodular lambda-lattices is congruence permutable as well as congruence regular.
△ Less
Submitted 12 November, 2019;
originally announced November 2019.
-
Residuation in finite posets
Authors:
Ivan Chajda,
Helmut Länger
Abstract:
When an algebraic logic based on a poset instead of a lattice is investigated then there is a natural problem how to introduce the connective implication to be everywhere defined and satisfying (left) adjointness with the connective conjunction. We have already studied this problem for the logic of quantum mechanics which is based on an orthomodular poset or the logic of quantum effects based on a…
▽ More
When an algebraic logic based on a poset instead of a lattice is investigated then there is a natural problem how to introduce the connective implication to be everywhere defined and satisfying (left) adjointness with the connective conjunction. We have already studied this problem for the logic of quantum mechanics which is based on an orthomodular poset or the logic of quantum effects based on a so-called effect algebra which is only partial and need not be lattice-ordered. For this, we introduced the so-called operator residuation where the values of implication and conjunction need not be elements of the underlying poset, but only certain subsets of it. However, this approach can be generalized for posets satisfying more general conditions. If these posets are even finite, we can focus on maximal or minimal elements of the corresponding subsets and the formulas for the mentioned operators can be essentially simplified. This is shown in the present paper where all theorems are explained by corresponding examples.
△ Less
Submitted 20 October, 2019;
originally announced October 2019.
-
Semimodular $λ$-lattices
Authors:
Ivan Chajda,
Helmut Länger
Abstract:
The concept of a $λ$-lattice was introduced by V. Sná\v sel in order to generalize some lattice concepts for directed posets whose elements need not have suprema or infima. We extend the concept of semimodularity from lattices to $λ$-lattices and show connections to the lower covering condition and its generalizations. We further show that, contrary to the case of lattices, for $λ$-lattices semimo…
▽ More
The concept of a $λ$-lattice was introduced by V. Sná\v sel in order to generalize some lattice concepts for directed posets whose elements need not have suprema or infima. We extend the concept of semimodularity from lattices to $λ$-lattices and show connections to the lower covering condition and its generalizations. We further show that, contrary to the case of lattices, for $λ$-lattices semimodularity and the (weak) lower covering condition are independent properties. However, under some additional conditions semimodularity implies the (weak) lower covering condition. Examples of corresponding $λ$-lattices are presented.
△ Less
Submitted 11 September, 2019;
originally announced September 2019.
-
Properties of the connective implication in effect algebras
Authors:
Ivan Chajda,
Helmut Länger
Abstract:
Effect algebras form a formal algebraic description of the structure of the so-called effects in a Hilbert space which serves as an event-state space for effects in quantum mechanics. This is why effect algebras are considered as logics of quantum mechanics, more precisely as an algebraic semantics of these logics. Because every productive logic is is equipped with a connective implication, we int…
▽ More
Effect algebras form a formal algebraic description of the structure of the so-called effects in a Hilbert space which serves as an event-state space for effects in quantum mechanics. This is why effect algebras are considered as logics of quantum mechanics, more precisely as an algebraic semantics of these logics. Because every productive logic is is equipped with a connective implication, we introduce here such a concept and demonstrate its properties. In particular, we show that this implication is connected with conjunction via a certain "unsharp" residuation which is formulated on the basis of a strict unsharp residuated poset. Though this structure is rather complicated, it can be converted back into an effect algebra and hence it is sound. Further, we study the Modus Ponens rule for this implication by means of so-called deductive systems and finally we study the contraposition law.
△ Less
Submitted 14 August, 2019;
originally announced August 2019.
-
How to introduce the connective implication in orthomodular posets
Authors:
Ivan Chajda,
Helmut Länger
Abstract:
Since orthomodular posets serve as an algebraic axiomatization of the logic of quantum mechanics, it is a natural question how the connective of implication can be defined in this logic. It should be introduced in such a way that it is related with conjunction, i.e. with the partial operation meet, by means of some kind of adjointness. We present here such an implication for which a so-called unsh…
▽ More
Since orthomodular posets serve as an algebraic axiomatization of the logic of quantum mechanics, it is a natural question how the connective of implication can be defined in this logic. It should be introduced in such a way that it is related with conjunction, i.e. with the partial operation meet, by means of some kind of adjointness. We present here such an implication for which a so-called unsharp residuated poset can be constructed. Then this implication is connected with the operation meet by the so-called unsharp adjointness. We prove that also conversely, under some additional assumptions, such an unsharp residuated poset can be converted into an orthomodular poset and that this assignment is nearly one-to-one.
△ Less
Submitted 24 July, 2019;
originally announced July 2019.
-
Semimodules over commutative semirings and modules over unitary commutative rings
Authors:
Ivan Chajda,
Helmut Länger
Abstract:
We study the so-called closed and splitting subsemimodules and submodules of a given semimodule or module, respectively. We describe lattices of subsemimodules and of closed subsemimodules and posets of splitting subsemimodules and submodules. In the case of modules a natural bijective correspondence between these posets and posets of projections is established.
We study the so-called closed and splitting subsemimodules and submodules of a given semimodule or module, respectively. We describe lattices of subsemimodules and of closed subsemimodules and posets of splitting subsemimodules and submodules. In the case of modules a natural bijective correspondence between these posets and posets of projections is established.
△ Less
Submitted 13 July, 2019;
originally announced July 2019.
