Lehman College

About: Lehman College is a education organization based out in New York, New York, United States. It is known for research contribution in the topics: Matrix (mathematics) & Population. The organization has 674 authors who have published 1563 publications receiving 35990 citations. The organization is also known as: CUNY Lehman.

First-Order Logic and Automated Theorem Proving

Abstract: This monograph on classical logic presents fundamental concepts and results in a rigorous mathematical style. Applications to automated theorem proving are considered and usable programs in Prolog are provided. This material can be used both as a first text in formal logic and as an introduction to automation issues, and is intended for those interested in computer science and mathematics at the beginning graduate level. The book begins with propositional logic, then treats first-order logic, and finally, first-order logic with equality. In each case the initial presentation is semantic: Boolean valuations for propositional logic, models for first-order logic, and normal models when equality is added. This defines the intended subjects independently of a particular choice of proof mechanism. Then many kinds of proof procedures are introduced: tableau, resolution, natural deduction, Gentzen sequent and axiom systems. Completeness issues are centered in a model existence theorem, which permits the coverage of a variety of proof procedures without repetition of detail. In addition, results such as compactness, interpolation, and the Beth definability theorem are easily established. Implementations of tableau theorem provers are given in Prolog, and resolution is left as a project for the student.

Health disparities and health equity: the issue is justice

Abstract: Eliminating health disparities is a Healthy People goal. Given the diverse and sometimes broad definitions of health disparities commonly used, a subcommittee convened by the Secretary's Advisory Committee for Healthy People 2020 proposed an operational definition for use in developing objectives and targets, determining resource allocation priorities, and assessing progress. Based on that subcommittee's work, we propose that health disparities are systematic, plausibly avoidable health differences adversely affecting socially disadvantaged groups; they may reflect social disadvantage, but causality need not be established. This definition, grounded in ethical and human rights principles, focuses on the subset of health differences reflecting social injustice, distinguishing health disparities from other health differences also warranting concerted attention, and from health differences in general. We explain the definition, its underlying concepts, the challenges it addresses, and the rationale for applying it to United States public health policy.

A systematic review, meta-analysis and meta-regression of the effect of protein supplementation on resistance training-induced gains in muscle mass and strength in healthy adults

Abstract: Objective We performed a systematic review, meta-analysis and meta-regression to determine if dietary protein supplementation augments resistance exercise training (RET)-induced gains in muscle mass and strength. Data sources A systematic search of Medline, Embase, CINAHL and SportDiscus. Eligibility criteria Only randomised controlled trials with RET ≥6 weeks in duration and dietary protein supplementation. Design Random-effects meta-analyses and meta-regressions with four a priori determined covariates. Two-phase break point analysis was used to determine the relationship between total protein intake and changes in fat-free mass (FFM). Results Data from 49 studies with 1863 participants showed that dietary protein supplementation significantly (all p 2 (51, 570)) and mid-femur CSA (7.2 mm 2 (0.20, 14.30)) during periods of prolonged RET. The impact of protein supplementation on gains in FFM was reduced with increasing age (−0.01 kg (−0.02,–0.00), p=0.002) and was more effective in resistance-trained individuals (0.75 kg (0.09, 1.40), p=0.03). Protein supplementation beyond total protein intakes of 1.62 g/kg/day resulted in no further RET-induced gains in FFM. Summary/conclusion Dietary protein supplementation significantly enhanced changes in muscle strength and size during prolonged RET in healthy adults. Increasing age reduces and training experience increases the efficacy of protein supplementation during RET. With protein supplementation, protein intakes at amounts greater than ~1.6 g/kg/day do not further contribute RET-induced gains in FFM.

First-Order Modal Logic

Abstract: Preface. 1. Propositional Modal Logic. 2. Tableau Proof Systems. 3. Axiom Systems. 4. Quantified Modal Logic. 5. First-Order Tableaus. 6. First-Order Axiom Systems. 7. Equality. 8. Existence and Actualist Quantification. 9. Terms and Predicate Abstraction. 10. Abstraction Continued. 11. Designation. 12. Definite Descriptions. References. Index.