We present an algebraic approach to canonical embeddings of arbitrary residuated algebras into powerset residuated algebras. We propose some construction of powerset residuated algebras and prove a representation theorem for symmetric residuated algebras.

A symmetric residuated lattice is an algebra such that is a commutative integral bounded residuated lattice and the equations x=x and =xy are satisfied. The aim of the paper is to investigate the properties of the unary operation ε defined by the prescription εx=x→0. We give necessary and sufficient conditions for ε being an interior operator. Since these conditions are rather restrictive →0)=1 is satisfied) we consider when an iteration of ε is an interior operator. In (...) particular we consider the chain of varieties of symmetric residuated lattices such that the n iteration of ε is a boolean interior operator. For instance, we show that these varieties are semisimple. When n=1, we obtain the variety of symmetric stonean residuated lattices. We also characterize the subvarieties admitting representations as subdirect products of chains. These results generalize and in many cases also simplify, results existing in the literature. (shrink)

We study the sequent system mentioned in the author's work as CyInFL with ‘intuitionistic’ sequents. We explore the connection between this system and symmetric constructive logic of Zaslavsky and develop an algebraic semantics for both of them. In contrast to the previous work, we prove the strong completeness theorem for CyInFL with ‘intuitionistic’ sequents and all of its basic variants, including variants with contraction. We also show how the defined classes of structures are related to cyclic involutive FL‐algebras and (...) Nelson FLew‐algebras. In particular, we prove the definitional equivalence of symmetric constructive FLewc‐algebras (algebraic models of symmetric constructive logic) and Nelson FLew‐algebras (algebras introduced by Spinks and Veroff, as the termwise equivalent definition of Nelson algebras). Because of the strong completeness theorem that covers all basic variants of CyInFL with ‘intuitionistic’ sequents, we rename this sequent system to symmetric constructive full Lambek calculus (). We verify the decidability of this system and its basic variants, as we did in the case of their distributive cousins. As a consequence we obtain that the corresponding theories of (distributive and nondistributive) symmetric constructive FL‐algebras are decidable. (shrink)

We prove a representation theorem for residuated algebras: each residuated algebra is isomorphically embeddable into a powerset residuated algebra. As a consequence, we obtain a completeness theorem for the Generalized Lambek Calculus. We use a Labelled Deductive System which generalizes the one used by Buszkowski [4] and Pankrat'ev [17] in completeness theorems for the Lambek Calculus.

The main purpose of this paper is to introduce a class of algebraic structures related to many-valued ukasiewicz algebras. They are symmetrical Heyting algebras with a set of modal operators indexed by a finite completely symmetric poset. A representation theorem is given for these (not functionally complete) algebras.

Hoop residuation algebras are the {, 1}-subreducts of hoops; they include Hilbert algebras and the {, 1}-reducts of MV-algebras (also known as Wajsberg algebras). The paper investigates the structure and cardinality of finitely generated free algebras in varieties of k-potent hoop residuation algebras. The assumption of k-potency guarantees local finiteness of the varieties considered. It is shown that the free algebra on n generators in any of these varieties can be represented as a union of n subalgebras, each of (...) which is a copy of the {, 1}-reduct of the same finite MV-algebra, i.e., of the same finite product of linearly ordered (simple) algebras. The cardinality of the product can be determined in principle, and an inclusion-exclusion type argument yields the cardinality of the free algebra. The methods are illustrated by applying them to various cases, both known (varieties generated by a finite linearly ordered Hilbert algebra) and new (residuation reducts of MV-algebras and of hoops). (shrink)

The aim of this paper is to investigate the variety of symmetric closure algebras, that is, closure algebras endowed with a De Morgan operator. Some general properties are derived. Particularly, the lattice of subvarieties of the subvariety of monadic symmetric algebras is described and an equational basis for each subvariety is given.

The notion of a Sasaki projectionon an orthomodular lattice is generalized to a mapping Φ: E × E → E, where E is an effect algebra. If E is lattice ordered and Φ is symmetric, then E is called a Φ-symmetric effect algebra.This paper launches a study of such effect algebras. In particular, it is shown that every interval effect algebra with a lattice-ordered ambient group is Φ-symmetric, and its group is the one constructed (...) by Ravindran in his proof that every effect algebra that has the Riesz decomposition property is an interval algebra. It is shown that the doubling construction introduced in the paper is connected to the conditional event algebrasof Goodman, Nguyen, and Walker. (shrink)

