49 search results - page 1 / 10 » Introduction to Categories and Categorical Logic |
CORR
2011
Springer
13 years 5 months ago
2011
Springer
LICS
2012
IEEE
12 years 1 months ago
2012
IEEE
—Interactive theorem provers based on higher-order logic (HOL) traditionally follow the definitional approach, reducing high-level specifications to logical primitives. This al...
FLAIRS
2004
14 years 7 days ago
2004
ORDER
2010
13 years 9 months ago
2010
This paper investigates quantum logic from the perspective of categorical logic, and starts from minimal assumptions, namely the existence of involutions/daggers and kernels. The ...
IJIT
2004
14 years 7 days ago
2004
This paper presents a new approach for automatic document categorization. Exploiting the logical structure of the document, our approach assigns a HTML document to one or more cate...