maonuPédrot/Kerjean point out that dialectica places chain rule where dialectica translation of modus ponens (aka beta reduction) needs counterwitnesses.
Seems interesting “machine learning reasoning” people haven’t caught up?
GNU social JP is a social network, courtesy of GNU social JP管理人. It runs on GNU social, version 2.0.2-dev, available under the GNU Affero General Public License.
All GNU social JP content and data are available under the Creative Commons Attribution 3.0 license.