We give a procedure to obtain falsity conditions for IF-sentences, using Skolemization.
The expressive power of an IF-sentence can then be strongly captured by a pair of ??11 -sentences. A result from [Burgess 2003] shows that, conversely, any pair of incompatible ??11 -sentences corresponds with an IF-sentence. In the second part, we reflect on the influence of the order of the steps (inside-out versus outside-in) in the Skolemization procedures for IF-logic. We also reflect on the nature of game theoretical negation.
abstract = "We give a procedure to obtain falsity conditions for IF-sentences, using Skolemization. The expressive power of an IF-sentence can then be strongly captured by a pair of ??11 -sentences. A result from [Burgess 2003] shows that, conversely, any pair of incompatible ??11 -sentences corresponds with an IF-sentence. In the second part, we reflect on the influence of the order of the steps (inside-out versus outside-in) in the Skolemization procedures for IF-logic. We also reflect on the nature of game theoretical negation.",
author = "F. Dechesne",
year = "2005",
language = "English",
volume = "9",
pages = "305--322",
journal = "Philosophia Scientiae",
issn = "1281-2463",
publisher = "Numdam (Numerisation de Documents Anciens Mathematiques)",
N2 - We give a procedure to obtain falsity conditions for IF-sentences, using Skolemization.
The expressive power of an IF-sentence can then be strongly captured by a pair of ??11 -sentences. A result from [Burgess 2003] shows that, conversely, any pair of incompatible ??11 -sentences corresponds with an IF-sentence. In the second part, we reflect on the influence of the order of the steps (inside-out versus outside-in) in the Skolemization procedures for IF-logic. We also reflect on the nature of game theoretical negation.
AB - We give a procedure to obtain falsity conditions for IF-sentences, using Skolemization.
The expressive power of an IF-sentence can then be strongly captured by a pair of ??11 -sentences. A result from [Burgess 2003] shows that, conversely, any pair of incompatible ??11 -sentences corresponds with an IF-sentence. In the second part, we reflect on the influence of the order of the steps (inside-out versus outside-in) in the Skolemization procedures for IF-logic. We also reflect on the nature of game theoretical negation.