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]

open access: yes, 2012
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

open access: yesOpen Linguistics, 2018
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

open access: yesEast European Journal of Psycholinguistics, 2019
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

On Stronger Calculi for QBFs

open access: yes, 2016
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

Complexity and Expressivity of Branching- and Alternating-Time Temporal Logics with Finitely Many Variables

open access: yes, 2019
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

Simultaneous solution of material procurement scheduling and material allocation to warehouse using simulated annealing

open access: yesJournal of Applied Research on Industrial Engineering, 2019
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

Generic substitutions

open access: yes, 2004
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]

open access: yesComputer Science Journal of Moldova, 1999
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]

open access: yes, 2014
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]

open access: yesThe Polish Journal of Aesthetics, 2010
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  

Home - About - Disclaimer - Privacy