Gödel logic is the extension of intuitionistic logic by the linearity axiom. Symmetric Gödel logic is a logical system, the language of which is an enrichment of the language of Gödel logic with their dual logical connectives. Symmetric Gödel logic is the extension of symmetric intuitionistic logic. The proof-intuitionistic calculus, the language of which is an enrichment of the language of intuitionistic logic by modal operator was investigated by Kuznetsov and Muravitsky. Bimodal symmetric Gödel logic is (...) a logical system, the language of which is an enrichment of the language of Gödel logic with their dual logical connectives and two modal operators. Bimodal symmetric Gödel logic is embedded into an extension of Gödel–Löb logic, the language of which contains disjunction, conjunction, negation and two modal operators. The variety of bimodal symmetric Gödel algebras, that represent the algebraic counterparts of bimodal symmetric Gödel logic, is investigated. Description of free algebras and characterization of projective algebras in the variety of bimodal symmetric Gödel algebras is given. All finitely generated projective bimodal symmetric Gödel algebras are infinite, while finitely generated projective symmetric Gödel algebras are finite. (shrink)

In this paper we prove that, for n > 1, the n-generated free algebra in any locally finite subvariety of HoRA can be written in a unique nontrivial way as Ł2 × A′, where A′ is a directly indecomposable algebra in . More precisely, we prove that the unique nontrivial pair of factor congruences of is given by the filters and , where the element is recursively defined from the term introduced by W. H. Cornish. As an additional (...) result we obtain a characterization of minimal irreducible filters of in terms of its coatoms. (shrink)

Logics designed to deal with vague statements typically allow algebraic semantics such that propositions are interpreted by elements of residuated lattices. The structure of these algebras is in general still unknown, and in the cases that a detailed description is available, to understand its significance for logics can be difficult. So the question seems interesting under which circumstances residuated lattices arise from simpler algebras in some natural way. A possible construction is described in this paper.Namely, we consider pairs (...) consisting of a Brouwerian algebra and an equivalence relation. The latter is assumed to be in a certain sense compatible with the partial order, with the formation of differences, and with the formation of suprema of pseudoorthogonal elements; we then call it an s-equivalence relation. We consider operations which, under a suitable additional assumption, naturally arise on the quotient set. The result is that the quotient set bears the structure of a residuated lattice. Further postulates lead to dual BL-algebras. In the case that we begin with Boolean algebras instead, we arrive at dual MV-algebras. (shrink)

In this paper, we define the notions of (l,r)-symmetric bi-derivations and (r,l)-symmetric bi-derivations on UP-algebras and investigate some properties of them. For these derivations, we introduce the sets Kerd(U), Fixd(U) and FixD(U). Moreover, we examine with examples whether these sets are UP-subalgebra or UP-ideal.

This is also where we begin investigating lattices of logics and varieties, rather than particular examples.

This paper discusses Crawley completions of residuated lattices. While MacNeille completions have been studied recently in relation to logic, Crawley completions (i.e. complete ideal completions), which are another kind of regular completions, have not been discussed much in this relation while many important algebraic works on Crawley completions had been done until the end of the 70’s. In this paper, basic algebraic properties of ideal completions and Crawley completions of residuated lattices are studied first in their conncetion with (...) the join infinite distributivity and Heyting implication. Then some results on algebraic completeness and conservativity of Heyting implication in substructural predicate logics are obtained as their consequences. (shrink)

