446 search results - page 14 / 90 » Automating Theories in Intuitionistic Logic |
119
click to vote
LANMR
2004
15 years 1 months ago
2004
We recently proposed a definition of a language for nonmonotonic reasoning based on intuitionistic logic. Our main idea is a generalization of the notion of answer sets for arbitr...
116
Voted
LICS
2010
IEEE
14 years 10 months ago
2010
IEEE
One of the major interests of finite model theory is to separate the expressive power of different logics or fragments of logics. In this paper, we define a variant of EhrenfeuchtF...
117
click to vote
CADE
2000
Springer
15 years 4 months ago
2000
Springer
We provide techniques to integrate resolution logic with equality in type theory. The results may be rendered as follows. − A clausification procedure in type theory, equipped w...
AISC
2008
Springer
15 years 1 months ago
2008
Springer
67
Voted
ETAI
2000
15 years 7 days ago
2000
