Glivenko theorems and negative translations in substructural predicate logics

Along the same line as that in Ono (Ann Pure Appl Logic 161:246–250, 2009), a proof-theoretic approach to Glivenko theorems is developed here for substructural predicate logics relative not only to classical predicate logic but also to arbitrary involutive substructural predicate logics over intuitionistic linear predicate logic without exponentials QFL _e . It is shown that there exists the weakest logic over QFL _e among substructural predicate logics for which the Glivenko theorem holds. Negative translations of substructural predicate logics are studied by using the same approach. First, a negative translation, called extended Kuroda translation is introduced. Then a translation result of an arbitrary involutive substructural predicate logics over QFL _e is shown, and the existence of the weakest logic is proved among such logics for which the extended Kuroda translation works. They are obtained by a slight modification of the proof of the Glivenko theorem. Relations of our extended Kuroda translation with other standard negative translations will be discussed. Lastly, algebraic aspects of these results will be mentioned briefly. In this way, a clear and comprehensive understanding of Glivenko theorems and negative translations will be obtained from a substructural viewpoint.     

Algebraic proof theory for substructural logics: Cut-elimination and completions

We carry out a unified investigation of two prominent topics in proof theory and order algebra: cut-elimination and completion, in the setting of substructural logics and residuated lattices.We introduce the substructural hierarchy — a new classification of logical axioms (algebraic equations) over full Lambek calculus FL, and show that a stronger form of cut-elimination for extensions of FL and the MacNeille completion for subvarieties of pointed residuated lattices coincide up to the level N₂ in the hierarchy. Negative results, which indicate limitations of cut-elimination and the MacNeille completion, as well as of the expressive power of structural sequent calculus rules, are also provided.Our arguments interweave proof theory and algebra, leading to an integrated discipline which we call algebraic proof theory.     

Cut elimination and strong separation for substructural logics: An algebraic approach

We develop a general algebraic and proof-theoretic study of substructural logics that may lack associativity, along with other structural rules. Our study extends existing work on (associative) substructural logics over the full Lambek Calculus (see, for example, Ono (2003) [34], Galatos and Ono (2006) [18], Galatos et al. (2007) [17]). We present a Gentzen-style sequent system that lacks the structural rules of contraction, weakening, exchange and associativity, and can be considered a non-associative formulation of . Moreover, we introduce an equivalent Hilbert-style system and show that the logic associated with and is algebraizable, with the variety of residuated lattice-ordered groupoids with unit serving as its equivalent algebraic semantics.Overcoming technical complications arising from the lack of associativity, we introduce a generalized version of a logical matrix and apply the method of quasicompletions to obtain an algebra and a quasiembedding from the matrix to the algebra. By applying the general result to specific cases, we obtain important logical and algebraic properties, including the cut elimination of and various extensions, the strong separation of , and the finite generation of the variety of residuated lattice-ordered groupoids with unit.     

On involutive FL e -monoids

The paper deals with involutive FL _e -monoids, that is, commutative residuated, partially-ordered monoids with an involutive negation. Involutive FL _e -monoids over lattices are exactly involutive FL _e -algebras, the algebraic counterparts of the substructural logic IUL. A cone representation is given for conic involutive FL _e -monoids, along with a new construction method, called twin-rotation. Some classes of finite involutive FL _e -chains are classified by using the notion of rank of involutive FL _e -chains, and a kind of duality is developed between positive and non-positive rank algebras. As a side effect, it is shown that the substructural logic IUL plus t ? f does not have the finite model property.     

Exponentially closed fields and the conjecture on intersections with tori

We give an axiomatization of the class ECF of exponentially closed fields, which includes the pseudo-exponential fields previously introduced by the second author, and show that it is superstable over its interpretation of arithmetic. Furthermore, ECF is exactly the elementary class of the pseudo-exponential fields if and only if the Diophantine conjecture CIT on atypical intersections of tori with subvarieties is true.     

Invariance properties of a triple matrix product involving generalized inverses

Given complex-valued matrices A, B and C of appropriate dimensions, this paper investigates certain invariance properties of the product AXC with respect to the choice of X, where X is a generalized inverse of B. Different types of generalized inverses are taken into account. The purpose of the paper is three-fold: First, to review known results scattered in the literature, second, to demonstrate the connection between invariance properties and the concept of extremal ranks of matrices, and third, to add new results related to the topic.     

Topological completeness of the provability logic GLP

Provability logic GLP is well-known to be incomplete w.r.t. Kripke semantics. A natural topological semantics of GLP interprets modalities as derivative operators of a polytopological space. Such spaces are called GLP-spaces whenever they satisfy all the axioms of GLP. We develop some constructions to build nontrivial GLP-spaces and show that GLP is complete w.r.t. the class of all GLP-spaces.     

