Commit 72e3ebc8 authored by Navid Roux's avatar Navid Roux 💬
Browse files

fix dead links

parent b87b4fe3
Pipeline #2293 passed with stage
in 1 minute and 14 seconds
......@@ -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).
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment