A genuine fuzzy approach to fuzzy mathematics consists in constructing axiomatic theories over suitable systems of formal fuzzy logic. The features of formal fuzzy logics (esp. the invalidity of the law of contraction) entail certain differences in form between theories axiomatized in fuzzy logic and usual theories known from classical mathematics. This paper summarizes the most important diffe...

This paper describes our system participated in the Japanese and English Retrieval Subtasks at the NTCIR-6 Patent Retrieval Task. The purpose of these subtasks is the invalidity search, in which a patent application including a target claim is used to search documents that can invalidate the demand in the claim. Although we use a regular text-based retrieval method for the Japanese Retrieval Su...

This article identifies problems with regard to providing criteria that regulate the matching of logical formulae and natural language. We then take on to solve these problems by defining a necessary and sufficient criterion of adequate formalization. On the basis of this criterion we argue that logic should not be seen as an ars iudicandi capable of evaluating the validity or invalidity of inf...

Unbinding of a double-stranded DNA reduces to an unscreened long range interaction and maps on various problems. Heterogeneity renormalizes interaction. Renormalization is temperature dependent. At an unbinding transition it approaches critical dimensionality. This implies giant non-universal critical indexes and invalidity of the Gibbs distribution sufficiently close to the critical temperatur...

This study was designed to identify a core set of items that may characterize impaired health in chronic respiratory failure (CRF) since none of the questionnaires commonly used to measure impaired health in patients with CRF were developed for use in such patients. Questionnaire items, identified from several sources, were administered to 92 patients with stable severe chronic hypoxia or hyper...