排序方式: 共有44条查询结果,搜索用时 62 毫秒
1.
Journal of Philosophical Logic - We compare the logic HYPE recently suggested by H. Leitgeb as a basic propositional logic to deal with hyperintensional contexts and Heyting-Ockham logic introduced... 相似文献
2.
Two logics L1 and L2 are negatively equivalent if for any set of formulas X and any negated formula ¬, ¬ can be deduced from the set of hypotheses X in L1 if and only if it can be done in L2. This article is devoted to the investigation of negative equivalence relation in the class of extensions of minimal logic.The author acknowledges support by the Alexander von Humboldt-StiftungPresented by Jacek Malinowski 相似文献
3.
4.
In a rather general setting, we prove a number of basic theorems concerning computational complexity of derivability in adaptive logics. For that setting, the so-called standard format of adaptive logics is suitably adopted, and the corresponding completeness results are established in a very uniform way. 相似文献
5.
6.
7.
Journal of Psycholinguistic Research - The paper introduces organizational psycholinguistics as an approach to professional communication i.e., the communication in organizations. The author... 相似文献
8.
Dr. Sergei Kochkin 《Journal of business and psychology》1987,1(3):236-247
It was hypothesized that screening applicants for theft proneness using the Reid Report might screen in more conservative, more rigid, and less creative candidates, in effect outweighing the benefits of the instrument. A sample of 179 applicants were administered the 16PF and the Reid Report. Sex, minority status, and type of position applied for were shown to be independent of performance on the Reid Report. Applicants passing the Reid Report were shown, at a statistically significant level, to have higher ego strength, to be less anxious, more apt to behave in socially desirable ways, less driven by id impulses, and less inhibited. Furthermore, applicants failing the Reid Report were shown to have total 16PF profiles which were statistically significantly closer (D2) to the 16PF profiles of five pathological groups than were those passing the Reid Report. Higher scores on the Reid Report were related to faking good on the 16PF. Since the relationship between 16PF faking good and the Reid Report may be indicative of real personality variance, distortion variance, or both follow-up research has been suggested. 相似文献
9.
Inspired by Hintikka’s ideas on constructivism, we are going to ‘effectivize’ the game-theoretic semantics (abbreviated GTS) for independence-friendly first-order logic (IF-FOL), but in a somewhat different way than he did in the monograph ‘The Principles of Mathematics Revisited’. First we show that Nelson’s realizability interpretation—which extends the famous Kleene’s realizability interpretation by adding ‘strong negation’—restricted to the implication-free first-order formulas can be viewed as an effective version of GTS for FOL. Then we propose a realizability interpretation for IF-FOL, inspired by the so-called ‘trump semantics’ which was discovered by Hodges, and show that this trump realizability interpretation can be viewed as an effective version of GTS for IF-FOL. Finally we prove that the trump realizability interpretation for IF-FOL appropriately generalises Nelson’s restricted realizability interpretation for the implication-free first-order formulas. 相似文献
10.