Sciweavers

Share
LOGCOM
2007

Anytime Approximations of Classical Logic from Above

9 years 11 months ago
Anytime Approximations of Classical Logic from Above
In this paper we present s1, a family of logics that is useful to disprove propositional formulas by means of an anytime approximation process. The systems follows the paradigm of a parameterised family of logics established
Marcelo Finger, Renata Wassermann
Added 16 Dec 2010
Updated 16 Dec 2010
Type Journal
Year 2007
Where LOGCOM
Authors Marcelo Finger, Renata Wassermann
Comments (0)
books