Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Independence-friendly_logic> ?p ?o. }
Showing items 1 to 35 of
35
with 100 items per page.
- Independence-friendly_logic abstract "Independence-friendly logic (IF logic), proposed by Jaakko Hintikka and Gabriel Sandu in 1989, aims at being a more natural and intuitive alternative to classical first-order logic (FOL). IF logic is characterized by branching quantifiers. It is more expressive than FOL because it allows one to express independence relations between quantified variables.For example, the formula ∀a ∀b ∃c/b ∃d/a φ(a,b,c,d) ("x/y" should be read as "x independent of y") cannot be expressed in FOL. This is because c depends only on a and d depends only on b. First-order logic cannot express these independences by any linear reordering of the quantifiers. In part, IF logic was motivated by game semantics for games with imperfect information.IF logic is translation equivalent with existential second-order logic and also with Väänänen's dependence logic and with first-order logic extended with Henkin quantifiers. Although it shares a number of metalogical properties with first-order logic, there are some differences, including lack of closure under negation and higher complexity for deciding the validity of formulas. Extended IF logic addresses the closure problem, but it sacrifices game semantics in the process, and it properly belongs to higher fragment of second-order logic ( ).Hintikka's proposal that IF logic and its extended version be used as foundations of mathematics has been met with skepticism by other mathematicians, including Väänänen and Solomon Feferman.".
- Independence-friendly_logic wikiPageExternalLink 1273.
- Independence-friendly_logic wikiPageExternalLink 10.1023%2FA%3A1016184410627.
- Independence-friendly_logic wikiPageExternalLink hintikka_iia.pdf.
- Independence-friendly_logic wikiPageExternalLink IFLogic.html.
- Independence-friendly_logic wikiPageExternalLink logic-games.
- Independence-friendly_logic wikiPageExternalLink logic-if.
- Independence-friendly_logic wikiPageExternalLink catalogue.asp?isbn=9780521876599.
- Independence-friendly_logic wikiPageExternalLink iflso.pdf.
- Independence-friendly_logic wikiPageExternalLink www.johnsymons.net.
- Independence-friendly_logic wikiPageExternalLink 0704-003.ps.
- Independence-friendly_logic wikiPageExternalLink 0803-004.ps.
- Independence-friendly_logic wikiPageID "1974007".
- Independence-friendly_logic wikiPageRevisionID "566098415".
- Independence-friendly_logic hasPhotoCollection Independence-friendly_logic.
- Independence-friendly_logic subject Category:Non-classical_logic.
- Independence-friendly_logic subject Category:Philosophical_logic.
- Independence-friendly_logic subject Category:Systems_of_formal_logic.
- Independence-friendly_logic type Ability105616246.
- Independence-friendly_logic type Abstraction100002137.
- Independence-friendly_logic type Cognition100023271.
- Independence-friendly_logic type Know-how105616786.
- Independence-friendly_logic type Logic105664069.
- Independence-friendly_logic type Method105660268.
- Independence-friendly_logic type PsychologicalFeature100023100.
- Independence-friendly_logic type System105661996.
- Independence-friendly_logic type SystemsOfFormalLogic.
- Independence-friendly_logic comment "Independence-friendly logic (IF logic), proposed by Jaakko Hintikka and Gabriel Sandu in 1989, aims at being a more natural and intuitive alternative to classical first-order logic (FOL). IF logic is characterized by branching quantifiers. It is more expressive than FOL because it allows one to express independence relations between quantified variables.For example, the formula ∀a ∀b ∃c/b ∃d/a φ(a,b,c,d) ("x/y" should be read as "x independent of y") cannot be expressed in FOL.".
- Independence-friendly_logic label "Independence-friendly logic".
- Independence-friendly_logic sameAs m.06b5fx.
- Independence-friendly_logic sameAs Q17101558.
- Independence-friendly_logic sameAs Q17101558.
- Independence-friendly_logic sameAs Independence-friendly_logic.
- Independence-friendly_logic wasDerivedFrom Independence-friendly_logic?oldid=566098415.
- Independence-friendly_logic isPrimaryTopicOf Independence-friendly_logic.