排序方式: 共有44条查询结果,搜索用时 62 毫秒
1.
Valentin Goranko 《Studia Logica》1985,44(3):291-317
This paper deals with, prepositional calculi with strong negation (N-logics) in which the Craig interpolation theorem holds. N-logics are defined to be axiomatic strengthenings of the intuitionistic calculus enriched with a unary connective called strong negation. There exists continuum of N-logics, but the Craig interpolation theorem holds only in 14 of them. 相似文献
2.
Intermediate prepositional logics we consider here describe the setI() of regular informational types introduced by Yu. T. Medvedev [7]. He showed thatI() is a Heyting algebra. This algebra gives rise to the logic of infinite problems from [13] denoted here asLM
1. Some other definitions of negation inI() lead to logicsLM
n
(n ). We study inclusions between these and other systems, proveLM
n
to be non-finitely axiomatizable (n ) and recursively axiomatizable (n < ). We also show that formulas in one variable do not separateLM
from Heyting's logicH, andLM
n
(n < ) from Scott's logic (H+S). 相似文献
3.
Wolfram Boucsein Annette Valentin John J. Furedy 《Integrative psychological & behavioral science》1993,28(3):213-225
Differences related to age and to specific neurological (Parkinsonian) damage were studied by contrasting, respectively, old (mean age 64 years) and young (27 years) subjects (N=15), and old-normal (N=15) and old-Parkinsonian (N=15) subjects. Both behavioral as well as psychophysiological dependent variables were employed. The behavioral measure was performance on a discrimination learning task, while the psychophysiological measures were based on habituation to a repeated tone stimulus and on a Pavlovian differential conditioning preparation. The behavioral task showed predominantly age-related differences, with the young learning faster. Another age-related difference was interpreted as showing a more insight-like learning process in the young. Response-bias (beta) values did not differ between groups. Age-related differences also emerged more clearly than specific-neurological-damage differences in the psychophysiological data. The older subjects manifested markedly less autonomic conditioning, which was probably due to a lowering of reactivity, as well as the emergence of habituation to the (loud-noise) unconditional stimulus. A correlational analysis of discrimination conditioning also yielded age-related differences. Most notably, reactivity played a greater role in conditioning in the old than in the young subjects. The results illustrated how psychophysiological measures can provide information that complements those provided by behavioral measures. 相似文献
4.
Interval timing in operant conditioning is the learned covariation of a temporal dependent measure such as wait time with a temporal independent variable such as fixed-interval duration. The dominant theories of interval timing all incorporate an explicit internal clock, or "pacemaker," despite its lack of independent evidence. The authors propose an alternative, pacemaker-free view that demonstrates that temporal discrimination can be explained by using only 2 assumptions: (a) variation and selection of responses through competition between reinforced behavior and all other, elicited, behaviors and (b) modulation of the strength of response competition by the memory for recent reinforcement. The model departs radically from existing timing models: It shows that temporal learning can emerge from a simple dynamic process that lacks a periodic time reference such as a pacemaker. 相似文献
5.
Boumenir Y Georges F Valentin J Rebillard G Dresp-Langley B 《Perceptual and motor skills》2010,111(3):829-847
Strategies for finding one's way through an unfamiliar environment may be helped by 2D maps, 3D virtual environments, or other navigation aids. The relative effectiveness of aids was investigated. Experiments were conducted in a large, park-like environment. 24 participants (12 men, 12 women; age range = 22-50 years; M=32, SD = 7.4) were divided into three groups of four individuals, who explored a 2D map of a given route prior to navigation, received a silent guided tour by means of an interactive virtual representation, or acquired direct experience of the real route through a silent guided tour. Participants then had to find the same route again on their own. 12 observers were given a "simple" route with only one critical turn, and the other 12 a "complex" route with six critical turns. Compared to three people familiar with the routes, among the naive participants, those who had a direct experience prior to navigation all found their way again on the simple and complex routes. Those who had explored the interactive virtual environment were unable to find their way on the complex route. The relative scale representation in the virtual environment may have given incorrect impressions of relative distances between objects along the itinerary, rendering important landmark information useless. 相似文献
6.
Alice J. O’Toole Kenneth A. Deffenbacher Dominique Valentin Karen McKee David Huff Hervé Abdi 《Memory & cognition》1998,26(1):146-160
The perception of face gender was examined in the context of extending “face space” models of human face representations to include the perceptual categories defined by male and female faces. We collected data on the recognizability, gender classifiability (reaction time to classify a face as male/female), attractiveness, and masculinity/femininity of individual male and female faces. Factor analyses applied separately to the data for male and female faces yielded the following results. First, for both male and female faces, the recognizability and gender classifiability of faces were independent—a result inconsistent with the hypothesis that both recognizability and gender classifiability depend on a face’s “distance” from the subcategory gender prototype. Instead, caricatured aspects of gender (femininity/masculinity ratings) related to the gender classifiability of the faces. Second, facial attractiveness related inversely to face recognizability for male, but not for female, faces—a result that resolves inconsistencies in previous studies. Third, attractiveness and femininity for female faces were nearly equivalent, but attractiveness and masculinity for male faces were not equivalent. Finally, we applied principal component analysis to the pixel-coded face images with the aim of extracting measures related to the gender classifiability and recognizability of individual faces. We incorporated these model-derived measures into the factor analysis with the human rating and performance measures. 相似文献
7.
Products of modal logics, part 1 总被引:1,自引:0,他引:1
8.
9.
10.
V. B. Shehtman 《Studia Logica》1983,42(1):63-80
This paper concerns modal logics appearing from the temporal ordering of domains in two-dimensional Minkowski spacetime. As R. Goldblatt has proved recently, the logic of the whole plane isS4.2. We consider closed or open convex polygons and closed or open domains bounded by simple differentiable curves; this leads to the logics:S4,S4.1,S4.2 orS4.1.2. 相似文献