Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Duality and universal models for the meet-implication fragment of IPC   In this paper we investigate the fragment of intuitionistic logic which only
uses conjunction (meet) and implication, using finite duality for distributive
lattices and universal models. We give a description of the finitely generated
universal models of this fragment and give a complete characterization of the
up-sets of Kripke models of intuitionistic logic which can be defined by
meet-implication-formulas. We use these results to derive a new version of
subframe formulas for intuitionistic logic and to show that the uniform
interpolants of meet-implication-formulas are not necessarily uniform
interpolants in the full intuitionistic logic.

1
The categories of this paper are: cs
32
The categories of this paper are: atom-ph
17
The categories of this paper are: q-fin
3
The categories of this paper are: physics
25
The categories of this paper are: patt-sol
21
The categories of this paper are: adap-org
37
The categories of this paper are: supr-con
6
The categories of this paper are: astro-ph
24
The categories of this paper are: dg-ga
30
The categories of this paper are: q-alg
36
The categories of this paper are: cmp-lg
33
The categories of this paper are: plasm-ph
16
The categories of this paper are: stat
27
The categories of this paper are: comp-gas
15
The categories of this paper are: nucl-ex
9
The categories of this paper are: nlin