scholarly journals Nominal Equational Problems

Author(s):  
Mauricio Ayala-Rincón ◽  
Maribel Fernández ◽  
Daniele Nantes-Sobrinho ◽  
Deivid Vale

AbstractWe define nominal equational problems of the form $$\exists \overline{W} \forall \overline{Y} : P$$ ∃ W ¯ ∀ Y ¯ : P , where $$P$$ P consists of conjunctions and disjunctions of equations $$s\approx _\alpha t$$ s ≈ α t , freshness constraints $$a\#t$$ a # t and their negations: $$s \not \approx _\alpha t$$ s ≉ α t and "Equation missing", where $$a$$ a is an atom and $$s, t$$ s , t nominal terms. We give a general definition of solution and a set of simplification rules to compute solutions in the nominal ground term algebra. For the latter, we define notions of solved form from which solutions can be easily extracted and show that the simplification rules are sound, preserving, and complete. With a particular strategy for rule application, the simplification process terminates and thus specifies an algorithm to solve nominal equational problems. These results generalise previous results obtained by Comon and Lescanne for first-order languages to languages with binding operators. In particular, we show that the problem of deciding the validity of a first-order equational formula in a language with binding operators (i.e., validity modulo $$\alpha $$ α -equality) is decidable.

2003 ◽  
Vol 15 (07) ◽  
pp. 705-743 ◽  
Author(s):  
MICHAEL FORGER ◽  
CORNELIUS PAUFLER ◽  
HARTMANN RÖMER

We present a general definition of the Poisson bracket between differential forms on the extended multiphase space appearing in the geometric formulation of first order classical field theories and, more generally, on exact multisymplectic manifolds. It is well defined for a certain class of differential forms that we propose to call Poisson forms and turns the space of Poisson forms into a Lie superalgebra.


2016 ◽  
Vol 14 (1) ◽  
pp. 1122-1124 ◽  
Author(s):  
Ricardo Almeida ◽  
Małgorzata Guzowska ◽  
Tatiana Odzijewicz

AbstractIn this short note we present a new general definition of local fractional derivative, that depends on an unknown kernel. For some appropriate choices of the kernel we obtain some known cases. We establish a relation between this new concept and ordinary differentiation. Using such formula, most of the fundamental properties of the fractional derivative can be derived directly.


2020 ◽  
Vol 79 (Suppl 1) ◽  
pp. 1633.2-1634
Author(s):  
F. Cosan ◽  
O. M. Gedar

