Dependence logic
Dependence logic is a logical formalism, created by Jouko Väänänen, which adds dependence atoms to the language of first-order logic. A dependence atom is an expression of the form = ( t 1 … t n ) {\displaystyle =\! \!
Dependence logic is a logical formalism, created by Jouko Väänänen, which adds dependence atoms to the language of first-order logic. A dependence atom is an expression of the form = ( t 1 … t n ) {\displaystyle =\! \!
Dependence logic is a logical formalism, created by Jouko Väänänen, which adds dependence atoms to the language of first-order logic. A dependence atom is an expression of the form = ( t 1 … t n ) {\displaystyle =\! \!
Source: Wikipedia "Dependence logic" · CC BY-SA 4.0
Share this article: X · Bluesky