English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

We conjecture that the relative unpopularity of logical frameworks amongpractitioners is partly due to their complex meta-languages, which often demandboth programming skills and theoretical knowledge of the meta-language inquestion for them to be fruitfully used. We present ongoing work on a logicalframework with a meta-language based on graphs. A simpler meta-language leadsto a shallower embedding of the object language, but hopefully leads to easierimplementation and usage. A graph-based logical framework also opens upinteresting possibilities in time and space performance by using heavilyoptimized graph databases as backends and by proof compression algorithmsgeared towards graphs. Deductive systems can be specified using simpledomain-specific languages built on top of the graph database's query language.There is support for interactive (through a web-based interface) andsemiautomatic (following user-defined tactics specified by a domain-specificlanguage) proof modes. We have so far implemented nine systems forpropositional logic, including Fitch-style and backward-directed NaturalDeduction systems for intuitionistic and classical logic (with the classicalsystems reusing the rules of the intuitionistic ones), and a Hilbert-stylesystem for the K modal logic.

A logical framework with a graph meta-language