3994 search results - page 110 / 799 » A Linear Logical Framework |
93
Voted
IEEEMSP
2002
IEEE
15 years 5 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...
ENTCS
2007
15 years 17 days 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...
WILF
2005
Springer
15 years 6 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...
70
Voted
ISSAC
1990
Springer
15 years 4 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 ...
114
click to vote
ISMVL
1991
IEEE
15 years 4 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...