A system of relational syllogistic incorporating full Boolean reasoning

We present a system of relational syllogistic, based on classical propositional logic, having primitives of the following form: Some A are R-related to some B; Some A are R-related to all B; All A are R-related to some B; All A are R-related to all B. Such primitives formalize sentences from natural language like `All students read some textbooks'. Here A and B denote arbitrary sets (of objects), and R denotes an arbitrary binary relation between objects. The language of the logic contains only variables denoting sets, determining the class of set terms, and variables denoting binary relations between objects, determining the class of relational terms. Both classes of terms are closed under the standard Boolean operations. The set of relational terms is also closed under taking the converse of a relation. The results of the paper are the completeness theorem with respect to the intended semantics and the computational complexity of the satisfiability problem.Comment: Available at http://link.springer.com/article/10.1007/s10849-012-9165-

Diagnostic accuracy of liquid biopsy in endometrial cancer

Background: Liquid biopsy is a minimally invasive collection of a patient body fluid sample. In oncology, they offer several advantages compared to traditional tissue biopsies. However, the potential of this method in endometrial cancer (EC) remains poorly explored. We studied the utility of tumor educated platelets (TEPs) and circulating tumor DNA (ctDNA) for preoperative EC diagnosis, including histology determination. Methods: TEPs from 295 subjects (53 EC patients, 38 patients with benign gynecologic conditions, and 204 healthy women) were RNA-sequenced. DNA sequencing data were obtained for 519 primary tumor tissues and 16 plasma samples. Artificial intelligence was applied to sample classification. Results: Platelet-dedicated classifier yielded AUC of 97.5% in the test set when discriminating between healthy subjects and cancer patients. However, the discrimination between endometrial cancer and benign gynecologic conditions was more challenging, with AUC of 84.1%. ctDNA-dedicated classifier discriminated primary tumor tissue samples with AUC of 96% and ctDNA blood samples with AUC of 69.8%. Conclusions: Liquid biopsies show potential in EC diagnosis. Both TEPs and ctDNA profiles coupled with artificial intelligence constitute a source of useful information. Further work involving more cases is warranted.publishedVersio

Zinc oxide for electronic, photovoltaic and optoelectronic applications

We demonstrate that the atomic layer deposition (ALD) technique has large potential to be widely used in a production of ZnO films for applications in electronic, photovoltaic (PV) and optoelectronic devices. Low growth temperature makes the ALD-grown ZnO films suitable for construction of various semiconductor/organic material hybrid structures. This opens possibilities of construction of novel devices based on very cheap organic materials. This includes organic light emitting diodes and PV cells of the third generation, as discussed in the present work

Aristotle’s assertoric syllogistic and modern relevance logic

This paper sets out to evaluate the claim that Aristotle’s Assertoric Syllogistic is a relevance logic or shows significant similarities with it. I prepare the grounds for a meaningful comparison by extracting the notion of relevance employed in the most influential work on modern relevance logic, Anderson and Belnap’s Entailment. This notion is characterized by two conditions imposed on the concept of validity: first, that some meaning content is shared between the premises and the conclusion, and second, that the premises of a proof are actually used to derive the conclusion. Turning to Aristotle’s Prior Analytics, I argue that there is evidence that Aristotle’s Assertoric Syllogistic satisfies both conditions. Moreover, Aristotle at one point explicitly addresses the potential harmfulness of syllogisms with unused premises. Here, I argue that Aristotle’s analysis allows for a rejection of such syllogisms on formal grounds established in the foregoing parts of the Prior Analytics. In a final section I consider the view that Aristotle distinguished between validity on the one hand and syllogistic validity on the other. Following this line of reasoning, Aristotle’s logic might not be a relevance logic, since relevance is part of syllogistic validity and not, as modern relevance logic demands, of general validity. I argue that the reasons to reject this view are more compelling than the reasons to accept it and that we can, cautiously, uphold the result that Aristotle’s logic is a relevance logic

PSD-95 in CA1 area regulates spatial choice depending on age

Cognitive processes that require spatial information rely on synaptic plasticity in the dorsal CA1 area (dCA1) of the hippocampus. Since the function of the hippocampus is impaired in aged individuals, it remains unknown how aged animals make spatial choices. Here, we used IntelliCage to study behavioural processes that support spatial choices of aged female mice living in a group. As a proxy of training-induced synaptic plasticity, we analysed the morphology of dendritic spines and expression of a synaptic scaffold protein, PSD-95. We observed that spatial choice training in young adult mice induced correlated shrinkage of dendritic spines and downregulation of PSD-95 in dCA1. Moreover, long-term depletion of PSD-95 by shRNA in dCA1 limited correct choices to a reward corner, while reward preference was intact. In contrast, old mice used behavioural strategies characterised by an increased tendency for perseverative visits and social interactions. This strategy resulted in a robust preference for the reward corner during the spatial choice task. Moreover, training decreased the correlation between PSD-95 expression and the size of dendritic spines. Furthermore, PSD-95 depletion did not impair place choice or reward preference in old mice. Thus, our data indicate that while young mice require PSD-95-dependent synaptic plasticity in dCA1 to make correct spatial choices, old animals observe cage-mates and stick to a preferred corner to seek the reward. This strategy is resistant to the depletion of PSD-95 in the CA1 area. Overall, our study demonstrates that aged mice combine alternative behavioral and molecular strategies to approach and consume rewards in a complex environment

aristotle's demonstrative logic

Demonstrative logic, the study of demonstration as opposed to persuasion, is the subject of Aristotle's two-volume Analytics. Many examples are geometrical. Demonstration produces knowledge (of the truth of propositions). Persuasion merely produces opinion. Aristotle presented a general truth-and-consequence conception of demonstration meant to apply to all demonstrations. According to him, a demonstration, which normally proves a conclusion not previously known to be true, is an extended argumentation beginning with premises known to be truths and containing a chain of reasoning showing by deductively evident steps that its conclusion is a consequence of its premises. In particular, a demonstration is a deduction whose premises are known to be true. Aristotle's general theory of demonstration required a prior general theory of deduction presented in the Prior Analytics. His general immediate-deduction-chaining conception of deduction was meant to apply to all deductions. According to him, any deduction that is not immediately evident is an extended argumentation that involves a chaining of intermediate immediately evident steps that shows its final conclusion to follow logically from its premises. To illustrate his general theory of deduction, he presented an ingeniously simple and mathematically precise special case traditionally known as the categorical syllogisti

A method for finding new sets of axioms for classes of semigroups

We introduce a general technique for finding sets of axioms for a given class of semigroups. To illustrate the technique, we provide new sets of defining axioms for groups of exponent n, bands, and semilattices

Antimicrobial lubricant formulations containing poly(hydroxybenzene)-trimethoprim conjugates synthesized by tyrosinase

Poly(hydroxybenzene)-trimethoprim conjugates were prepared using methylparaben as substrate of the oxida- tive enzyme tyrosinase. MALDI-TOF MS analysis showed that the enzymatic oxidation of methylparaben alone leads to the poly(hydroxybenzene) formation. In the presence of tri- methoprim, the methylparaben tyrosinase oxidation leads poly(hydroxybenzene)-trimethoprim conjugates. All of these compounds were incorporated into lubricant hydroxyethyl cellulose/glycerol mixtures. Poly(hydroxybenzene)-trimetho- prim conjugates were the most effective phenolic structures against the bacterial growth reducing by 96 and 97 % of Escherichia coli and Staphylococcus epidermidis suspen- sions, respectively (after 24 h). A novel enzymatic strategy to produce antimicrobial poly(hydroxybenzene)-antibiotic conjugates is proposed here for a wide range of applications on the biomedical field.The authors Idalina Gonçalves and Cláudia Botelho would like to acknowledge the NOVO project (FP7-HEALTH- 2011.2.3.1- 5) for funding. Loïc Hilliou acknowledges the financial support by FCT – Foundation for Science and Technology, Portugal (501100001871), through Grant PEst-C/CTM/LA0025/2013 - Strategic Project - LA 25 - 2013–2014, and by Programa Operacional Regional do Norte (ON.2) through the project BMatepro – Optimizing Materials and Processes^, with reference NORTE-07-0124-FEDER-000037 FEDER COMPETE