Results 11 to 20 of about 655,566 (261)
Local Normal Forms for First-Order Logic with Applications to Games and Automata [PDF]
Discrete Mathematics & Theoretical Computer Science, 1999 Building on work of Gaifman [Gai82] it is shown that every first-order formula is logically equivalent to a formula of the form ∃ x_1,...,x_l, \forall y, φ where φ is r-local around y, i.e. quantification in φ is restricted to elements of the universe of
Thomas Schwentick, Klaus Barthelmann
doaj +3 more sources
De re attitude reports about disjunctive attitudes
Слово.ру: балтийский акцент, 2022 This paper discusses the semantics of so-called de re propositional attitudes. According to the standard Kaplanian analysis, the semantics of such dicta contains existential quantification over functions that map the attitude holder and the object of ...
Ekaterina V. Vostrikova, Petr S. Kusliy
doaj +1 more source
Relational $\star$-Liftings for Differential Privacy [PDF]
Logical Methods in Computer Science, 2019 Recent developments in formal verification have identified approximate liftings (also known as approximate couplings) as a clean, compositional abstraction for proving differential privacy. This construction can be defined in two styles.
Gilles Barthe +4 more
doaj +1 more source
The Primacy of the Universal Quantifier in Frege's Concept-Script
Dialectica, 2022 This paper presents three explanations of why Frege took the universal, rather than the existential, quantifier as primitive in his formalization of logic. The first two explanations provide technical reasons related to how Frege formalizes the logic of
Joongol Kim
doaj +1 more source
Between freedom and despair: Existential challenges and contributions to person-centered and experiential therapy [PDF]
, 2003 This article explores a range of contributions that existential thinking may be able to make to the theory and practice of person-centred and experiential therapy.
Cooper, Mick; id_orcid, Cooper, Mick
core +3 more sources
An expletive negation unlike any other in Québec French
Isogloss, 2022 This paper explores ‘expletive’ uses of the negative marker pas in Québec French (QF) (Kemp 1982, Larriv´ee 1996), which despite checking every diagnostic for expletive negation (ExN), do not pattern with previously documented cases of ExN.
Aurore Gonzalez, Justin Royer
doaj +1 more source
A proposal for the assessment of soil security: Soil functions, soil services and threats to soil
Soil Security, 2023 Human societies face six existential challenges to their sustainable development. These challenges have been previously addressed by a myriad of concepts such as soil conservation, soil quality, and soil health. Yet, of these, only soil security attempts
Sandra J. Evangelista +7 more
doaj +1 more source
Exhaustification in the semantics of cause and because
Glossa, 2023 We show that a single operation can account for three seemingly distinct properties of the semantics of cause and because. The properties are, firstly, their comparative nature: interpreting cause and because involves comparing what would happen in the ...
Dean Michael McHugh
doaj +2 more sources
Existential Quantification for Variant Ownership [PDF]
, 2009 Ownership types characterize the topology of objects in the heap, through a characterization of the context to which an object belongs. They have been used to support reasoning, memory management, concurrency, etc. Subtyping is traditionally invariant w.r.t. contexts, which has often proven inflexible in some situations.
Nicholas Cameron 0001 +1 more
openaire +2 more sources
About meanings as a rule not included in dictionaries
Cognitive Studies | Études cognitives, 2015 About meanings as a rule not included in dictionaries The article discusses the problem of ambiguity of the exponents of logical existential quantification occurring in the verbal group of Bulgarian, Polish and Russian sentences: Bulg. отвреме навреме,
Violetta Koseska-Toszewa, Maksim Duszkin
doaj +1 more source