Abstract
The aim of the paper is to introduce and describe tense operators in every propositional logic which is axiomatized by means of an algebra whose underlying structure is a bounded poset or even a lattice. We introduce the operators G, H, P and F without regard what propositional connectives the logic includes. For this we use the axiomatization of universal quantifiers as a starting point and we modify these axioms for our reasons. At first, we show that the operators can be recognized as modal operators and we study the pairs (P, G) as the so-called dynamic order pairs. Further, we get constructions of these operators in the corresponding algebra provided a time frame is given. Moreover, we solve the problem of finding a time frame in the case when the tense operators are given. In particular, any tense algebra is representable in its Dedekind-MacNeille completion. Our approach is fully general, we do not relay on the logic under consideration and hence it is applicable in all the up to now known cases.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
It is known that propositional logics, both classic or non-classic, does not incorporate the dimension of time. To obtain a tense logic we enrich the given propositional logic by new unary operators which are usually denoted by G, H, F and P, see e.g. [3, 9, 10] and [5].
It is worth noticing that the operators G and H can be considered as a certain kind of modal operators which were already studied for intuitionistic calculus by Wijesekera [16], in the de Morgan framework by Cattaneo, Ciucci and Dubois [4] and in a general setting by Ewald [12]. For the logic of quantum mechanics (see e.g. [11] for details of the so-called quantum structures), the underlying algebraic structure is e.g. an orthomodular lattice or the so-called effect algebra (see [11, 13]) and the corresponding tense logic was treated in [6, 7, 15], in a bit more general setting also in [1].
The aforementioned operators G, H, F and P are usually called tense operators. They are in certain sense quantifiers which quantify over the time dimension of the logic under consideration. The semantical interpretation of these tense operators G and H is as follows. Consider a pair (T, ≤) where T is a non-void set and ≤ is a partial order on T. Let x ∈ T and f(x) be a formula of a given logical calculus. By the domain of truth-values we will consider a bounded poset, where the value 1 means “true” and the value 0 means “false”. The values sharply between 0 and 1 express to which extent the proposition under consideration is true.
We say that G(f(t))is valid with a value w if for any s ≥ t the formula f(s) is valid with a value at least w. Analogously, H(f(t))is valid with a value w if for any s ≤ t the formula f(s) is valid with a value at least w. Thus the unary operators G and H constitute an algebraic counterpart of the tense operations “it is always going to be the case that” and “it has always been the case that”, respectively. These tense operators were firstly introduced as operators on Boolean algebras (see [3] for a overview).
Analogously, the operators F and P can be considered in a certain sense as existential quantifiers “it will at some time be the case that” and “it has at some time been the case that”. If the logical calculus under consideration has a connective negation (denoted by ′) and if it satisfies the double negation law (i.e. x″ = x for all its propositions x) then we can define P and F by means of G and H as follows:
However, this is not possible e.g. in intuitionistic logic (see e.g. [2, 12]) where x‴ = x′ but x″ need not be equal to x.
Since the tense operators G and H can be considered as universal quantifiers in the aforementioned case, we can try to axiomatize them by means of some of the known axiomatization for universal quantifiers which is as follows:
-
(U1) ∀(1) = 1,
-
(U2) ∀(x) ≤ x,
-
(U3) ∀(x ∧ y) = ∀(x) ∧ ∀(y),
-
(U4) ∀(∀(x)) = ∀(x),
-
(U5) ∀((∀(x))′) = (∀(x))′.
Let us mention that this system of axioms implicitely assumes that the logical calculus in question is ordered (and hence the relation ≤ in (U2) is a partial ordering) with the greatest element 1 and it can be considered as a meet-semilattice (where ∧ in (U3) is the infimum). However, when studying the logic of quantum mechanics via effect algebras, the underlying algebra is an ordered set with the greatest element 1 but it need not have a semilattice or lattice structure, see [11, 13]. Hence, when tense operators were introduced for the corresponding effect algebras in [7] and [15], a bit more modified axioms were used. Moreover, the axiom (U5) yields that ∀(0) = 0 thus we inserted it directly in the first axiom. Due to the fact that the underlying algebra need not be a semilattice, the axiom (U3) can be replaced by a weaker form that ensures monotonicity (which is an easy conclusion of (U3)). i.e.,
It is a remarkable fact that the above mentioned system of axioms (U1)-(U5) does not consider other logical connectives except negation and the connective ∧ (which need not be a conjunction, see [1, 9, 10] or [11] for MV-algebras and their generalizations).
This motivates us to neglect logical connectives of the logic in question. Hence, we will consider an arbitrary propositional logic and we will form a quotient set of classes of equivalent propositions. Then we will assume that these classes (usually considered as propositions) form a bounded ordered set (A; ≤, 0, 1) where 1 denotes the tautology and 0 denotes the contradiction. This quadruple will be called an algebra of the propositional logic. In what follows, we will work only with this algebra of the propositional logic \({\mathcal A}=(A;\leq , 0, 1)\).
The paper is organized as follows. After introducing several necessary algebraic concepts, we introduce tense operators in an arbitrary logic without regard what logical connectives are considered. In Section 3 we get a simple construction of tense operators which uses lattice theoretical properties of the underlying ordered set. In the case when the underlying ordered set is a not a complete lattice, we show how to apply the lattice completion for this construction. In Sections 4 and 5 we solve the problem of a representation of dynamic order algebras and tense algebras. This means that we get a procedure how to construct a corresponding time frame to be in accordance with the construction from Section 3. In particular, in Section 6 we show that any dynamic order or tense algebra is representable in its Dedekind-MacNeille completion.
Let us recall several well-known but useful concepts and results from algebra.
If R is a binary relation on a set A, i.e. R ⊆ A × A, by its converse is meant the relation R op = {(x, y) ∈ A × A ∣ (y, x) ∈ R}.
Let (P 1; ≤), (P 2; ≤) be two ordered sets. By an antitone mapping f : P 1 → P 2 is meant a mapping satisfying x ≤ y implies f(y) ≤ f(x). Analogously, g : P 1 → P 2 is order-preserving (or monotone) if x ≤ y implies g(x) ≤ g(y). A pair (f, g) of order-preserving mappings f : P 1 → P 2 and g : P 2 → P 1 is a Galois connection or an adjunction between P 1 and P 2 provided that
In an adjunction (f, g) the mapping f is called the left adjoint (lower adjoint) and the mapping g is called the right adjoint (upper adjoint). The mapping f is then uniquely determined by the mapping g and vice versa. Note that the pair (f, g) of order-preserving mappings f : P 1 → P 2 and g : P 2 → P 1 is an adjunction if and only if
if and only if
if and only if
A pair (f, g) of mappings f : P 1 → P 2 and g : P 2 → P 1 is an antitone Galois connection between P 1 and P 2 provided that (f, g) is a Galois connection between (P 1; ≤) and (P 2; ≤ op).
A morphism f : P 1 → P 2 of bounded posets is an order, top element and bottom element preserving map. A morphism f : P 1 → P 2 of bounded posets is order reflecting if (f(a) ≤ f(b) if and only if a ≤ b) for all a, b ∈ P 1.
Observation 1
[7] Let P 1, P 2 be bounded posets, T a set and h t : P 1 → P 2, t ∈ T, morphisms of bounded posets. The following conditions are equivalent:
-
(i)
((∀ t ∈ T), h t (a) ≤ h t (b)) ⇒ a ≤ b for any elements a, b ∈ P 1;
-
(ii)
The map \(h:P_{1} \rightarrow {P_{2}^{T}}\) defined by h(a) = (h t (a)) t ∈ T for all a ∈ P 1 is order reflecting.
We then say that {h t : P 1 → P 2 ∣ t ∈ T} is a full set of order preserving maps with respect to P 2. Note that we may in this case identify P 1 with a subposet of \({P_{2}^{T}}\) since h is an order reflecting morphism of bounded posets.
2 The Definition
Consider now an algebra \({\mathcal A}=(A;\leq , 0, 1)\) introduced in the previous section. We can define the dynamic order pair (G, P) on 𝓐 as follows:
Definition 1
A couple (G, P) of partial mappings P, G : A → A is called a dynamic order pair on 𝓐 if the following holds:
-
(P1) G(0) = 0, G(1) = 1, P(0) = 0 and P(1) = 1.
-
(P2) x ≤ y implies G(x) ≤ G(y) whenever G(x), G(y) exist and P(x) ≤ P(y) whenever P(x), P(y) exist.
-
(P3) x ≤ G P(x) if P(x) exists and G P(x) exists, P G(y) ≤ y if G(y) exists and P G(y) exists.
The operator P is called a weak dynamic order operator and the operator G is called a strong dynamic order operator (shortly dynamic order operators). The triple ℬ = (𝓐; G, P) is called a partial dynamic order algebra. If both G and P are total mappings we speak about a dynamic order algebra. We say that a partial dynamic order algebra (𝓐; G, P) is complete if 𝓐 is a complete lattice.
If \((\mathcal {A}_{1};G_{1}, P_{1})\) and \((\mathcal {A}_{2};G_{2}, P_{2})\) are partial dynamic order algebras, then a morphism of partial dynamic order algebras \(f:(\mathcal {A}_{1};G_{1}, P_{1})\rightarrow (\mathcal {A}_{2};G_{2}, P_{2})\) is a morphism of bounded posets such that f(G 1(x)) = G 2(f(x)), for any x ∈ A 1 such that G 1(x) is defined and f(P 1(y)) = P 2(f(y)), for any y ∈ A 1 such that P 1(y) is defined.
We say that a partial map G : A → A is contractive (transitive) if G(x) ≤ x (G(x) ≤ G G(x)) for all x ∈ A such that G(x) is defined (for all x ∈ A such that G(x) and G G(x) are defined). A partial map G that is both contractive and transitive is called a conucleus.
A dynamic order pair (G, P) is called modal if G is a conucleus and we speak about a partial modal algebra. If both G and P are total mappings we speak about a modal algebra.
Remark 1
Let us note that the partial mappings defined only for 0 and 1 by G(0) = P(0) = 0 and G(1) = P(1) = 1 are dynamic order operators on every bounded poset. Hence, every bounded poset can be organized into a partial dynamic order algebra.
Theorem 1
Let 𝓐 be a bounded poset, G, P : A → A mappings. Then the following conditions are equivalent:
-
1.
(𝓐; G, P) is a dynamic order algebra.
-
2.
G is a mapping of A into itself satisfying
-
(D1) G has a left adjoint P.
-
(D2) G(0) = 0 and P(1) = 1.
-
Proof
⇒: Let (A;G, P) be a dynamic order algebra. Assume that x, y ∈ A. Let us check (D1). Then by (P2) P and G are order-preserving and again by (P2) and (P3) P(x) ≤ y implies x ≤ G P(x) ≤ G(y). By (P2) and (P3), x ≤ G(y) implies P(x) ≤ P G(y) ≤ y and (D1) is valid. (D2) follows immediately from (P1).
⇐: Let (D1) be satisfied. Then both G and P are order-preserving mappings so we get (P2). Since G is a right adjoint it preserves arbitrary existing infima. Particularly, \(1=\bigwedge \emptyset \) and hence G(1) = 1. Similarly, since P is a left adjoint that preserves arbitrary suprema and \(0=\bigvee \emptyset \), we obtain P(0) = 0. So we get (P1) by the preceding and (D2). Since (P, G) is an adjunction we obtain (P3). □
Remark 2
The preceding Theorem 2 allows us to work with dynamic order algebras equipped with only one dynamic order operator G satisfying conditions (D1)-(D2).
3 The Construction
In what follows we want to provide a meaningful procedure giving dynamic order operators on every bounded poset which will be in accordance with an intuitive idea of time dependency.
By a frame (see e.g. [10]) is meant a couple (T, R) where T is a non-void set and R is a binary relation on T. Furthermore, we will assume that for all x ∈ T there are y, z ∈ T such that z R x and x R y. The set T is considered to be a time scale, the relation R expresses a relationship “to be before” and “to be after”. Having a bounded poset \(\mathcal {A}=(A;\leq ,0, 1)\) and a non-void set T, we can produce the direct power \(\mathcal {A}^{T}=\left (A^{T};\leq , o,j\right )\) where the relation ≤ is defined and evaluated on p, q ∈ A T componentwise, i.e. p ≤ q if p(t) ≤ q(t) for each t ∈ T. Moreover, o, j are such elements of A T that o(t) = 0 and j(t) = 1 for all t ∈ T.
Theorem 2
Let \(\mathcal {A}=(A;\leq ,{}0, 1)\) be a bounded poset and let (T, R) be a frame. Then for every complete lattice M where A is a subposet of M we can define partial mappings G,P of A T into itself as follows: for all p ∈ A T, G(p) is defined if and only if, for all s ∈ T, \(\bigwedge _{M}\{p(t)\mid s R t\}\in A\) in which case
and for all p ∈ A T, P(p) is defined if and only if, for all s ∈ T, \(\bigvee _{M}\{p(t)\mid t R s\}\in A \) in which case
and partial mappings H, F of A T into itself as follows: for all p ∈ A T, H(p) is defined if and only if, for all s ∈ T, \(\bigwedge _{M}\{p(t)\mid t R s\}\in A\) in which case
and for all p ∈ A T, F(p) is defined if and only if, for all s ∈ T, \(\bigvee _{M}\{p(t)\mid s R t\}\in A \) in which case
If this is the case, then G,P,H,F are dynamic order operators on \(\mathcal {A}^{T}\) such that, for all p ∈ A T,
whenever the respective sides of the relation ≤ are defined, i.e., both \(\mathcal {D}=\left (\mathcal {A}^{T};G,P\right )\) and \(\mathcal {E}=\left (\mathcal {A}^{T};H,F\right )\) are partial dynamic order algebras. Moreover, the following holds:
-
(a)
If R is reflexive then G and H are contractive.
-
(b)
If R is transitive then G and H are transitive.
-
(c)
If R is both reflexive and transitive then both \(\mathcal {D}=(\mathcal {A}^{T};G,P)\) and \(\mathcal {E}=\left (\mathcal {A}^{T};H,F\right )\) are partial modal algebras.
Proof
Before going to the proof note that operators H and F were defined in the exactly same manner as operators G and P, the only distinction is the fact that for operators G and P we used the time frame (T, R) and for operators H and F we used the time frame (T, R op). This observation will be used very often in this and other proofs.
Trivially we can verify G(o) = o, G(j) = j and P(o) = o, P(j) = j due to the fact that o(t) = 0 and j(t) = 1 for each t ∈ T; thus (P1) holds. Let us check (P2). Assume that G(p), G(q) exist and that p ≤ q. Then, for all t ∈ T, p(t) ≤ q(t). This yields that \(G(p)(s) = \bigwedge _{M}\{p(t)\mid s R t\}\leq \bigwedge _{M}\{q(t)\mid s R t\}=G(q)(s)\) for all s ∈ T. Therefore G(p) ≤ G(q). Similarly, P(p) ≤ P(q) whenever P(p), P(q) exist and p ≤ q.
It remains to prove (P3). Assume that P(p) and G P(p) exist. We have, for all p ∈ A T and all t ∈ T,
and, for all p ∈ A T and all s ∈ T,
There are two possibilities. First, the set {u ∈ T∣s R u} is empty. In this case we get that \(\bigwedge _{B} \left \{ \bigvee _{B} \left \{p(t)\mid t\in T, t R u\right \}\mid u\in T, s R u\right \}=1\). Second, the set {u ∈ T∣s R u} is non-empty. Since every member of the infimum is greater or equal to p(s), we conclude G P(p)(s) ≥ p(s) for each s ∈ T, i.e., in both cases we obtain p ≤ G P(p). Analogously it can be shown P G(p) ≤ p.
Now, assume that p ∈ A T and both G(p) and F(p) are defined. Let us verify that G(p) ≤ F(p). Let s ∈ T. Then, by the assumption that (T, R) is a frame, there is an element t ∈ T such that s R t. It follows that
An analogous result follows for the operator H.
Let us check (a). Assume that p ∈ A T, s ∈ T and G(p) is defined. Since R is reflexive then from s R s we obtain that \(G(p)(s) = \bigwedge \{p(t) | t \in T, sRt\}\leq p(s)\). Let us proceed similarly for (b). Assume that p ∈ A T and both G(p) and G G(p) are defined. We have, for all s ∈ T,
since {u ∈ T|∃t ∈ T, s R t, t R u} ⊆ {u ∈ T|s R u} by transitivity. An analogous result follows for the operator H. The validity of (c) follows immediately from (a) and (b). □
Remark 3
If the relation R on a non-void set T is a quasiorder, i.e. our frame is (T, ≤) with ≤ reflexive and transitive, then s ≤ t expresses the fact that t “follows” s and s “is before” t. More precisely, P(p) says that p was true in past with at least the same degree as p is in present and G(p) says that p will be true in future with at most the same degree as it is now. Analogously, F(p) can be interpreted as “a case in future of an element p” and H(p) is “a history” of p.
Corollary 1
Let \(\mathcal {M}=(M;\leq ,0,1)\) be a complete lattice and let (T, R) be a frame (a quasiorder). Define mappings \(\widehat {G}, \widehat {P}, \widehat {H}, \widehat {F}\) of M T into itself as follows: For all p ∈ M T,
and
Then \(\widehat {G},\widehat {P}, \widehat {H}, \widehat {F}\) are dynamic order operators on \(\mathcal {M}^{T}\) such that
and both \(\left (\mathcal {M}^{T};\widehat {G},\widehat {P}\right )\) and \(\left (\mathcal {M}^{T};\widehat {H},\widehat {F}\right )\) are dynamic order algebras (modal algebras).
4 Representation of Dynamic Order Algebras
In Theorem 3, we presented a construction of natural dynamic order operators when a bounded poset and a frame are given. However, we can ask, for a given dynamic order algebra \((\mathcal {A};G,P)\), whether there exist a frame (T, R) and a bounded poset \(\mathcal {M}=(M;\leq ,0,1)\) such that the dynamic order operators G, P can be derived by this construction where \(\mathcal {A}\) is embedded into the power algebra \(\mathcal {M}^{T}\). Hence, we ask, if every element p of A is in the form (p(t)) t ∈ T in M T, \(G(p)(s) = \bigwedge _{M}\{p(t)\mid sRt\}\) and \(P(p)(s) = \bigvee _{M}\{p(t)\mid tRs\}\). If such a representation exists then one can recognize the time variability of elements of A expressed as time dependent functions p : T → M.
From Corollary 1 we immediately see that \(\left (\mathcal {M}^{T}; \widehat {G},\widehat {P}\right )\) is automatically a dynamic order algebra.
Proposition 1
Let \({\mathcal A}=(A;\leq , 0,1)\) be a bounded poset equipped with a full set S of morphisms into a complete lattice \({\mathcal L}\), M = L S . Then the map \(i_{\mathcal A}^{S}:A\rightarrow L^{S}\) given by \(i_{\mathcal A}^{S}(x)(s) = s(x)\) for all x ∈ A and all s ∈ S is an order reflecting morphism of bounded posets such that \(i_{\mathcal A}^{S}(A)\) is a sub-poset of \({\mathcal M}={\mathcal L}^{S}\).
Proof
Since S is a full set S of morphisms we have from Observation 1 that \(i_{\mathcal A}^{S}\) is an injective order-reflecting morphism of bounded posets. It follows that \(i_{\mathcal A}^{S}(A)\) is a bounded sub-poset of L S. □
We immediately obtain from Theorem 3 and Proposition 1 the following.
Corollary 2
Let \({\mathcal A}=(A;\leq ,0,1)\) be a bounded poset equipped with a full set S of morphisms into a complete lattice \(\mathcal {L}\) , M = L S and (T,R) be a frame. Define partial mappings G,P of A T into itself as follows: For all p ∈ A T , G(p) is defined if and only if, for all s ∈ T, \(\bigwedge _{M}\{p(t)\mid s R t\}\in A\) in which case
and for all p ∈ A T , P(p) is defined if and only if, for all s ∈ T, \(\bigvee _{M}\{p(t)\mid t R s\}\in A\) in which case
Then G,P are dynamic order operators on \(\mathcal {A}^{T}\) , i.e. \(\mathcal {D}=\left (\mathcal {A}^{T};G,P\right )\) is a partial dynamic order algebra and \({i_{\mathcal {A}}^{S, T}}:\mathcal {A}^{T} \rightarrow \mathcal {M}^{T}\) defined by \({i_{\mathcal {A}}^{S, T}}((x_{t})_{t\in T}) = \left (\left (i_{\mathcal {A}}^{S}(x_{t})\right )_{t\in T}\right )\) is an order reflecting morphism of bounded posets into the complete dynamic order algebra \(\left (\mathcal {M}^{T};\widehat {G},\widehat {P}\right )\) given by Corollary 1.
In the previous section, we carried out the construction of dynamic operators using the given time frame. As announced above, we would like to solve the converse problem, i.e., to find a suitable time frame for given dynamic operators which are given in the dynamic algebra. The aim of the following Lemma is to develop a method using Galois connection (P, G) for a construction of a certain relation, denoted by R G . The resulting relation will be used successfully in the next section for solving the representation problem provided the given poset is equipped with a full set of morphisms.
We start with this construction of R G .
Lemma 1
Let \((\mathcal {A};G,P)\) be a dynamic order algebra and T a set of morphisms from \(\mathcal {A}\) into a bounded poset \(\mathcal {C}\). Let us put R G = {(s, t) ∈ T × T∣(∀x ∈ A)(s(G(x)) ≤ t(x))}. Then (i)-(v) hold:
-
(i)
If G is contractive then R G is reflexive.
-
(ii)
If G is transitive then R G is transitive.
-
(iii)
Let s, s ∘ G ∈ T. Then (s, s ∘ G) ∈ R G and, for all x ∈ A,
$$s(G(x)) = \min\nolimits_{C}\{t(x)\mid s R_{G} t\}. $$ -
(iv)
Let s, s ∘ P ∈ T. Then (s ∘ P, s) ∈ R G and, for all x ∈ A,
$$s(P(x)) = \max\nolimits_{C}\{t(x)\mid t R_{G} s\}. $$ -
(v)
$$R_{G}=\{(s, t)\in T\times T\mid (\forall x\in A) (t(P(x))\geq s(x))\}. $$
Proof
-
(i):
G(x) ≤ x yields s(G(x)) ≤ s(x) for all x ∈ A and all s ∈ T. Hence s R G s.
-
(ii):
Let s, t, u ∈ T, s R G t and t R G u. Let x ∈ A. Then s(G(x)) ≤ s(G G(x)) ≤ t(G(x)) ≤ u(x). Hence s R G u.
-
(iii):
Since, for all x ∈ A, s(G(x)) = (s∘G)(x) we have that (s, s∘G) ∈ R G and clearly, for all x ∈ A, (s∘G)(x) = minC{t(x)∣s R G t}.
-
(iv):
From the definition of a dynamic order algebra we get that s(P G(x)) ≤ s(x) for all x ∈ A. Hence (s∘P, s) ∈ R G . Evidently, for all x ∈ A, t R G s yields t(x) ≤ t(G P(x)) ≤ s(P(x)). It follows that (s∘P)(x) = maxC{t(x)∣t R G s}.
-
(v):
Assume first that (s, t) ∈ R G , x ∈ A. Then s(x) ≤ s(G(P(x))) ≤ t(P(x)). Conversely, let s(x) ≤ t(P(x)) for all x ∈ A. It follows, for any x ∈ A, that s(G(x)) ≤ t(P(G(x))) ≤ t(x), i.e., (s, t) ∈ R G . Hence,
$$R_{G}=\{(s, t)\in T\times T \mid (\forall x\in A) (t(P(x))\geq s(x))\}. $$
□
The relation R G introduced in Lemma 1 will be called the G-induced relation.
Theorem 3
Let \((\mathcal {A};G,P)\) be a dynamic order algebra with a full set T of morphisms into a complete lattice \(\mathcal {L}\) such that
-
1.
for all x ∈ A and for all s ∈ T, \(s(G(x)) = \bigwedge _{L}\{t(x)\mid s R_{G} t\}\),
-
2.
for all x ∈ A and for all s ∈ T, \(s(P(x)) = \bigvee _{L}\{t(x)\mid t R_{G} s\}\).
Then the map \(i_{\mathcal {A}}^{T}\) is an order reflecting morphism of dynamic order algebras into the complete dynamic order algebra \(\left (\mathcal {M};\widehat {G}, \widehat {P}\right )\), M = L T, given by the frame (T, R G ).
Moreover, if G is contractive (transitive) then \(\widehat {G}\) is contractive (transitive) and if \((\mathcal {A};G,P)\) is a modal algebra then \((\mathcal {M};\widehat {G}, \widehat {P})\) is a complete modal algebra.
The dynamic order algebra \((\mathcal {A};G,P)\) is then said to be representable in \(\mathcal {L}\) with respect to T.
Proof
Recall first that since \(\mathcal {L}\) is a complete lattice we have from Corollary 1 that \((M;\widehat {G},\widehat {P})\) is a complete dynamic order algebra. Here \(\widehat {G}(m)(s) = \bigwedge _{L}\{m(t)\mid s R_{G} t\}\) and \(\widehat {P}(m)(s) = \bigvee _{L}\{m(t)\mid t R_{G} s\} \) for all m ∈ M and for all s ∈ T. By Proposition 1, \(i_{\mathcal {A}}^{T}\) is an order reflecting morphisms into \(\mathcal {M}\). Since \(s(G(x)) = \bigwedge _{L}\{t(x)\mid s R_{G} t\}\) we get that \(i_{\mathcal {A}}^{T}(G(x))(s) = \bigwedge _{L}\{t(x)\mid s R_{G} t\}\). Then \(i_{\mathcal {A}}^{T}(G(x)) = \widehat {G}\left (i_{\mathcal {A}}^{T}(x)\right )\). Similarly \(i_{\mathcal {A}}^{T}(P(x)) = \widehat {P}\left (i_{\mathcal {A}}^{T}(x)\right )\).
The remaining part of the theorem follows immediately from Lemma 1 and Theorem 3. Namely, if G is contractive (transitive) then R G is reflexive (transitive) by Lemma 1. Since R G is reflexive (transitive) then \(\widehat {G}\) is contractive (transitive) by Theorem 3. □
Now, let us prove a representation theorem for dynamic order algebras with a full set of morphisms.
Theorem 4
(Representation theorem for dynamic order algebras) For any dynamic order algebra \(\mathcal {B}=(\mathcal {A};G,P)\) with a full set S of morphisms into a complete lattice \(\mathcal {L}\) , there exists a full set T of morphisms into \(\mathcal {L}\) including S such that \(\mathcal {B}\) is representable in \(\mathcal {L}\) with respect to T. In particular, \(i_{\mathcal {A}}^{T}\) is an order reflecting morphism of dynamic order algebras.
Proof
Let \(T=\{s \circ G^{n_{1}} \circ P^{m_{1}} {\dots } \circ G^{n_{k}} \circ P^{m_{k}}\mid s\in S, k, n_{1}, m_{1}, \dots , n_{k}, m_{k}\in {\mathbb N}_{0}\}\). Then T is the smallest set of morphisms into \(\mathcal {L}\) including S such that s ∈ T implies that s∘G, s∘P ∈ T. Since T includes S it is again a full set of morphisms.
It is enough to verify that for all x ∈ A and for all s ∈ T, \(s(G(x)) = \bigwedge _{L}\{t(x)\mid s R_{G} t\}\) and \(s(P(x)) = \bigvee _{L}\{t(x)\mid t R_{G} s\}\) where R G is the G-induced relation. But this follows from Lemma 1. □
5 Representation of Tense Algebras
In this section, we establish representation and approximation results for tense algebras taking into account our results from Section 4.
Definition 2
Let \((\mathcal {A};G,P)\) and \((\mathcal {A};H,F)\) be partial dynamic order algebras such that, for all p ∈ A,
whenever the respective sides of the relation ≤ are defined.
The quintuple \(\mathcal {T}(A) = (\mathcal {A};G,P,H,F)\) is called a partial tense algebra. If all G, P, H, F are total maps we speak about a tense algebra. If \((\mathcal {A};G,P)\) and \((\mathcal {A};H,F)\) are partial modal algebras (modal algebras) then \(\mathcal {T}(A)\) is called a partial tense modal algebra (tense modal algebra).
If \((\mathcal {A}_{1};G_{1}, P_{1}, H_{1}, F_{1})\) and \((\mathcal {A}_{2};G_{2}, P_{2}, H_{2}, F_{2})\) are partial tense algebras and f : A 1 → A 2 is a map such that
-
(i)
\(f:(\mathcal {A}_{1};G_{1}, P_{1})\rightarrow (\mathcal {A}_{2};G_{2}, P_{2})\) is a morphism of partial dynamic order algebras,
-
(ii)
\(f:(\mathcal {A}_{1};H_{1}, F_{1})\rightarrow (\mathcal {A}_{2};H_{2}, F_{2})\) is a morphism of partial dynamic order algebras, then we say that \(f:(\mathcal {A}_{1};G_{1}, P_{1}, H_{1}, F_{1})\rightarrow (\mathcal {A}_{2};G_{2}, P_{2}, H_{2}, F_{2})\) is a morphism of partial tense algebras.
For the formulation of our main results, we need the following lemma.
Lemma 2
Let \(\mathcal {B}=(\mathcal {A};G,P,H,F)\) be a tense algebra and let T be a set of morphisms from \(\mathcal {A}\) into a bounded poset \(\mathcal {C}\) . Let us put
and
where R G is the G-induced relation and R H is the H-induced relation. Then \(R_{G,H}=R_{G}\cap R_{H}^{op}\) , \(R_{H,G}=R_{H}\cap R_{G}^{op}\) , \(R_{G,H}=R_{H,G}^{op}\) and
-
(i)
If G and H are contractive then R G, H and R H, G are reflexive.
-
(ii)
If G and H are transitive then R G, H and R H, G are transitive.
-
(iii)
Let s, s ∘ G ∈ T. Then (s, s ∘ G) ∈ R G, H and, for all x ∈ A,
$$s(G(x)) = \min\nolimits_{C}\{t(x)\mid s R_{G,H} t\}. $$ -
(iv)
Let s, s ∘ P ∈ T. Then (s ∘ P, s) ∈ R G, H and, for all x ∈ A,
$$s(P(x)) = \max\nolimits_{C}\{t(x)\mid t R_{G,H} s\}. $$ -
(v)
Let s, s ∘ H ∈ T. Then (s, s ∘ H) ∈ R H, G and, for all x ∈ A,
$$s(H(x)) = \min\nolimits_{C}\{t(x)\mid s R_{H,G} t\}. $$ -
(vi)
Let s,s∘F ∈ T. Then (s∘F,s) ∈ R H,G and, for all x ∈ A,
$$s(F(x)) = \max\nolimits_{C}\{t(x)\mid t R_{H,G} s\}. $$
Proof
-
(i):
From Lemma 1, (i) we know that R G and R H are reflexive. It follows that R G, H and R H, G are reflexive.
-
(ii):
From Lemma 1, (ii) we know that R G and R H are transitive. We get that R G, H and R H, G are transitive.
-
(iii):
Since, for all x ∈ A, (s∘G)(H(x)) ≤ s(F H(x)) ≤ s(x) we have that \((s, s\circ G)\in R_{H}^{op}\). From Lemma 1, (iii) we obtain that (s, s∘G) ∈ R G , i.e., (s, s∘G) ∈ R G, H . Clearly, for all x ∈ A, (s∘G)(x) = minC{t(x)∣s R G, H t}.
-
(iv):
From the definition of a tense algebra we get that s(H(x)) ≤ s(P(x)) for all x ∈ A. Hence \((s\circ P, s)\in R_{H}^{op}\). From Lemma 1, (iv) we know that (s∘P, s) ∈ R G . It follows that (s∘P, s) ∈ R G, H and, for all x ∈ A, (s∘P)(x) = maxC{t(x)∣t R G, H s}. This follows from the fact that t R G, H s implies t R G s which implies, for all x ∈ A, t(x) ≤ t(G P(x)) ≤ s(P(x)).
-
(v), (vi):
By interchanging the role of G with H and of P with F we get by (iii) and (iv) the statements.
□
In what follows, we show that the full set of morphisms of a given tense algebra into a complete lattice can serve as a time scale which, together with the introduced relation R G, H , already forms a time frame such that the given tense operators can be reached by our construction from Theorem 3.
Theorem 5
Let \(\mathcal {B}=(\mathcal {A};G,P,H,F)\) be a tense algebra with a full set T of morphisms into a complete lattice \(\mathcal {L}\) such that
-
1.
for all x ∈ A and for all s ∈ T, \(s(G(x)) = \bigwedge _{L}\{t(x)\mid s R_{G,H} t\}\),
-
2.
for all x ∈ A and for all s ∈ T, \(s(P(x)) = \bigvee _{L}\{t(x)\mid t R_{G,H} s\}\),
-
3.
for all x ∈ A and for all s ∈ T, \(s(H(x)) = \bigwedge _{L}\{t(x)\mid t R_{G,H} s\}\),
-
4.
for all x ∈ A and for all s ∈ T, \(s(F(x)) = \bigvee _{L}\{t(x)\mid s R_{G,H} t\}\).
Then the map \(i_{\mathcal {A}}^{T}\) is an order reflecting morphism of tense algebras into the complete tense algebra \(\left (\mathcal {M};\widehat {G}, \widehat {P},\widehat {H}, \widehat {F}\right )\), M = L T , given by the frame (T,R G,H ). \(\mathcal {B}=(\mathcal {A};G,P,H,F)\) is then said to be representable in \(\mathcal {L}\) with respect to T.
Moreover, if G and H are contractive (transitive) then \(\widehat {G}\) and \(\widehat {H}\) are contractive (transitive) and if \((\mathcal {A};G,P,H,F)\) is a tense modal algebra then \((\mathcal {M};\widehat {G}\) , \(\widehat {P},\widehat {H}, \widehat {F})\) is a complete tense modal algebra.
Proof
It follows by the same arguments as in Theorem 4. □
The previous result can be extended into a representation theorem, i.e., we are going to show that any full set S of morphisms into a complete lattice \(\mathcal L\) can be inserted in a possibly larger set T such that our tense algebra is representable in the power \({\mathcal L}^{T}\).
Theorem 6
(Representation theorem for tense algebras) For any tense (tense modal) algebra \(\mathcal {B}=(\mathcal {A};G,P,H,F)\) with a full set S of morphisms into a complete lattice \(\mathcal {L}\) , there exists a full set T of morphisms into \(\mathcal {L}\) including S such that \(\mathcal {B}\) is representable in \(\mathcal {L}\) with respect to T. In particular, \(i_{\mathcal {A}}^{T}\) is an order reflecting morphism of tense (tense modal) algebras.
Proof
Let \(T=\{s \circ G^{n_{1}} \circ P^{m_{1}}\circ H^{p_{1}} \circ F^{q_{1}} {\dots } \circ G^{n_{k}} \circ P^{m_{k}} \circ H^{p_{k}} \circ F^{q_{k}}\mid s\in S, k, n_{1}, m_{1}, p_{1}, q_{1}, \dots , n_{k}\), m k , p k , \(q_{k}\in {\mathbb N}_{0}\}\). Then T is the smallest set of morphisms into \(\mathcal {L}\) including S such that s ∈ T implies that s∘G, s∘P ∈ T, s∘H, s∘F ∈ T. Since T includes S it is again a full set of morphisms. The remaining conditions on T from Theorem 6 are satisfied by the same arguments as in the proof of Theorem 5 using Lemma 2. □
6 Dynamic Order Algebras and Their Dedekind-MacNeille Completion
In this section, we will show that any dynamic order algebra is representable in its Dedekind-MacNeille completion. The terminology and symbols used here coincide in general with those used in [14].
If \(\mathcal {A}=(A;\leq )\) is an ordered set then there always exists a lattice \(\mathcal {L}=(L;\vee ,\wedge )\) with the induced order ≤ such that A ⊆ L and x ≤ y in (A; ≤) implies x ≤ y in \(\mathcal {L}\). One possible construction of \(\mathcal {L}\) for a given ordered set (A; ≤) is that using so-called cuts. Let us describe this construction.
Let \(\mathcal {A}\) be an ordered set, X ⊆ A. The set
is called the left polar of X in \({\mathcal A}\). Similarly, the set
is called the right polar of X in \(\mathcal {A}\).
Recall that the operators L and U define an antitone Galois connection on \(\mathcal {P}(A)\), i.e., Y ⊆ L(X) if and only if X ⊆ U(Y). In particular, L and U are antitone mappings such that \(\mathbf {L}(X) = \bigcap \{\mathbf {L}(x) \mid x\in X\}, \mathbf {U}(Y) = \bigcap \{\mathbf {U}(y) \mid y\in Y\}\), and their compositions L∘U and U∘L are monotone mappings.
A subset X ⊆ A such that L(U X) = X is said to be a cut. The complete lattice of all cuts in \(\mathcal {A}\) will be denoted by \(\mathbf {MC}(\mathcal {A})\). We speak about the Dedekind-MacNeille completion or completion by cuts.
Define a mapping \(e_{\mathcal {A}}:{\mathcal {A}}\rightarrow \mathbf {MC}(\mathcal {A})\) via \(e_{\mathcal {A}}(x) = \mathcal {L}(\{ x \}) = \{ y \mid y\leq x \} \). It is easy to see that \(e_{\mathcal {A}}\) is an order reflecting morphism of bounded posets. Hence \(\{e_{\mathcal {A}}\}\) is a full set of morphisms into \(\mathbf {MC}(\mathcal {A})\). Moreover, the set \(e_{\mathcal {A}}(A)\) is both join-dense and meet-dense in \(\mathbf {MC}(\mathcal {A})\); that is, every element of the completion is a join of some set of elements of \(e_{\mathcal {A}}(A)\), and is also a meet of some set of elements of \(e_{\mathcal {A}}(A)\).
Recall that Corollary 2 allows us to introduce, for any bounded poset \(\mathcal {A}\) with the MacNeille completion \(\mathbf {MC}(\mathcal {A})\) and for any frame (T, R), a partial dynamic order structure on \(\mathcal {A}\) that can be fully reconstructed from \((\mathbf {MC}(\mathcal {A})^{T};\widehat {G}\), \(\widehat {P})\). Note that T is not a set of morphisms but we may identify some elements of T with the canonical embedding \(e_{\mathcal {A}}:{\mathcal {A}}\rightarrow \mathbf {MC}(\mathcal {A})\). For a dynamic order algebra \((\mathcal {A};G,H)\) we can show a converse. To do this we will need the following lemma.
Lemma 3
([8]) Let \(\mathcal {A}\) be an ordered set, G, P : A → A order-preserving mappings such that (P, G) is an adjunction. Then
-
(i)
The map \(\widetilde {P}: \mathbf {MC}(\mathcal {A}) \rightarrow \mathbf {MC}(\mathcal {A})\) given via \(\widetilde {P}(X) = \bigwedge \{e_{\mathcal {A}}(y)\mid X\subseteq e_{\mathcal {A}}(G(y))\} \) for all X ∈ M C (A) preserves arbitrary joins and \(e_{\mathcal {A}}\circ P=\widetilde {P}\circ e_{\mathcal {A}}\).
-
(ii)
The map \(\widetilde {P}: \mathbf {MC}(\mathcal {A}) \rightarrow \mathbf {MC}(\mathcal {A})\) has a right adjoint \(\widetilde {G}: \mathbf {MC}(\mathcal {A}) \rightarrow \mathbf {MC}(\mathcal {A})\) and \(e_{\mathcal {A}}\circ G=\widetilde {G}\circ e_{\mathcal {A}}\).
-
(iii)
For all \(Y\in \mathbf {MC}(\mathcal {A})\) , \(\widetilde {G}(Y) = \bigvee \{e_{\mathcal {A}}(y)\mid e_{\mathcal {A}}(P(y))\subseteq Y\}\) and
$$\widetilde{G}(Y) = \bigwedge \left\{e_{\mathcal{A}}(G(z)) \mid Y\subseteq e_{\mathcal{A}}(z)\right\}. $$
Theorem 7
Let \((\mathcal {A};G,P)\) be a dynamic order algebra. Then the MacNeille completion \((\mathbf {MC}(\mathcal {A});\widetilde {G}\), \(\widetilde {P})\) of \((\mathcal {A};G,P)\) is a complete dynamic order algebra and \(e_{\mathcal {A}}:{\mathcal {A}}\rightarrow \mathbf {MC}(\mathcal {A})\) is an order reflecting morphism of dynamic order algebras.
Proof
By Theorem 2 it is enough to check the conditions (D1) and (D2). Evidently, \((\widetilde {P}, \widetilde {G})\) is an adjunction by Lemma 3. That (D2) is satisfied follows immediately from
and
□
Remark 4
The preceding Theorem 8 yields a representation of any dynamic order algebra \(({\mathcal {A}};G,P)\) in a complete one via the canonical embedding \({e_{\mathcal {A}}}\).
Following Theorem 5 and Theorem 7 we obtain that all dynamic order algebras \((\mathcal {A};G,P)\) and tense algebras \((\mathcal {A};G,P,H,F)\) are representable in \(\mathbf {MC}(\mathcal {A})\) with respect to a full countable set of morphisms from \(\mathcal {A}\) to \(\mathbf {MC}(\mathcal {A})\).
Hence, we can state the following theorem.
Theorem 8
Let \((\mathcal {A};G,P)\) be a dynamic order algebra and \(\mathbf {MC}(\mathcal {A})\) the MacNeille completion of \(\mathcal {A}\) . Then there is a countable time frame (T,R) such that \(G=\widehat {G}_{|A}\) and \(P=\widehat {P}_{|A}\) with \(\left (\mathbf {MC}(\mathcal {A})^{T};\widehat {G},\widehat {P}\right )\) given as in Corollary 1.
Proof
Let \(e_{\mathcal {A}}:\mathcal {A}\rightarrow \mathbf {MC}(\mathcal {A})\) be the corresponding embedding of bounded posets. Let \(T=\left \{e_{\mathcal {A}} \circ G^{n_{1}} \circ P^{m_{1}} {\dots } \circ G^{n_{k}} \circ P^{m_{k}}\mid k, n_{1}, m_{1}, \dots , n_{k}, m_{k}\in {\mathbb N}_{0}\right \}\). Then T is the smallest set of morphisms containing \(e_{\mathcal {A}}\) that is closed under composition with G and P. Evidently, T is countable and we have an order reflecting morphism \(i_{\mathcal {A}}^{T}: \mathcal {A}\rightarrow \mathbf {MC}(\mathcal {A})^{T}\) of dynamic order algebras. □
Using the fact that every tense algebra is composed by means of two dynamic order algebras, we can prove easily the following result.
Theorem 9
Let \((\mathcal {A};G,P,H,F)\) be a tense (tense modal) algebra and \(\mathbf {MC}(\mathcal {A})\) the MacNeille completion of \(\mathcal {A}\) . Then there is a countable time frame (T, R G, H ) such that \(G=\widehat {G}_{|A}\) , \(P=\widehat {P}_{|A}\) , \(H=\widehat {H}_{|A}\) and \(F=\widehat {F}_{|A}\) with \((\mathbf {MC}(\mathcal {A})^{T};\widehat {G},\widehat {P}, \widehat {H}\) , \(\widehat {F})\) given as in Corollary 1.
Proof
Let \(e_{\mathcal {A}}:\mathcal {A}\rightarrow \mathbf {MC}(\mathcal {A})\) be the corresponding embedding of bounded posets. Let \(T=\{e_{\mathcal {A}} \circ G^{n_{1}} \circ P^{m_{1}}\circ H^{p_{1}} \circ F^{q_{1}} {\dots } \circ G^{n_{k}} \circ P^{m_{k}} \circ H^{p_{k}} \circ F^{q_{k}}\mid k, n_{1}, m_{1}, p_{1}, q_{1}, \dots , n_{k}, m_{k}\), p k , \(q_{k}\in {\mathbb N}_{0}\}\). Then T is the smallest set of morphisms containing e A that is closed under composition with G, P, H and F. Evidently, T is a countable set and we have an order reflecting morphism \(i_{\mathcal {A}}^{T}: \mathcal {A}\rightarrow \mathbf {MC}(\mathcal {A})^{T}\) of tense (tense modal) algebras. □
References
Botur, M., Chajda, I., Halaš, R., Kolařík, M.: Tense operators on basic algebras. Int. J. Theor. Phys. 50, 3737–3749 (2011)
Brouwer, L.E.J.: Intuitionism and formalism. Bull. Amer. Math. Soc 20, 81–96 (1913)
Burges, J.: Basic tense logic. In: Gabbay, D.M., Günther, F. (eds.) Handbook of Philosophical Logic, Vol. II, pp 89–139 (1984). D. Reidel Publ. Comp.
Cattaneo, G., Ciucci, D., Dubois, D.: Algebraic models of deviant modal operators based on de Morgan and Kleene lattices. Inform. Sci. 181, 4075–4100 (2011)
Chajda, I.: Algebraic axiomatization of tense intuitionistic logic. Central European J. of Mathematics 9, 1185–1191 (2012)
Chajda, I., Kolařík, M.: Dynamic effect algebras. Math. Slovaca 62, 379–388 (2012)
Chajda, I., Paseka, J.: Dynamic effect algebras and their representations. Soft. Comput. 16, 1733–1741 (2012)
Chajda, I., Paseka, J.: Tense operators in fuzzy logic. Fuzzy Sets Syst. (2014). doi:10.1016/j.fss.2014.09.007
Chirită, C.: Tense-θ-valued Łukasiewicz-Moisil algebras. J. Multiple-Valued Log. Soft Comput. 17, 1–24 (2011)
Diaconescu, D., Georgescu, G.: Tense operators on MV-Algebras and Łukasiewicz-Moisil algebras. Fundamenta Informaticae 81, 379–408 (2007)
Dvurečenskij, A., Pulmannová, S.: New trends in quantum structures. Kluwer Acad. Publ., Dordrecht/Boston/London, Ister Sci., Bratislava (2000)
Ewald, W.B.: Intuitionistic tense and modal logic. J. Symb. Log. 51, 166–179 (1986)
Foulis, D.J., Bennett, M.K.: Effect algebras and unsharp quantum logics. Found. Phys. 24, 1325–1346 (1994)
Galatos, N., Jipsen, P., Kowalski, T., Ono, H.: Residuated lattices: An Algebraic Glimpse at Substructural Logics, Elsevier Studies in Logic and Foundations (2007)
Paseka, J., Janda, J.: A dynamic effect algebras with dual operation. Math. Appl. 1, 79–89 (2012)
Wijesekera, D.: Constructive modal logics I. Ann. Pur. Appl. Log. 50, 271–301 (1990)
Acknowledgments
We thank the anonymous referee for the very thorough reading and contributions to improve our presentation of the paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Dedicated to memory of Prof. Peter Mittelstaedt.
Both authors acknowledge the support by ESF Project CZ.1.07/2.3.00/20.0051 Algebraic methods in Quantum Logic of the Masaryk University.
Rights and permissions
About this article
Cite this article
Chajda, I., Paseka, J. Dynamic Order Algebras as an Axiomatization of Modal and Tense Logics. Int J Theor Phys 54, 4327–4340 (2015). https://doi.org/10.1007/s10773-015-2510-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10773-015-2510-9