Free-Variable Tableaux for Propositional Modal Logics

Free-variable semantic tableaux are a well-established technique for first-order theorem proving where free variables act as a meta-linguistic device for tracking the eigenvariables used during proof search. We present the theoretical foundations to extend this technique to propositional modal logics, including non-trivial rigorous proofs of soundness and completeness, and also present various techniques that improve the efficiency of the basic naive method for such tableaux.     

Three Complexity Problems in Quantified Fuzzy Logic

We prove that the sets of standard tautologies of predicate Product Logic and of predicate Basic Logic, as well as the set of standard-satisfiable formulas of predicate Basic Logic are not arithmetical, thus finding a rather satisfactory solution to three problems proposed by Hájek in [H01].     

The Idea of a Proof-Theoretic Semantics and the Meaning of the Logical Operations

This is a purely conceptual paper. It aims at presenting and putting into perspective the idea of a proof-theoretic semantics of the logical operations. The first section briefly surveys various semantic paradigms, and Section 2 focuses on one particular paradigm, namely the proof-theoretic semantics of the logical operations. This revised version was published online in June 2006 with corrections to the Cover Date.     

Completeness Theorems via the Double Dual Functor

The aim of this paper is to apply properties of the double dual endofunctor on the category of bounded distributive lattices and some extensions thereof to obtain completeness of certain non-classical propositional logics in a unified way. In particular, we obtain completeness theorems for Moisil calculus, n-valued Łukasiewicz calculus and Nelson calculus. Furthermore we show some conservativeness results by these methods. This revised version was published online in June 2006 with corrections to the Cover Date.     

认知特征、场独立性与飞行空间定向关系的研究

通过认知分化测验（ＣＬＢ）、团体镶嵌图形测验（ＧＥＦＴ）以及飞行定向水平的模糊评价技术,旨在检验认知特征、场独立性和飞行空间定向水平之间的关系。研究结果表明;（１）高水平的视觉空间认知能力及较强的场独立性特征不仅有助于获得一个良好的飞行定向水平,而且还构成了预测定向水平差异的有效指标;（２）场独立性特征与空间认知特征之间存在着一个很高的相关。具有较强场独立性特征的飞行员往往也具有较为典型的空间认知特征;（３）错觉水平较低的飞行员与中、重度错觉水平组飞行员在空间认知、认知分化和场独立性上的得分分别构成了显著的差异,表明轻度组飞行员在空间定向中表现出了良好的视觉空间信息组织、加工和某些元认知技能方面的优势。研究结果进一步证明了视觉空间认知加工和场独立性水平与飞行空间定向之间的紧密关系。     

Adaptive logics using the minimal abnormality strategy are $$\Pi^1_1$$ -complex

In this article complexity results for adaptive logics using the minimal abnormality strategy are presented. It is proven here that the consequence set of some recursive premise sets is -complete. So, the complexity results in (Horsten and Welch, Synthese 158:41–60, 2007) are mistaken for adaptive logics using the minimal abnormality strategy.     

An Application of MCDM in Water Resources Problems

In this paper a practical application of MCDM in water resources problems is presented. Based on a real project for Qinhuangdao water resources management sponsored by Qinhuangdao Municipality, we construct a set of models for inflow forecast, reservoir operations, water supply and allocation, and flood routing for system optimal operation and flood management. A stochastic dynamic programming (DP) model with a fuzzy criterion is proposed for monthly reservoir operations. A series of goal programming (GP) models is built for water supply and allocation on different planning and operating levels. The DP–GP models fulfil the optimal operation tasks of a water resources management decision support system (WRMDSS) for Qinhuangdao water resources management.     

Fuzzy MCDM based on the concept of α‐cut

In a fuzzy multiple criteria decision‐making (MCDM) problem, with a hierarchical structure of more than two levels and involving multiple decision‐makers (DMs), to find the exact membership functions of the final aggregation ratings of all feasible alternatives is almost impossible. Thus, ranking methods based on exact membership functions cannot be utilized to rank the feasible alternatives and complete the optimal selection. To resolve the above‐mentioned complexity and to incorporate assessments of all DMs' viewpoints, in this paper a fuzzy MCDM method with multiple DMs, based on the concepts of fuzzy set theory and α‐cut, is developed. This method incorporates a number of perspectives on how to approach the fuzzy MCDM problem with multiple DMs, as follows: (1) combining quantitative and qualitative criteria as well as negative and positive ones; (2) using the generalized means to develop the aggregation method of multiple DMs' opinions; (3) incorporating the risk attitude index β to convey the total risk attitude of all DMs by using the estimation data obtained at the data input stage; (4) employing the algebraic operations of fuzzy numbers based on the concept of α‐cut to calculate the final aggregation ratings and develop a matching ranking method for proposed fuzzy MCDM method with multiple DMs. Furthermore, we use this method to survey the site selection for free port zone (FPZ) in Taiwan as an empirical study to demonstrate the proposed fuzzy MCDM algorithm. The result of this empirical investigation shows that the port of Kaohsiung, the largest international port of Taiwan as well as the sixth container port in the world in 2004, is optimal for the Taiwan government in enacting the plan of FPZ. Copyright © 2005 John Wiley & Sons, Ltd.     

Does retrieval practice depend on semantic cues? Assessing the fuzzy trace account of the testing effect

Retrieval practice enhances long-term retention more than restudying; a phenomenon called the testing effect. The fuzzy trace explanation predicts that a testing effect will already emerge after a short interval when participants are solely provided with semantic cues in the final test. In the present study, we assessed this explanation by gradually reducing the surface features overlap between cues in the learning phase and the final recognition test. In all five experiments, participants in the control/word condition received as final test cues the same words as in the learning phase. The experimental final test cues consisted of scrambled words, words in a new context, scrambled words in a new context (Experiment 1), synonyms (Experiment 2), or images (Experiments 3, 4a, 4b). A short-term testing effect was only observed for the image final test cues. These results do not provide strong support for the fuzzy trace explanation of the testing effect.