Modal logic as metalogic

The goal of this paper is to show how modal logic may be conceived as recording the derived rules of a logical system in the system itself. This conception of modal logic was propounded by Dana Scott in the early seventies. Here, similar ideas are pursued in a context less classical than Scott's.First a family of propositional logical systems is considered, which is obtained by gradually adding structural rules to a variant of the nonassociative Lambek calculus. In this family one finds systems that correspond to the associative Lambek calculus, linear logic, relevant logics, BCK logic and intuitionistic logic. Above these basic systems, sequent systems parallel to the basic systems are constructed, which formalize various notions of derived rules for the basic systems. The deduction theorem is provable for the basic systems if, and only if, they are at least as strong as systems corresponding to linear logic, or BCK logic, depending on the language, and their deductive metalogic is not stronger than they are.However, though we do not always have the deduction theorem, we may always obtain a modal analogue of the deduction theorem for conservative modal extensions of the basic systems. Modal postulates which are necessary and sufficient for that are postulates of S4 plus modal postulates which mimic structural rules. For example, the modal postulates which Girard has recently considered in linear logic are necessary and sufficient for the modal analogue of the deduction theorem.All this may lead towards results about functional completeness in categories. When functional completeness, which is analogous to the deduction theorem, fails, we may perhaps envisage a modal analogue of functional completeness in a modal category, of which our original category is a full subcategory.     

Virtual Mechatronic/Robotic laboratory – A step further in distance learning

The implementation of the distance learning and e-learning in technical disciplines (like Mechanical and Electrical Engineering) is still far behind the grown practice in narrative disciplines (like Economy, management, etc.). This comes out from the fact that education in technical disciplines inevitably involves laboratory exercises and this fact drastically increases the complexity of a potential e-learning system. New approach and new specific knowledge are needed to develop such a system. We expect to meet the requirements of distance learning by developing the software-based laboratory exercises, i.e., a virtual laboratory. To fully substitute a physical system like laboratory equipment, one must emulate its full dynamics. The mathematical model in the form of differential equations will be applied to calculate dynamics and provide the data that would otherwise be measured on a physical system – this means simulation.     

High performance polymer chemical hydrogel-based electrode binder materials for direct borohydride fuel cells

Novel, cost-effective, high-performance, and environment-friendly electrode binders, comprising polyvinyl alcohol chemical hydrogel (PCH) and chitosan chemical hydrogel (CCH), are reported for direct borohydride fuel cells (DBFCs). PCH and CCH binders-based electrodes have been fabricated using a novel, simple, cost-effective, time-effective, and environmentally benign technique. Morphologies and electrochemical performance in DBFCs of the chemical hydrogel binder-based electrodes have been compared with those of Nafion^® binder-based electrodes. Relationships between the performance of binders in DBFCs with structural features of the polymers and the polymer-based chemical hydrogels are discussed. The CCH binder exhibited better performance than a Nafion^® binder whereas the PCH binder exhibited comparable performance to Nafion^® in DBFCs operating at elevated cell temperatures. The better performance of CCH binder at higher operating cell temperatures has been ascribed to the hydrophilic nature and water retention characteristics of chitosan. DBFCs employing CCH binder-based electrodes and a Nafion^®-117 membrane as an electrolyte exhibited a maximum peak power density of about 589 mW cm⁻² at 70 °C.     

Post Audit Analysis of a Groundwater Level Prediction Model in Developed Semiconfined Aquifer System

This paper assesses groundwater recharge under conditions of long-term groundwater pumping at the Ravnik pumping site in Croatia and analyses the groundwater level prediction model used in prior aquifer modelling. The results of model calibration revealed a very low net infiltration rate at the start of the pumping site’s operation. As the operation continued, the net infiltration rate slowly increased, while the percentage of infiltrated rainfall scaled up with increasing pumping rates. The predicted recharge of the covering aquitard amounts approximately 14–15 % of the mean annual precipitation. The aquifer recharge takes place from aquitard by seepage. A subsequent simulation of the pumping site’s operation was performed for the 9 years period on the assumption that the pumping rates and the groundwater recharge would be the same as those recorded during the final calibration years. Results show that the post audit measured levels correspond relatively well to the predicted levels and that increasing of the pumping rate causes changes in the water budget in advantage of net groundwater recharge as a consequence of spreading recharge area outside of previous model boundaries.     

Green biomass active electronic diode

For the first time, a biomass electronic junction functioning as a conventional electronic diode inside green leaves of Vinka-rosa and Plumeria rubra mass structure has been experimentally predicted and studied. The experimental diode demonstrated appropriate conventional electronic diode characteristics. The predicted diode junctions were operated for forward and reverse dc voltage biases in the range of ±1 to 10 and 1 to 30?V respectively. The studies revealed a strong functional dependence on the water content of the green leaf. These studies are sequential to the very recently reported research work of Kosta et al. on bioelectronics and soilelectronics. The study speculatively forecasts the beginning of a new revolutionary era of green biomass electronic circuitry.     

On the vanadium and tin contents of diet and human blood

The vanadium and tin contents of total diet samples collected in five Italian towns are given, and discussed in relation to literature data, their status as essential elements and their levels in human blood. Tin in blood was found to be below 2 ng ml-1 in a group of 14 subjects, and barely detectable even after oral consumption of 60 mg of tin.     

Green biomass bistable transistor multivibrator

For the first time a biomass bistable transistor multivibrator using an NPN Philips transistor as the active device and freshly plucked green Champo (Plumaria rubra) leaf cuttings as electrical components (resistance R and capacitance C) has been realized. The frequency and other parameters of the generated pulses, along with the circuit configuration, are presented. The development envisages a novel march towards a green revolution in electronic circuitry.     

Energy-saving estimation model for hypermarket HVAC systems applications

Energy saving estimation model (ESEM) use normal distribution (Gaussian) probability theory to predict potential savings for previously determined system improvements. Those improvements are low/high cost investments based on data gathered during one year monitoring of typical hypermarket facility HVAC system. The consumption of electrical energy and natural gas has been monitored and system segments with largest amount of energy consumption have been marked. Gathered data pointed out to fan units as the biggest energy consumers and suggested that system energy-saving improvement must be focused on fans energy consumption control. This paper deals with ESEM inputs and outputs in order to provide correct financial estimation of specific investment.     

Trace element concentrations in higher fungi

The concentrations of ten trace elements, As. Br, Cd, Cu, Hg I, Mn, Se, Zn and V, have been determined in up to 27 species of higher fungi from several sites in Slovenia, Yugoslavia. Analyses were based on destructive neutron activation techniques. Data are presented and compared with the concentrations found in soils. Previously values were non-existent or scanty for these elements, so that the data represent typical levels for basidiomycetes. In addition to confirming high levels of mercury in many species, the survey also found that cadmium is accumulated to a surprising extent by most fungi, the average value being 5 ppm. Among other accumulations found was bromine by the genus Amanita, and selenium by the edible Boletus. Correlation analysis between all pairs of trace elements gave values for r of from 0.75 to 0.43 for 7 pairs (Cu and Hg, 0.75; Se and As, 0.69). As well as these features of biochemical interest, the values found and the pattern of accumulation suggest potential uses of fungi in environmental studies.