Sharif Digital Repository

IF Logic is an extension of First-Order logic, including syntactic connective ’/’ (independence indicator) which carries the concept of ’independent from’ in language and metalanguage.This logic which has introduced by Hintikka and Sandu in 1989, uses Game-theoretical semantics (GTS) such that every formula is defined as a game and the players are verifier and falsifier of its truth. The formula is True if the verifier has a winning-strategy and it is False where the falsifier has a winning-strategy; and evaluated as indeterminate otherwise. this relates a central concept of logic (truth) to a central concept of game theory(winningstrategy)  

Many of gas condensate reservoirs, including rich gas and lean gas, face with fast well productivity decline. The origin of this problem is condense accumulation around the well bore which known as condensate blockage. There are different condensate blockage mitigation methods, one of which is acid fracturing that is suitable for tight carbonate reservoirs with low KH. Acid fracturing simulation is high difficult and have not been undertaken a study that can adopt with experimental and field test results, so researchers usually use practical method and many developed software in this area use correlation form laboratory data. However, the literature show that experimental results can just...