It is introduced a new algebra$$(A, \otimes, \oplus, *, \rightharpoonup, 0, 1)$$(A,⊗,⊕,∗,⇀,0,1)called$$L_PG$$LPG-algebra if$$(A, \otimes, \oplus, *, 0, 1)$$(A,⊗,⊕,∗,0,1)is$$L_P$$LP-algebra (i.e. an algebra from the variety generated by perfectMV-algebras) and$$(A,\rightharpoonup, 0, 1)$$(A,⇀,0,1)is a Gödel algebra (i.e. Heyting algebra satisfying the identity$$(x \rightharpoonup y ) \vee (y \rightharpoonup x ) =1)$$(x⇀y)∨(y⇀x)=1). The lattice of congruences of an$$L_PG$$LPG-algebra$$(A, \otimes, \oplus, *, \rightharpoonup, 0, 1)$$(A,⊗,⊕,∗,⇀,0,1)is isomorphic to the lattice of Skolem filters (i.e. special type ofMV-filters) of theMV-algebra$$(A, (...) \otimes, \oplus, *, 0, 1)$$(A,⊗,⊕,∗,0,1). The variety$$\mathbf {L_PG}$$LPGof$$L_PG$$LPG-algebras is generated by the algebras$$(C, \otimes, \oplus, *, \rightharpoonup, 0, 1)$$(C,⊗,⊕,∗,⇀,0,1)where$$(C, \otimes, \oplus, *, 0, 1)$$(C,⊗,⊕,∗,0,1)is ChangMV-algebra. Any$$L_PG$$LPG-algebra is bi-Heyting algebra. The set of theorems of the logic$$L_PG$$LPGis recursively enumerable. Moreover, we describe finitely generated free$$L_PG$$LPG-algebras. (shrink)

Much work has been done on specific instances of residuated lattices with modal operators . In this paper, we develop a general framework that subsumes three important classes of modal residuated lattices: interior algebras, Abelian ℓ-groups with conuclei, and negative cones of ℓ-groups with nuclei. We then use this framework to obtain results about these three cases simultaneously. In particular, we show that a categorical equivalence exists in each of these cases. The approach used here emphasizes the role (...) played by reducts in the proofs of these categorical equivalences. Lastly, we develop a connection between translations of logics and images of modal operators. (shrink)

Over the past 50 years, Nelson algebras have been extensively studied by distinguished scholars as the algebraic counterpart of Nelson's constructive logic with strong negation. Despite these studies, a comprehensive survey of the topic is currently lacking, and the theory of Nelson algebras remains largely unknown to most logicians. This paper aims to fill this gap by focussing on the essential developments in the field over the past two decades. Additionally, we explore generalisations of Nelson algebras, such as N4-lattices which (...) correspond to the paraconsistent version of Nelson's logic, as well as their applications to other areas of interest to logicians, such as duality and rough set theory. A general representation theorem states that each Nelson algebra is isomorphic to a subalgebra of a rough set-based Nelson algebra induced by a quasiorder. Furthermore, a formula is a theorem of Nelson logic if and only if it is valid in every finite Nelson algebra induced by a quasiorder. (shrink)

An algebra A is said to be congruence coherent if every subalgebra of A that contains a class of some congruence on A is a union of -classes. This property has been investigated in several varieties of lattice-based algebras. These include, for example, de Morgan algebras, p-algebras, double p-algebras, and double MS-algebras. Here we determine precisely when the property holds in the class of symmetric extended de Morgan algebras.

We exhibit a construction which produces for every Turing machine T with two halting states μ 0 and μ -1 , an algebra B(T) (finite and of finite type) with the property that the variety generated by B(T) is residually large if T halts in state μ -1 , while if T halts in state μ 0 then this variety is residually bounded by a finite cardinal.

The variety of residuated lattices includes a vast proportion of the classes of algebras that are relevant for algebraic logic, e.g., \-groups, Heyting algebras, MV-algebras, or De Morgan monoids. Among the outliers, one counts orthomodular lattices and other varieties of quantum algebras. We suggest a common framework—pointed left-residuated \-groupoids—where residuated structures and quantum structures can all be accommodated. We investigate the lattice of subvarieties of pointed left-residuated \-groupoids, their ideals, and develop a theory of left nuclei. (...) Finally, we extend some parts of the theory of join-completions of residuated \-groupoids to the left-residuated case, giving a new proof of MacLaren’s theorem for orthomodular lattices. (shrink)

Symmetric propositions over domain $\mathfrak{D}$ and signature $\Sigma = \langle R^{n_1}_1, \ldots, R^{n_p}_p \rangle$ are characterized following Zermelo, and a correlation of such propositions with logical type- $\langle \vec{n} \rangle$ quantifiers over $\mathfrak{D}$ is described. Boolean algebras of symmetric propositions over $\mathfrak{D}$ and Σ are shown to be isomorphic to algebras of logical type- $\langle \vec{n} \rangle$ quantifiers over $\mathfrak{D}$. This last result may provide empirical support for Tarski’s claim that logical terms over fixed domain are all and (...) only those invariant under domain permutations. (shrink)

