3994 search results - page 110 / 799 » A Linear Logical Framework |
147
click to vote
IEEEMSP
2002
IEEE
15 years 10 months ago
2002
IEEE
–This paper is an experimental study on the performance of the two major methods for macro-level similarity measurement: linear weighted merging and logical retrieval. Performanc...
137
click to vote
ENTCS
2007
15 years 5 months ago
2007
We pursue the program of exposing the intrinsic mathematical structure of the “space of proofs” of a logical system [AJ94b]. We study the case of Multiplicative-Additive Linea...
130
click to vote
WILF
2005
Springer
15 years 11 months ago
2005
Springer
A prospective study of the use of ordered multi-lattices as underlying sets of truth-values for a generalised framework of logic programming is presented. Specifically, we investi...
107
click to vote
ISSAC
1990
Springer
15 years 9 months ago
1990
Springer
In the previous papers [7-101we defined and explored a formal methodological framework on the basis of which resolution proof systems for strongly-finite logics can be introduced ...
175
click to vote
ISMVL
1991
IEEE
15 years 9 months ago
1991
IEEE
We suggest a new representation of defeasible entailment and specificity in the framework of default logic. The representation is based on augmenting the underlying classical lan...