From 72e3ebc8d0f5eb9abdaf6f1b617fbd406c76ca28 Mon Sep 17 00:00:00 2001 From: Navid Roux <navid.roux@fau.de> Date: Tue, 9 Jun 2020 14:40:42 +0200 Subject: [PATCH] fix dead links --- research/structural-semantics.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/research/structural-semantics.md b/research/structural-semantics.md index b2f3f66..7510aa5 100644 --- a/research/structural-semantics.md +++ b/research/structural-semantics.md @@ -4,10 +4,10 @@ title: Structural Semantics menu_order: 103 --- -Computer support for document interaction is only possible if some aspects of the meaning of the document content are made explicit - i.e. formalized and dealt with with [formal methods](formal-methods/). -In many cases, useful [mathematical services](kminteract/) can be rendered by machines without having an [entailment relation](formal-methos/), for instance we can search for a formula, we can determine the concepts it depends upon, etc. +Computer support for document interaction is only possible if some aspects of the meaning of the document content are made explicit - i.e. formalized and dealt with with [formal methods](../formal-methods/). +In many cases, useful [mathematical services](../kminteract/) can be rendered by machines without having an [entailment relation](../formal-methods/), for instance we can search for a formula, we can determine the concepts it depends upon, etc. The commonality of such services is that they are based on the structure of the formulae alone. For instance, instead of relying on a formal calculus to determine theorem-hood, we only insist that there be an object that has the structure of a proof. We speak of *structural semantics* as a lightweight form of meaning annotation. -So instead of formalizing mathematical knowledge to a level where an entailment relation can be induced, we can use structural descriptions instead, e.g. by annotating certain properties to mathematical documents turning them into [objects of flexible formality](https://mathhub.info/help/FlexiForms.html). +So instead of formalizing mathematical knowledge to a level where an entailment relation can be induced, we can use structural descriptions instead, e.g. by annotating certain properties to mathematical documents turning them into [objects of flexible formality](https://mathhub.info/help/FlexiForms.html). -- GitLab