Algebraic quantum field theory provides a general, mathematically precise description of the structure of quantum field theories, and then draws out consequences of this structure by means of various mathematical tools -- the theory of operator algebras, category theory, etc.. Given the rigor and generality of AQFT, it is a particularly apt tool for studying the foundations of QFT. This paper is a survey of AQFT, with an orientation towards foundational topics. In addition to covering the basics of the theory, (...) we discuss issues related to nonlocality, the particle concept, the field concept, and inequivalent representations. We also provide a detailed account of the analysis of superselection rules by Doplicher, Haag, and Roberts (DHR); and we give an alternative proof of Doplicher and Robert's reconstruction of fields and gauge group from the category of physical representations of the observable algebra. The latter is based on unpublished ideas due to J. E. Roberts and the abstract duality theorem for symmetric tensor *-categories, a self-contained proof of which is given in the appendix. (shrink)

Symmetric generalized Galois logics (i.e., symmetric gGl s) are distributive gGl s that include weak distributivity laws between some operations such as fusion and fission. Motivations for considering distribution between such operations include the provability of cut for binary consequence relations, abstract algebraic considerations and modeling linguistic phenomena in categorial grammars. We represent symmetric gGl s by models on topological relational structures. On the other hand, topological relational structures are realized by structures of symmetric gGl s. (...) We generalize the weak distributivity laws between fusion and fission to interactions of certain monotone operations within distributive super gGl s. We are able to prove appropriate generalizations of the previously obtained theorems—including a functorial duality result connecting classes of gGl s and classes of structures for them. (shrink)

Dynamic algebras combine the classes of Boolean (B 0) and regular (R ; *) algebras into a single finitely axiomatized variety (B R ) resembling an R-module with scalar multiplication . The basic result is that * is reflexive transitive closure, contrary to the intuition that this concept should require quantifiers for its definition. Using this result we give several examples of dynamic algebras arising naturally in connection with additive functions, binary relations, state trajectories, languages, and flowcharts. The main result (...) is that free dynamic algebras are residually finite (i.e. factor as a subdirect product of finite dynamic algebras), important because finite separable dynamic algebras are isomorphic to Kripke structures. Applications include a new completeness proof for the Segerberg axiomatization of prepositional dynamic logic, and yet another notion of regular algebra. (shrink)

We define a notion of residue field domination for valued fields which generalizes stable domination in algebraically closed valued fields. We prove that a real closed valued field is dominated by the sorts internal to the residue field, over the value group, both in the pure field and in the geometric sorts. These results characterize forking and þ-forking in real closed valued fields (and also algebraically closed valued fields). We lay some groundwork for extending these results to a power-bounded T-convex (...) theory. (shrink)

This paper establishes several algebraic embedding theorems, each of which asserts that a certain kind of residuated structure can be embedded into a richer one. In almost all cases, the original structure has a compatible involution, which must be preserved by the embedding. The results, in conjunction with previous findings, yield separative axiomatizations of the deducibility relations of various substructural formal systems having double negation and contraposition axioms. The separation theorems go somewhat further than earlier ones in the literature, (...) which either treated fewer subsignatures or focussed on the conservation of theorems only. (shrink)

The Lambek-Grishin calculus is a symmetric version of categorial grammar obtained by augmenting the standard inventory of type-forming operations (product and residual left and right division) with a dual family: coproduct, left and right difference. Interaction between these two families is provided by distributivity laws. These distributivity laws have pleasant invariance properties: stability of interpretations for the Curry-Howard derivational semantics, and structure-preservation at the syntactic end. The move to symmetry thus offers novel ways of reconciling the demands of natural (...) language form and meaning. (shrink)

Grishin algebras are a generalisation of Boolean algebras that provide algebraic models for classical bilinear logic with two mutually cancelling negation connectives. We show how to build complete Grishin algebras as algebras of certain subsets (“propositions”) of cover systems that use an orthogonality relation to interpret the negations. The variety of Grishin algebras is shown to be closed under MacNeille completion, and this is applied to embed an arbitrary Grishin algebra into the algebra of all propositions of some (...) cover system, by a map that preserves all existing joins and meets. This representation is then used to give a cover system semantics for a version of classical bilinear logic that has first-order quantifiers and infinitary conjunctions and disjunctions. (shrink)

