ALPS: a logic for program synthesis (motivated by fuzzy logic)
Daniel E. Cooke, Владик Крейнович, Scott A. Starks · 2002
The article proposes a logic to enable one to work out how to find values of some final quantities from values of some initial quantities (if it be possible), when what is known is relationships involving the initial and final variables and also some auxiliary variables.