Results 241 to 245 of about 45,065 (245)

A resolution theorem prover for intuitionistic logic

1996
We use the general scheme of building resolution calculi (also called the inverse method) originating from S.Maslov and G.Mints to design and implement a resolution theorem prover for intuitionistic logic. A number of search strategies are introduced and proved complete.
openaire   +2 more sources

An essay on resolution logics

Studia Logica, 1993
openaire   +2 more sources

HyLoRes: Direct Resolution for Hybrid Logics

Lecture Notes in Computer Science, 2001
Areces, C.E., Heguiabehere, J.M.
openaire   +4 more sources

Clausal logic and resolution

2009
openaire   +1 more source

Direct Resolution for Modal-like Logics

2002
Areces, C.E., Heguiabehere, J.M.
openaire   +3 more sources