147 research outputs found
Orders on groups, and spectral spaces of lattice-groups
No full textExtending pioneering work by Weinberg, Conrad, McCleary, and others, we provide a systematic way of relating spaces of right orders on a partially ordered group, on the one hand, and spectral spaces of free lattice-ordered groups, on the other. The aim of the theory is to pave the way for further fruitful interactions between the study of right orders on groups and that of lattice-groups. Special attention is paid to the important case of orders on groups
Operating Theatre, by Almudena Ramírez-Pantanella, translated by Sarah Maitland
No full textOperating Theatre, 2020 (Quirófano, 2019, by Almudena Ramírez-Pantanella; my translation commissioned by the author and the Spanish Society of Authors and Publishers [Sociedad General de Autores y Editores, SGAE])
Ordering Free Groups and Validity in Lattice-Ordered Groups
No full textAn inductive characterization is given of the subsets of a group that extend to the positive cone of a right order on the group. This characterization is used to relate validity of equations in lattice-ordered groups (l-groups) to subsets of free groups that extend to the positive cone of a right order. As a consequence, new proofs are obtained of the decidability of the word problem for free l-groups and generation of the variety of l-groups by the l-group of automorphisms of the real line. An inductive characterization is also given of the subsets of a group that extend to the positive cone of an order on the group. In this case, the characterization is used to relate validity of equations in varieties of representable l-groups to subsets of relatively free groups that extend to the positive cone of an order
Proof theory for positive logic with weak negation
No full textProof-theoreticmethods are developed for subsystems of Johansson’s logic obtained by extending the positive fragment of intuitionistic logic with weak negations. These methods are exploited to establish properties of the logical systems. In particular, cut-free complete sequent calculi are introduced and used to provide a proof of the fact that the systems satisfy the Craig interpolation property. Alternative versions of the calculi are later obtained by means of an appropriate loop-checking history mechanism. Termination of the new calculi is proved, and used to conclude that the considered logical systems are PSPACE-complete
Proof Theory and Ordered Groups
No full textOrdering theorems, characterizing when partial orders of a group extend to total orders, are used to generate hypersequent calculi for varieties of lattice-ordered groups (ℓ-groups). These calculi are then used to provide new proofs of theorems arising in the theory of ordered groups. More precisely: an analytic calculus for abelian ℓ-groups is generated using an ordering theorem for abelian groups; a calculus is generated for ℓ-groups and new decidability proofs are obtained for the equational theory of this variety and extending finite subsets of free groups to right orders; and a calculus for representable ℓ-groups is generated and a new proof is obtained that free groups are orderable
Theorems of Alternatives for Substructural Logics
No full textA theorem of alternatives provides a reduction of validity in a substructural logic to validity in its multiplicative fragment. Notable examples include a theorem of Arnon Avron that reduces the validity of a disjunction of multiplicative formulas in the "R-mingle" logic RM to the validity of a linear combination of these formulas, and Gordan’s theorem for solutions of linear systems over the real numbers that yields an analogous reduction for validity in Abelian logic A. In this paper, general conditions are provided for axiomatic extensions of involutive uninorm logic without additive constants to admit a theorem of alternatives. It is also shown that a theorem of alternatives for a logic can be used to establish (uniform) deductive interpolation and completeness with respect to a class of dense totally ordered residuated lattices
From L-Groups to Distributive L-Monoids, and Back Again
No full textWe prove that an inverse-free equation is valid in the variety LG of lattice-ordered groups (L-groups) if and only if it is valid in the variety DLM of distributive latticeordered monoids (distributive L-monoids). This contrasts with the fact that, as proved by Repnitskii, there exist inverse-free equations that are valid in all Abelian L-groups but not in all commutative distributive L-monoids, and, as we prove here, there exist inverse-free equations that are valid in all totally ordered groups but not in all totally ordered monoids. We also prove that DLM has the finite model property and a decidable equational theory, establish a correspondence between the validity of equations in DLM and the existence of certain right orders on free monoids, and provide an effective method for reducing the validity of equations in LG to the validity of equations in DLM
Subminimal negation
No full textMinimal logic, i.e., intuitionistic logic without the ex falso principle, is investigated in its original form with a negation symbol instead of a symbol denoting the contradiction. A Kripke semantics is developed for minimal logic and its sublogics with a still weaker negation by introducing a function on the upward closed sets of the models. The basic logic is a logic in which the negation has no properties but the one of being a unary operator. A number of extensions is studied of which the most important ones are contraposition logic and negative ex falso, a weak form of the ex falso principle. Completeness is proved, and the created semantics is further studied. The negative translation of classical logic into intuitionistic logic is made part of a chain of translations by introducing translations from minimal logic into contraposition logic and intuitionistic logic into minimal logic, the latter having been discovered in the correspondence between Johansson and Heyting. Finally, as a bridge to the work of Franco Montagna a start is made of a study of linear models of these logics
“Ese espacio, sagrado para mí”: las columnas de Almudena Grandes
No full textThis article analyses Almudena Grandes’ journalistic production, to date very little studied, considering that her two facets, the columnist and the writer, integrate and complement each other significantly. Through the columns published in El País, the present work examines how the author has forged over the years her rhetorical ethos, that is, the worldview of her opinion-maker self, and delineates the stylistic strategies adopted to construct a highly empathetic communication.El artículo analiza la producción periodística de Almudena Grandes, hasta la fecha muy poco estudiada, considerando que sus dos facetas, la de columnista y la de novelista, se integran y complementan de manera significativa. Por medio de las columnas publicadas en El País, se examina cómo la autora ha ido forjando a lo largo de los años su ethos, es decir, la visión del mundo de su yo opinante, y se delinean las estrategias estilísticas adoptadas para construir una comunicación empática con sus lectores
Masters of the Universe, by Almudena Ramírez-Pantanella, translated by Sarah Maitland. Performance of translation, directed by Almudena Ramírez-Pantanella, Cervantes Theatre
No full textMasters of the Universe, 2018 (Los amos del mundo, 2016, by Almudena Ramírez-Pantanella; my translation commissioned by the author and performed as a rehearsed reading at the Cervantes Theatre as part of the Out of the Wings Festival 2-6 July 2018; 5 July 2018
- …
