414 search results - page 22 / 83 » Resolution for Intuitionistic Logic |
CADE
2000
Springer
13 years 12 months ago
2000
Springer
CADE
2001
Springer
13 years 11 months ago
2001
Springer
EUSFLAT
2009
13 years 5 months ago
2009
CADE
2008
Springer
13 years 9 months ago
2008
Springer
It is well known how to use an intuitionistic meta-logic to specify natural deduction systems. It is also possible to use linear logic as a meta-logic for the specification of a va...
CADE
2001
Springer
14 years 8 months ago
2001
Springer
Abstract. JProver is a first-order intuitionistic theorem prover that creates sequent-style proof objects and can serve as a proof engine in interactive proof assistants with expre...