In this paper, we continue the study of the Łukasiewicz residuation algebras of order $n$ with Moisil possibility operators initiated by Figallo. More precisely, among other things, a method to determine the number of elements of the $MC_n$-algebra with a finite set of free generators is described. Applying this method, we find again the results obtained by Iturrioz and Monteiro and by Figallo for the case of Tarski algebras and $I\varDelta _{3}$-algebras, respectively.

We show the undecidability of the equational theories of some classes of BAOs with a non-associative, residuated binary extra-Boolean operator. These results solve problems in Jipsen [9], Pratt [21] and Roorda [22], [23]. This paper complements Andréka-Kurucz-Németi-Sain-Simon [3] where the emphasis is on BAOs with an associative binary operator.

Substructural logics have received a lot of attention in recent years from the communities of both logic and algebra. We discuss the algebraization of substructural logics over the full Lambek calculus and their connections to residuated lattices, and establish a weak form of the deduction theorem that is known as parametrized local deduction theorem. Finally, we study certain interpolation properties and explain how they imply the amalgamation property for certain varieties of residuated lattices.

We look at lower semilattice-ordered residuated semigroups and, in particular, the representable ones, i.e., those that are isomorphic to algebras of binary relations. We will evaluate expressions in representable algebras and give finite axiomatizations for several notions of validity. These results will be applied in the context of substructural logics.

Monoidal t-norm based logic $\mathbf {MTL}$ is the weakest t-norm based residuated fuzzy logic, which is a $[0,1]$ -valued propositional logical system having a t-norm and its residuum as truth function for conjunction and implication. Monadic fuzzy predicate logic $\mathbf {mMTL\forall }$ that consists of the formulas with unary predicates and just one object variable, is the monadic fragment of fuzzy predicate logic $\mathbf {MTL\forall }$, which is indeed the predicate version of monoidal t-norm based logic $\mathbf {MTL}$. The (...) main aim of this paper is to give an algebraic proof of the completeness theorem for monadic fuzzy predicate logic $\mathbf {mMTL\forall }$ and some of its axiomatic extensions. Firstly, we survey the axiomatic system of monadic algebras for t-norm based residuated fuzzy logic and amend some of them, thus showing that the relationships for these monadic algebras completely inherit those for corresponding algebras. Subsequently, using the equivalence between monadic fuzzy predicate logic $\mathbf {mMTL\forall }$ and S5-like fuzzy modal logic $\mathbf {S5(MTL)}$, we prove that the variety of monadic MTL-algebras is actually the equivalent algebraic semantics of the logic $\mathbf {mMTL\forall }$, giving an algebraic proof of the completeness theorem for this logic via functional monadic MTL-algebras. Finally, we further obtain the completeness theorem of some axiomatic extensions for the logic $\mathbf {mMTL\forall }$, and thus give a major application, namely, proving the strong completeness theorem for monadic fuzzy predicate logic based on involutive monoidal t-norm logic $\mathbf {mIMTL\forall }$ via functional representation of finitely subdirectly irreducible monadic IMTL-algebras. (shrink)

Let ${\mathbb{BRL}}$ denote the variety of commutative integral bounded residuated lattices (bounded residuated lattices for short). A Boolean retraction term for a subvariety ${\mathbb{V}}$ of ${\mathbb{BRL}}$ is a unary term t in the language of bounded residuated lattices such that for every ${{\bf A} \in \mathbb{V}, t^{A}}$ , the interpretation of the term on A, defines a retraction from A onto its Boolean skeleton B(A). It is shown that Boolean retraction terms are equationally definable, in the sense (...) that there is a variety ${\mathbb{V}_{t} \subsetneq \mathbb{BRL}}$ such that a variety ${\mathbb{V} \subsetneq \mathbb{BRL}}$ admits the unary term t as a Boolean retraction term if and only if ${\mathbb{V} \subseteq \mathbb{V}_{t}}$ . Moreover, the equation s(x) = t(x) holds in ${\mathbb{V}_{s} \cap \mathbb{V}_{t}}$ . The radical of ${{\bf A} \in \mathbb{BRL}}$ , with the structure of an unbounded residuated lattice with the operations inherited from A expanded with a unary operation corresponding to double negation and a a binary operation defined in terms of the monoid product and the negation, is called the radical algebra of A. To each involutive variety ${\mathbb{V} \subseteq \mathbb{V}_{t}}$ is associated a variety ${\mathbb{V}^{r}}$ formed by the isomorphic copies of the radical algebras of the directly indecomposable algebras in ${\mathbb{V}}$ . Each free algebra in such ${\mathbb{V}}$ is representable as a weak Boolean product of directly indecomposable algebras over the Stone space of the free Boolean algebra with the same number of free generators, and the radical algebra of each directly indecomposable factor is a free algebra in the associated variety ${\mathbb{V}^{r}}$ , also with the same number of free generators.A hierarchy of subvarieties of ${\mathbb{BRL}}$ admitting Boolean retraction terms is exhibited. (shrink)

