414 search results - page 36 / 83 » Resolution for Intuitionistic Logic |
LPAR
2004
Springer
15 years 3 months ago
2004
Springer
JAR
2011
14 years 4 months ago
2011
CADE
2006
Springer
15 years 10 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
15 years 1 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
15 years 1 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...