Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Logic of Approximate Entailment in quasimetric spaces   The logic LAE discussed in this paper is based on an approximate entailment
relation. LAE generalises classical propositional logic to the effect that
conclusions can be drawn with a quantified imprecision. To this end, properties
are modelled by subsets of a distance space and statements are of the form that
one property implies another property within a certain limit of tolerance. We
adopt the conceptual framework defined by E. Ruspini; our work is towards a
contribution to the investigation of suitable logical calculi.
  LAE is based on the assumption that the distance function is a quasimetric.
We provide a proof calculus for LAE and we show its soundness and completeness
for finite theories. As our main tool for showing completeness, we use a
representation of proofs by means of weighted directed graphs.

15
The categories of this paper are: nucl-ex
18
The categories of this paper are: econ
11
The categories of this paper are: hep-lat
37
The categories of this paper are: supr-con
12
The categories of this paper are: nucl-th
10
The categories of this paper are: q-bio
3
The categories of this paper are: physics
0
The categories of this paper are: hep-ph
36
The categories of this paper are: cmp-lg
16
The categories of this paper are: stat
20
The categories of this paper are: acc-phys
23
The categories of this paper are: solv-int
31
The categories of this paper are: ao-sci
8
The categories of this paper are: hep-ex
29
The categories of this paper are: funct-an
25
The categories of this paper are: patt-sol