We suggest that the conventional need for overwhelming amounts of astrophysical dark matter should be regarded as a warning to standard gravity rather than as merely a challenge to it, and show that the systematics of galactic rotation curve data can just as readily point in the direction of the equally covariant conformal gravity alternative. In particular we identify an apparent imprint of th...

BACKGROUND Logical Analysis of Data is a methodology of mathematical optimization on the basis of the systematic identification of patterns or "syndromes." In this study, we used Logical Analysis of Data for risk stratification and compared it to regression techniques. METHODS AND RESULTS Using a cohort of 9454 patients referred for exercise testing, Logical Analysis of Data was applied to id...

The notion of homogeneous logical proportions has been recently introduced in close relation with the idea of analogical proportion. The four homogeneous proportions have intuitive meanings, which can be related with classification tasks. In this paper, we proposed a supervised classification algorithm using homogeneous logical proportions and provide results for all. A final comparison with pr...

This paper explores proof-theoretic aspects of hybrid type-logical grammars, a logic combining Lambek grammars with lambda grammars. We prove some basic properties the calculus, such as normalisation and subformula property also present both sequent proof net calculus for In addition to clarifying logical foundations current study opens way variants extensions original system, including but not...