Open AccessThe interplay of logical relations and their linguistic forms in proofs written in natural language
Author(s) -
Kerstin Hein
Publication year - 2019
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - mathematical proof , linguistics , computer science , natural language , natural (archaeology) , logical consequence , natural language processing , artificial intelligence , programming language , mathematics , philosophy , history , geometry , archaeology