Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A logical framework with a graph meta-language   We conjecture that the relative unpopularity of logical frameworks among
practitioners is partly due to their complex meta-languages, which often demand
both programming skills and theoretical knowledge of the meta-language in
question for them to be fruitfully used. We present ongoing work on a logical
framework with a meta-language based on graphs. A simpler meta-language leads
to a shallower embedding of the object language, but hopefully leads to easier
implementation and usage. A graph-based logical framework also opens up
interesting possibilities in time and space performance by using heavily
optimized graph databases as backends and by proof compression algorithms
geared towards graphs. Deductive systems can be specified using simple
domain-specific languages built on top of the graph database's query language.
There is support for interactive (through a web-based interface) and
semiautomatic (following user-defined tactics specified by a domain-specific
language) proof modes. We have so far implemented nine systems for
propositional logic, including Fitch-style and backward-directed Natural
Deduction systems for intuitionistic and classical logic (with the classical
systems reusing the rules of the intuitionistic ones), and a Hilbert-style
system for the K modal logic.

36
The categories of this paper are: cmp-lg
10
The categories of this paper are: q-bio
32
The categories of this paper are: atom-ph
13
The categories of this paper are: quant-ph
0
The categories of this paper are: hep-ph
21
The categories of this paper are: adap-org
19
The categories of this paper are: eess
30
The categories of this paper are: q-alg
24
The categories of this paper are: dg-ga
23
The categories of this paper are: solv-int
27
The categories of this paper are: comp-gas
28
The categories of this paper are: alg-geom
7
The categories of this paper are: hep-th
2
The categories of this paper are: math
34
The categories of this paper are: chem-ph
37
The categories of this paper are: supr-con