We show that, in the nite propositional case, traditional circumscrip-tions can be fully described only from the formulas which can never come as a result of the given circumscription (the \inaccessible formulas"). Some work has already been done on the subject. Siegel and Forget have introduced the general notion of X-logic, and they have considered the case of nite proposi-tional circumscript...

The ecological environment in the karst region of southwest China is fragile, and vegetation degradation considered main cause this phenomenon. Vegetation growth affected by preferential flow due to a large number fissures macropores soil. Therefore, paths local typical need be studied. distribution developmental characteristics three stands were obtained conducting field staining tracer experi...

We conducted a sequential tracer leaching study on a 24.4 by 42.7 m field plot to investigate the temporal behavior of chemical movement to a 1.2-m deep field drain during irrigation and subsequent rainfall events over a 14-d period. The herbicides atrazine [6-chloroN-ethyl-N′-(1-methylethyl)-1,3,5-triazine-2,4-diamine], and alachlor [2-chloro-N-(2,6-diethylphenyl)-N-(methoxymethyl)acetamide] a...

This paper studies the properties of eight semantic consequence relations defined from a Tarski-logic L and a preference relation ≺. They are equivalent to Shoham’s so-called preferential entailment for smooth model structures, but avoid certain problems of the latter in non-smooth configurations. Each of the logics can be characterized in terms of what we call multi-selection semantics. After ...

Modeling water flow in a VFCW is a prerequisite to model wastewater treatment using process based filtering models. As for soils, when the vertical structure varies in different material types, it has a significant impact on water flow passing through it. The heterogeneous filtering material is composed of a mix of mineral porous material, and organic matter which makes its hydraulic characteri...