414 search results - page 36 / 83 » Resolution for Intuitionistic Logic |
LPAR
2004
Springer
14 years 1 months ago
2004
Springer
JAR
2011
13 years 2 months ago
2011
CADE
2006
Springer
14 years 8 months ago
2006
Springer
We present a proof procedure that is complete for first-order logic, but which can also be used when searching for finite models. The procedure uses a normal form which is based on...
ZUM
2000
Springer
13 years 11 months ago
2000
Springer
We present a computation model for Z, which is based on a reduction to a small calculus, called Z, and on concurrent constraint resolution techniques applied for computing in thi...
TIME
1994
IEEE
13 years 11 months ago
1994
IEEE
We describe in this article an abductive procedure based on a constrained resolution principle. The choice of constrained resolution is motivated by the whish to gain full advanta...