49 search results - page 4 / 10 » Introduction to Categories and Categorical Logic |
ICNC
2005
Springer
14 years 2 months ago
2005
Springer
In completeness theories of multiple-valued logic, the characterization of Sheffer functions is an important problem，and the solution can be reduced to determining the minimal co...
ACS
2005
13 years 8 months ago
2005
There are several kinds of linear typed calculus in the literature, some with their associated notion of categorical model. Our aim in this paper is to systematise the relationshi...
GFKL
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Hypertext categorization is the task of automatically assigning category labels to hypertext units. Comparable to text categorization it stays in the area of function lea...
BIRTHDAY
2006
Springer
14 years 9 days ago
2006
Springer
Birkhoff (quasi-)variety categorical axiomatizability results have fascinated many scientists by their elegance, simplicity and generality. The key factor leading to their generali...
AGP
1993
IEEE
14 years 20 days ago
1993
IEEE
In this paper, we present an account of classical Logic Programming fixed-point semantics in terms of two standard categorical constructions in which the least Herbrand model is ...