Background:Reactive arthritis (ReA) is defined by 1999 ACR criteria as arthritis preceding a bacterial genitourinary (GUS) or gastrointestinal (GIS) infection in 3 days-6 weeks and evidence of triggering infection. Recently, ReA is classified as SpA and patients who do not fulfill SpA criteria are classified as undifferentiated spondyloarthritis (USpA) according to ASAS/EULAR SpA classification criteria.Objectives:In several case reports which are associated with other infective agents are reported and the definition is extended for some clinicians so that SpA which is occurred after any infection is called as ReA. On the other hand, some researchers still accept the classical definition of ReA. The problem with the heterogeneity of opinions and unstandardized definition of ReA hinders studies about pathogenesis and standardization of treatments. In this study, we aimed to determine the spectrum of the use of the definition of reactive arthritis in publications in PubMed between 2009-2019.Methods:The ReA keyword is searched in PubMed for the years between 2009-2019. 248 different publications have been identified and included in this research. 89 articles, 47 reviews, 108 case reports, 2 guidelines, and 2 editorials reviewed for the definition of ReA.Results:Only 42.7% (106 patients) of these publications meet the classical definition which suggests ReA after only GIS and GUS infections. In 4 (1.6%) of the publications ReA was defined after GIS, GUS and oropharyngeal infections; in 3 (1,2%) of the publications after any bacterial infection; in 9 (3.6%) of the publications after any infection. In 8 (3.2%) of the publications, ReA and USPA was used correspondingly. In 39 (15,7%) of the publications the term agent related, ReA was used without making a general definition for ReA. 79 publications (31,9%) have not defined ReA.According to causative agent and ReA relationship, in 64 (24,6%) general infective agents, in 75 (30,2%) classical agents, in 22 (8,9%) other bacterial agents, in 23 (9,3%) streptococcus, in 10(4%) intravesical BCG, in 6 (2.4%) HIV, in 6 (2.4%) tuberculosis, in 12 (4,8%) clostrudium difficle, in 2 (0.8%) parasites were reported. In 31 (12,5%) of the publications the causative agent for the ReA was unknown, the diagnosis was made clinically.Conclusion:In this study, it is aimed to draw attention terminology intricacy and the need for the standardization of the definition of ReA and USpA. It is clear that to standardize the definition of Rea and USpA is necessary. Between 2009-2019 there are reported cases diagnosed as ReA associated with bacterial infections (especially with Clostridium difficile, streptococcus and tuberculosis infections), and viral infections (by a majority with HIV), and parasitic infections. It is not clear if we need to define them classically or define them as USPA. Another important consideration is the necessity of extended laboratory investigations to find out the real causative agent even if the patient is clinically diagnosed with ReA. The requirement of the differentiation between ReA and USpA must be revealed for therapeutic researches.References:[1]A proposal for the classification of patients for clinical and experimental studies on reactive arthritis. Pacheco-Tena C, Burgos-Vargas R, Vázquez-Mellado J, Cazarín J, Pérez-Díaz JA. J Rheumatol. 1999 Jun;26(6):1338-46.[2]The Assessment of SpondyloArthritis International Society classification criteria for peripheral spondyloarthritis and for spondyloarthritis in general. Rudwaleit M, van der Heijde D, Landewé R, Akkoc N, Brandt J, Chou CT, Dougados M, Huang F, Gu J, Kirazli Y, et al. Ann Rheum Dis. 2011;70:25–31.Disclosure of Interests:None declared


Author(s):  
M. Ferrara ◽  
M. Trombetti

AbstractLet G be an abelian group. The aim of this short paper is to describe a way to identify pure subgroups H of G by looking only at how the subgroup lattice $$\mathcal {L}(H)$$ L ( H ) embeds in $$\mathcal {L}(G)$$ L ( G ) . It is worth noticing that all results are carried out in a local nilpotent context for a general definition of purity.


Symmetry ◽  
2021 ◽  
Vol 13 (2) ◽  
pp. 348
Author(s):  
Merced Montesinos ◽  
Diego Gonzalez ◽  
Rodrigo Romero ◽  
Mariano Celada

We report off-shell Noether currents obtained from off-shell Noether potentials for first-order general relativity described by n-dimensional Palatini and Holst Lagrangians including the cosmological constant. These off-shell currents and potentials are achieved by using the corresponding Lagrangian and the off-shell Noether identities satisfied by diffeomorphisms generated by arbitrary vector fields, local SO(n) or SO(n−1,1) transformations, ‘improved diffeomorphisms’, and the ‘generalization of local translations’ of the orthonormal frame and the connection. A remarkable aspect of our approach is that we do not use Noether’s theorem in its direct form. By construction, the currents are off-shell conserved and lead naturally to the definition of off-shell Noether charges. We also study what we call the ‘half off-shell’ case for both Palatini and Holst Lagrangians. In particular, we find that the resulting diffeomorphism and local SO(3,1) or SO(4) off-shell Noether currents and potentials for the Holst Lagrangian generically depend on the Immirzi parameter, which holds even in the ‘half off-shell’ and on-shell cases. We also study Killing vector fields in the ‘half off-shell’ and on-shell cases. The current theoretical framework is illustrated for the ‘half off-shell’ case in static spherically symmetric and Friedmann–Lemaitre–Robertson–Walker spacetimes in four dimensions.


2021 ◽  
Vol 2021 (4) ◽  
Author(s):  
Clifford V. Johnson ◽  
Felipe Rosso