Different versions of a first countable space without choice

We show that two versions of a first countable topological space which are equivalent in ZFC set theory split in the absence of the Axiom of Choice AC. This answers in the negative a related question from Gutierres “What is a first countable space?”.     

Pecularities of Some Three- and Four-Valued Second Order Logics

Logics that have many truth values—more than just True and False—have been argued to be useful in the analysis of very many philosophical and linguistic puzzles (as well, sometimes, in various computational-oriented tasks). In this paper, which is a followup to (Hazen and Pelletier in K3, ?3, LP, RM3, A3, FDE, M: How to make many-valued logics work for you. Winning paper for the Canadian Schotch-Jennings Prize, one of the prizes of the Universal Logic competition in 2018; Notre Dame J Form Log 59, 2018), we will start with a particularly well-motivated four-valued logic that has been studied mainly in its propositional and first-order versions. And we will then investigate its second-order version. This four-valued logic has two natural three-valued extensions: what is called a “gap logic” (some formulas are neither True nor False), and what is called a “glut logic” (some formulas are both True and False). We mention various results about the second-order version of these logics as well. And we then follow our earlier papers, where we had added a specific conditional connective to the three valued logics, and now add that connective to the four-valued logic under consideration. We then show that, although this addition is “conservative” in the sense that no new theorems are generated in the four-valued logic unless they employ this new conditional in their statement, nevertheless the resulting second-order versions of these logics with and without the conditional are quite different in important ways. We close with a moral for logical investigations in this realm.     

Gradient based and least squares based iterative algorithms for matrix equations AXB + CXD = F

This paper develops a gradient based and a least squares based iterative algorithms for solving matrix equation AXB + CX^TD = F. The basic idea is to decompose the matrix equation (system) under consideration into two subsystems by applying the hierarchical identification principle and to derive the iterative algorithms by extending the iterative methods for solving Ax = b and AXB = F. The analysis shows that when the matrix equation has a unique solution (under the sense of least squares), the iterative solution converges to the exact solution for any initial values. A numerical example verifies the proposed theorems.     

Strong convergence theorems for strictly asymptotically pseudocontractive mappings in Hilbert spaces

The purpose of this paper is by using CSQ method to study the strong convergence problem of iterative sequences for a pair of strictly asymptotically pseudocontractive mappings to approximate a common fixed point in a Hilbert space. Under suitable conditions some strong convergence theorems are proved. The results presented in the paper are new which extend and improve some recent results of Acedo and Xu [Iterative methods for strict pseudo-contractions in Hilbert spaces. Nonlinear Anal., 67(7), 2258??271 (2007)], Kim and Xu [Strong convergence of modified Mann iterations for asymptotically nonexpansive mappings and semigroups. Nonlinear Anal., 64, 1140??152 (2006)], Martinez-Yanes and Xu [Strong convergence of the CQ method for fixed point iteration processes. Nonlinear Anal., 64, 2400??411 (2006)], Nakajo and Takahashi [Strong convergence theorems for nonexpansive mappings and nonexpansive semigroups. J. Math. Anal. Appl., 279, 372??79 (2003)], Marino and Xu [Weak and strong convergence theorems for strict pseudocontractions in Hilbert spaces. J. Math. Anal. Appl., 329(1), 336??46 (2007)], Osilike et al. [Demiclosedness principle and convergence theorems for k-strictly asymptotically pseudocontractive maps. J. Math. Anal. Appl., 326, 1334??345 (2007)], Liu [Convergence theorems of the sequence of iterates for asymptotically demicontractive and hemicontractive mappings. Nonlinear Anal., 26(11), 1835??842 (1996)], Osilike et al. [Fixed points of demi-contractive mappings in arbitrary Banach spaces. Panamer Math. J., 12 (2), 77??8 (2002)], Gu [The new composite implicit iteration process with errors for common fixed points of a finite family of strictly pseudocontractive mappings. J. Math. Anal. Appl., 329, 766??76 (2007)].     

Column space equalities for orthogonal projectors

In their paper [Y. Tian, G.P.H. Styan, Rank equalities for idempotent and involutory matrices. Linear Algebra Appl. 335 (2001) 101-117], Tian and Styan established several rank equalities involving a pair of idempotent matrices P and Q. Subsequently, these results are reinvestigated from the point of view of the following question: provided that idempotent P, Q are Hermitian, which relationships given in the aforementioned paper remain valid when ranks are replaced with column spaces? Simultaneously, some related results are established, which shed additional light on the links between subspaces attributed to various functions of a pair of orthogonal projectors.     