A residuated lattice is said to be integrally closed if it satisfies the quasiequations \ and \, or equivalently, the equations \ and \. Every integral, cancellative, or divisible residuated lattice is integrally closed, and, conversely, every bounded integrally closed residuated lattice is integral. It is proved that the mapping \\backslash {\mathrm {e}}\) on any integrally closed residuated lattice is a homomorphism onto a lattice-ordered group. A Glivenko-style property is then established for varieties of integrally closed (...) residuated lattices with respect to varieties of lattice-ordered groups, showing in particular that integrally closed residuated lattices form the largest variety of residuated lattices admitting this property with respect to lattice-ordered groups. The Glivenko property is used to obtain a sequent calculus admitting cut-elimination for the variety of integrally closed residuated lattices and to establish the decidability, indeed PSPACE-completenes, of its equational theory. Finally, these results are related to previous work on BCI-algebras, semi-integral residuated pomonoids, and Casari’s comparative logic. (shrink)

Quasi-Nelson logic (QNL) was recently introduced as a common generalisation of intuitionistic logic and Nelson's constructive logic with strong negation. Viewed as a substructural logic, QNL is the axiomatic extension of the Full Lambek Calculus with Exchange and Weakening by the Nelson axiom, and its algebraic counterpart is a variety of residuated lattices called quasi-Nelson algebras. Nelson's logic, in turn, may be obtained as the axiomatic extension of QNL by the double negation (or involutivity) axiom, and intuitionistic logic as (...) the extension of QNL by the contraction axiom. A recent series of papers by the author and collaborators initiated the study of fragments of QNL, which correspond to subreducts of quasi-Nelson algebras. In the present paper we focus on fragments that contain the connectives forming a residuated pair (the monoid conjunction and the so-called strong Nelson implication), these being the most interesting ones from a substructural logic perspective. We provide quasi-equational (whenever possible, equational) axiomatisations for the corresponding classes of algebras, obtain twist representations for them, study their congruence properties and take a look at a few notable subvarieties. Our results specialise to the involutive case, yielding characterisations of the corresponding fragments of Nelson's logic and their algebraic counterparts. (shrink)

This volume presents the state of the art in the algebraic investigation into substructural logics. It features papers from the workshop AsubL (Algebra & Substructural Logics - Take 6). Held at the University of Cagliari, Italy, this event is part of the framework of the Horizon 2020 Project SYSMICS: SYntax meets Semantics: Methods, Interactions, and Connections in Substructural logics. -/- Substructural logics are usually formulated as Gentzen systems that lack one or more structural rules. They have been intensively studied (...) over the past two decades by logicians of various persuasions. These researchers include mathematicians, philosophers, linguists, and computer scientists. Substructural logics are applicable to the mathematical investigation of such processes as resource-conscious reasoning, approximate reasoning, type-theoretical grammar, and other focal notions in computer science. They also apply to epistemology, economics, and linguistics. The recourse to algebraic methods -- or, better, the fecund interplay of algebra and proof theory -- has proved useful in providing a unifying framework for these investigations. The AsubL series of conferences, in particular, has played an important role in these developments. -/- This collection will appeal to students and researchers with an interest in substructural logics, abstract algebraic logic, residuated lattices, proof theory, universal algebra, and logical semantics. (shrink)

We show that the variety of residuated lattices is generated by its finite simple members, improving upon a finite model property result of Okada and Terui. The reasoning is a blend of proof-theoretic and algebraic arguments.

