We compare G7 life expectancies with the existential conditions from 1870 to date, using the real annual outputs of goods and services per capita as a measure of existential conditions. Wars destroy analytic relations, but life insurers eliminate catastrophic losses, and the outputs have an envelope representing the undisturbed existential condition. Both evolutions are S-functions with the sam...

The system of Peirce’s existential graphs is a diagrammatic version of first order logic. To be more precise: As Peirce wanted to develop a logic of relatives (i.e., relations), existential graphs correspond to first order logic with relations and identity, but without constants or functions. In contemporary elaborations of first order logic, constants and functions are usually employed. In thi...

This paper investigates an interesting type of existential construction in Tagalog and proposes an analysis of it in terms of Role and Reference Grammar. The construction in question is known as an ‘event existential’ and is exemplified in (1), and it contrasts with a ‘plain’ or ‘nominal’ existential construction in (2). Example (1) is from Aldridge (2011), who presents a Minimalist analysis of...

This paper shows the inhabitance in the lambda calculus with negation, product, and existential types is decidable. This is proved by showing existential quantification can be eliminated and reducing the problem to provability in intuitionistic propositional logic. By the same technique, this paper also shows existential quantification followed by negation can be replaced by a specific witness ...

BACKGROUND Existential distress is an important factor affecting psychological well-being in cancer patients. We studied occurrence and predictors of demoralization, a syndrome of existential distress, in particular the interaction of age, gender, and curative vs. palliative treatment phase. METHODS A cross-sectional sample of N = 750 patients with different tumor sites was recruited from in-...

Security protocols employing cryptographic primitives with algebraic properties are conveniently modeled using Horn clauses modulo equational theories. We consider clauses corresponding to the class H3 of Nielson, Nielson and Seidl. We show that modulo the theory ACU of an associative-commutative symbol with unit, as well as its variants like the theory XOR and the theory AG of Abelian groups, ...