Orbifolds and groupoids

We define a 2-category structure (Pre-Orb) on the category of reduced complex orbifold atlases. We construct a 2-functor F from (Pre-Orb) to the 2-category (Grp) of proper étale effective groupoid objects over the complex manifolds. Both on (Pre-Orb) and (Grp) there are natural equivalence relations on objects: (a natural extension of) equivalence of orbifold atlases on (Pre-Orb) and Morita equivalence in (Grp). We prove that F induces a bijection between the equivalence classes of its source and target.     

The main invariants of a complex finsler space

In this paper we extend the results obtained in [3], where are investigated the general settings of the two-dimensional complex Finsler manifolds, with respect to a local complex Berwald frame. The geometry of such manifolds is controlled by three real invariants which live on T'M: two horizontal curvature invariants K and W and one vertical curvature invariant I. By means of these invariants are defined both the horizontal and the vertical holomorphic sectional curvatures. The complex Landsberg and Berwald spaces are of particular interest. Complex Berwald spaces coincide with Kähler spaces, in the two – dimensional case. We establish the necessary and sufficient condition under which K is a constant and we obtain a characterization for the Kähler purely Hermitian spaces by the fact K = W = constant and I = 0. For the class of complex Berwald spaces we have K = W = 0. Finally, a classification of two-dimensional complex Finsler spaces for which the horizontal curvature satisfies a special property is obtained.     

Generalizations of a property of orthogonal projectors

Generalizing the result in Lemma of Baksalary and Baksalary [J.K. Baksalary, O.M. Baksalary, Commutativity of projectors, Linear Algebra Appl. 341 (2002) 129-142], Baksalary et al. [J.K. Baksalary, O.M. Baksalary, T. Szulc, Linear Algebra Appl. 354 (2002) 35-39] have shown that if P₁ and P₂ are orthogonal projectors, then, in all nontrivial situations, a product of any length having P₁ and P₂ as its factors occurring alternately is equal to another such product if and only if P₁ and P₂ commute, in which case all products involving P₁ and P₂ reduce to the orthogonal projector P₁P₂ (= P₂P₁). In the present paper, further generalizations of this property are established. They consist in replacing a product of the type specified above, appearing on the left-hand side (say) of the equality under considerations, by an affine combination of two or three such products. Comments on the problem when the number of components in a combination exceeds three are also given.     

On commutativity of projectors

The purpose of this paper is to revisit two problems discussed previously in the literature, both related to the commutativity property P₁P₂ = P₂P₁, where P₁ and P₂ denote projectors (i.e., idempotent matrices). The first problem was considered by Baksalary et al. [J.K. Baksalary, O.M. Baksalary, T. Szulc, A property of orthogonal projectors, Linear Algebra Appl. 354 (2002) 35-39], who have shown that if P₁ and P₂ are orthogonal projectors (i.e., Hermitian idempotent matrices), then in all nontrivial cases a product of any length having P₁ and P₂ as its factors occurring alternately is equal to another such product if and only if P₁ and P₂ commute. In the present paper a generalization of this result is proposed and validity of the equivalence between commutativity property and any equality involving two linear combinations of two any length products having orthogonal projectors P₁ and P₂ as their factors occurring alternately is investigated. The second problem discussed in this paper concerns specific generalized inverses of the sum P₁ + P₂ and the difference P₁ − P₂ of (not necessary orthogonal) commuting projectors P₁ and P₂. The results obtained supplement those provided in Section 4 of Baksalary and Baksalary [J.K. Baksalary, O.M. Baksalary, Commutativity of projectors, Linear Algebra Appl. 341 (2002) 129-142].     

The Classical Constraint on Relevance

We show that as long as the propositional constants t and f are not included in the language, any language-preserving extension of any important fragment of the relevance logics R and RMI can have only classical tautologies as theorems (this includes intuitionistic logic and its extensions). This property is not preserved, though, if either t or f is added to the language, or if the contraction axiom is deleted.     

Some new extensions of Edelstein-Suzuki-type fixed point theorem to G-metric and G-cone metric spaces

In this paper, we prove some fixed point theorems for generalized contractions in the setting of G-metric spaces. Our results extend a result of Edelstein [M. Edelstein, On fixed and periodic points under contractive mappings, J. London Math. Soc., 37 (1962), 74–79] and a result of Suzuki [T. Suzuki, A new type of fixed point theorem in metric spaces, Nonlinear Anal., 71 (2009), 5313–5317]. We prove, also, a fixed point theorem in the setting of G-cone metric spaces.