Results 31 to 40 of about 59,882 (275)
Variable types for meaning assembly: a logical syntax for generic noun phrases introduced by most [PDF]
This paper proposes a way to compute the meanings associated with sentences with generic noun phrases corresponding to the generalized quantifier most. We call these generics specimens and they resemble stereotypes or prototypes in lexical semantics. The
Retoré, Christian
core +4 more sources
Modality in Spanish Sign Language (LSE) revisited: a functional account
This paper provides an analysis of modality in Spanish Sign Language (Lengua de Signos Española: LSE) from a functional perspective. Following FDG assumptions, scope will be the basic criterion in delineating modal subtypes.
Salazar-García Ventura
doaj +1 more source
Psycholinguistic Markers of Autobiographical and Traumatic Memory
This study examines psycholinguistic structure of autobiographical and traumatic narratives representing positive emotional and stressful traumatic life events.
Larysa Zasiekina +3 more
doaj +1 more source
Quantified Boolean formulas (QBFs) generalize propositional formulas by admitting quantifications over propositional variables. QBFs can be viewed as (restricted) formulas of first-order predicate logic and easy translations of QBFs into first-order ...
Egly, Uwe
core +2 more sources
We show that Branching-time temporal logics CTL and CTL*, as well as Alternating-time temporal logics ATL and ATL*, are as semantically expressive in the language with a single propositional variable as they are in the full language, i.e., with an ...
A David +30 more
core +1 more source
One of the classes of the project schedule is the Material Procurement Scheduling (MPS) problem, which is considered besides the material allocation to warehouse (MAW) problem recently.
Nima Moradi, Shahram Shadrokh
doaj +1 more source
Up to equivalence, a substitution in propositional logic is an endomorphism of its free algebra. On the dual space, this results in a continuous function, and whenever the space carries a natural measure one may ask about the stochastic properties of the
Panti, Giovanni
core +3 more sources
Fuzzy Multi-dimensional Analysis and Resolution Operation [PDF]
In this paper a new original approach to the analysis of fuzzy multi- dimensional distributions is described. A uniform method for representing fuzzy multi-dimensional distributions by means of sectioned vectors and matrices is proposed. Sectioned matrix
Alexandr Savinov
doaj
The modal logic of Reverse Mathematics [PDF]
The implication relationship between subsystems in Reverse Mathematics has an underlying logic, which can be used to deduce certain new Reverse Mathematics results from existing ones in a routine way.
Mummert, Carl +2 more
core +1 more source
ZDANIA AKSJOLOGICZNE Z PERSPEKTYWY NATURALIZMU [PDF]
This paper discusses axiological sentences and views about them. Simple axiological sentences fall under the scheme (1) „a is P ”, where a stands for a proper name or a description and P corresponds to an axiological predicate, such as „is good”, or „is ...
Jan Woleński
doaj

