The removal of sodium (Na) from seawater using two photosynthetic bacteria was investigated using Rhodobacter sphaeroides SSI (SSI) and Rhodovulum sp. which is a marine photosynthetic bacterium. Both Rhodovulum sp. and acclimated SSI were shown to grow well in a 3% NaCl supplemented glutamate-malate medium. The maximum rate of Na removal was 39.3% by SSI and 64.9% by Rhodovulum sp. after two days cultivation under static light conditions. However, Na was re-released back into the medium after two to three days. When a nutrient-supplemented seawater medium (3.3% NaCl, 13.10 gNa/l) was used, the maximum Na removal rates were 30.3% (9.05 gNa/l) by SSI and 48.9% (6.69 gNa/l) by Rhodovulum sp., under static light conditions. Similar growth and Na removal rates were found under aerobic dark cultivation. In this case, no re-release of Na was observed with either bacterium. Two stages culturing was conducted first, with Rhodovulum sp. and then with SSI replacement. The Na concentration was reduced to 0.79 gNa/l (94.0% removal) after cultivation for eight days under aerobic dark conditions. The supernatant was applied successfully as a liquid fertilizer in the cultivation of Japanese radish.

No abstract

Although it receives less attention, (Lewis in Noûs 13:455–476, 1979. https://doi.org/10.2307/2215339) admitted that the branching-time(-like) model fits a wide range of counterfactuals, including (Nix) ‘If Nixon had pressed the button, there would have been a nuclear war’, which was raised by (Fine in Mind 84:451–458, 1975). However, Lewis then claimed that similarity analysis is more general than temporality analysis. In this paper, we do not scrutinise his claim. Instead, we re-analyse (Nix) not only model-theoretically but also proof-theoretically from the ‘meaning-as-use’ and ‘inferentialist’ points of view. Then, we re-formalise (Nix) in a natural extension of hybrid tense logic, which we refer to as hybrid tense logic for temporal conditionals (HTL$$_{TC}$$ TC ). Consequently, we find that not only among counterfactuals, but also among indicatives, there is a wide range of conditionals whose formalisation in HTL$$_{TC}$$ TC is appropriate. We refer to these conditionals as temporal conditionals. This suggests a new logical generality that temporality analysis has but similarity analysis does not, from which emerges a new logical perspective on conditionals in general: temporal ones and others.

No abstract