In this paper we prove that the equational class generated by bounded BCK-algebras is the variety generated by the class of finite simple bounded BCK-algebras. To obtain these results we prove that every simple algebra in the equational class generated by bounded BCK-algebras is also a relatively simple bounded BCK-algebra. Moreover, we show that every simple bounded BCK-algebra can be embedded into a simple integral commutative bounded residuated lattice. We extend our main results to some richer (...) subreducts of the class of integral commutative bounded residuated lattices and to the involutive case. (shrink)

Quantum theory may be formulated using Hilbert spaces over any of the three associative normed division algebras: the real numbers, the complex numbers and the quaternions. Indeed, these three choices appear naturally in a number of axiomatic approaches. However, there are internal problems with real or quaternionic quantum theory. Here we argue that these problems can be resolved if we treat real, complex and quaternionic quantum theory as part of a unified structure. Dyson called this structure the ‘three-fold way’. It (...) is perhaps easiest to see it in the study of irreducible unitary representations of groups on complex Hilbert spaces. These representations come in three kinds: those that are not isomorphic to their own dual (the truly ‘complex’ representations), those that are self-dual thanks to a symmetric bilinear pairing (which are ‘real’, in that they are the complexifications of representations on real Hilbert spaces), and those that are self-dual thanks to an antisymmetric bilinear pairing (which are ‘quaternionic’, in that they are the underlying complex representations of representations on quaternionic Hilbert spaces). This three-fold classification sheds light on the physics of time reversal symmetry, and it already plays an important role in particle physics. More generally, Hilbert spaces of any one of the three kinds—real, complex and quaternionic—can be seen as Hilbert spaces of the other kinds, equipped with extra structure. (shrink)

The quantum mechanical transition probability is symmetric. A probabilistically motivated and more general quantum logical definition of the transition probability was introduced in two preceding papers without postulating its symmetry, but in all the examples considered there it remains symmetric. Here we present a class of binary models where the transition probability is not symmetric, using the extreme points of the unit interval in an order unit space as quantum logic. We show that their state spaces are (...) strictly convex smooth compact convex sets and that each such set _K_ gives rise to a quantum logic of this class with the state space _K_. The transition probabilities are symmetric iff _K_ is the unit ball in a Hilbert space. In this case, the quantum logic becomes identical with the projection lattice in a spin factor which is a special type of formally real Jordan algebra. (shrink)

J. P lonka at WSP in Opole, in 1980 and 1981. We shall consider algebras o type : T ! N; E, R, S denote the set of all identities of type and the set of all regular identities of type , respectively . If is a set of identities of type , then E() denotes the set of all identities which can be proved from ; R() = \ R, S() = \ S. denotes the variety generated by . (...) Similarly, for a given variety V of algebras of type we shall consider varieties R and S dened by the set R of all regular identities satised in V and the set S of all symmetric identities satised in V , respectively. (shrink)

We study the computational complexity of the universal theory of residuated ordered groupoids, which are algebraic structures corresponding to Nonassociative Lambek Calculus. We prove that the universal theory is co $$\textsf {NP}$$ -complete which, as we observe, is the lowest possible complexity for a universal theory of a non-trivial class of structures. The universal theories of the classes of unital and integral residuated ordered groupoids are also shown to be co $$\textsf {NP}$$ -complete. We also prove the co (...) $$\textsf {NP}$$ -completeness of the universal theory of classes of residuated algebras, algebraic structures corresponding to Generalized Lambek Calculus. (shrink)

Motivated by the recent wave of investigations on plane domain wall spacetimes with nontrivial topologies, the present paper deals with (probably) the most simple source field configuration which can generate a spatially planary symmetric static spacetime, namely a minimally coupled massless scalar field that depends only upon a spacelike coordinate. z. It is shown that the corresponding exact solutions (ℳ. g±) are algebraically special, type D-[S-3T] (in11), and represent globally pathologic spacetimes with a G4-group of motion acting on R2 (...) × R orbits. In spite of the model simplicity, these Φ-generated worlds possess naked timelike singularities (reached within a finite universal time by normal nonspacelike geodesics). are completely free of Cauchy surfaces, and contain, in the t-leveled sections, points that cannot be joined by C1-trajectory images of oblique non-spacelike geodesies. Finally, we comment on the possibility of deriving from (ℳ, g±) two other physically interesting Φ-generated” spacetimes by appropriate joining conditions in the (z=0)-plane. (shrink)