Abstract Recent work has shown that certain deformations of the scalar potential in Jackiw-Teitelboim gravity can be written as double-scaled matrix models. However, some of the deformations exhibit an apparent breakdown of unitarity in the form of a negative spectral density at disc order. We show here that the source of the problem is the presence of a multi-valued solution of the leading order matrix model string equation. While for a class of deformations we fix the problem by identifying a first order phase transition, for others we show that the theory is both perturbatively and non-perturbatively inconsistent. Aspects of the phase structure of the deformations are mapped out, using methods known to supply a non-perturbative definition of undeformed JT gravity. Some features are in qualitative agreement with a semi-classical analysis of the phase structure of two-dimensional black holes in these deformed theories.


2021 ◽  
Author(s):  
Andrea Marin ◽  
Carla Piazza ◽  
Sabina Rossi

AbstractIn this paper, we deal with the lumpability approach to cope with the state space explosion problem inherent to the computation of the stationary performance indices of large stochastic models. The lumpability method is based on a state aggregation technique and applies to Markov chains exhibiting some structural regularity. Moreover, it allows one to efficiently compute the exact values of the stationary performance indices when the model is actually lumpable. The notion of quasi-lumpability is based on the idea that a Markov chain can be altered by relatively small perturbations of the transition rates in such a way that the new resulting Markov chain is lumpable. In this case, only upper and lower bounds on the performance indices can be derived. Here, we introduce a novel notion of quasi-lumpability, named proportional lumpability, which extends the original definition of lumpability but, differently from the general definition of quasi-lumpability, it allows one to derive exact stationary performance indices for the original process. We then introduce the notion of proportional bisimilarity for the terms of the performance process algebra PEPA. Proportional bisimilarity induces a proportional lumpability on the underlying continuous-time Markov chains. Finally, we prove some compositionality results and show the applicability of our theory through examples.


2019 ◽  
Vol 29 (8) ◽  
pp. 1311-1344 ◽  
Author(s):  
Lauri T Hella ◽  
Miikka S Vilander

Abstract We propose a new version of formula size game for modal logic. The game characterizes the equivalence of pointed Kripke models up to formulas of given numbers of modal operators and binary connectives. Our game is similar to the well-known Adler–Immerman game. However, due to a crucial difference in the definition of positions of the game, its winning condition is simpler, and the second player does not have a trivial optimal strategy. Thus, unlike the Adler–Immerman game, our game is a genuine two-person game. We illustrate the use of the game by proving a non-elementary succinctness gap between bisimulation invariant first-order logic $\textrm{FO}$ and (basic) modal logic $\textrm{ML}$. We also present a version of the game for the modal $\mu $-calculus $\textrm{L}_\mu $ and show that $\textrm{FO}$ is also non-elementarily more succinct than $\textrm{L}_\mu $.


2002 ◽  
Vol 27 (1) ◽  
pp. 42-55 ◽  
Author(s):  
Brian R. Macintosh ◽  
Dilson E. Rassier

Fatigue and potentiation are two forms of force modulation. A general definition of fatigue is "a circumstance where less than the anticipated contractile response is obtained." Fatigue is associated with depressed Ca2+ release and possibly decreased Ca2+ sensitivity. Potentiation results from increased Ca2+ sensitivity due to regulatory light chain phosphorylation. Muscle fatigue and potentiation can coexist, making it difficult to quantify these processes. With repetitive 10 Hz stimulation, the developed tension first increases, then decreases. Is fatigue present when developed tension first begins to decrease or when it falls below the developed tension of the first response? Intermittent incompletely fused tetanic contractions for which peak developed tension first decreases, then increases, is another unusual example of fatigue. A third example is when twitch contractions following a tetanic contraction decrease to a level below the pretetanic twitch amplitude, indicating that fatigue may have been coexistent with posttetanic potentiation. These observations illustrate the complexity of detecting fatigue, based on the simple, but commonly accepted definition presented above. Care must be taken in interpreting "before vs. after" contractile responses. Even when the contraction amplitude is greater than the initial response, there is no guarantee that mechanisms associated with fatigue are not present. Key words: calcium sensitivity, staircase, posttetanic potentiation, myosin light chains, skeletal muscle


Sign in / Sign up

Export Citation Format

Share Document