Hydrophobic deep eutectic solvents (DESs) have been designed as effective for precombustion CO2 capture by using a conductor-like screening model real (COSMO-RS). Reliable solubilities in various compounds and binary were estimated. We developed new DESs from 38 selected, nature-derived, hydrophobic, affinitive compounds. The possibilities of any two these substances to form assessed predicted ...

The Logic of Proofs (LP) [2–5] is a refinement of modal logic introduced by Artemov in 1995 which has recently been proposed for explaining well-known paradoxes arising in the formalization of Epistemic Logic. Assertions of knowledge and belief are accompanied by justifications: the formula [[t]]A states that proof witness t is “reason” for knowing/believing A. Also, LP is capable of reflecting...

The paper first sketches out a reply to the underdetermination challenge and the incommensurability challenge that rebuts the sceptical conclusions of these challenges and that is sufficient to lay the ground for the project of a metaphysics of nature. That metaphysics is as hypothetical as are our scientific theories. The paper then explains how can one can argue for certain views in the metap...