Sciweavers

JANCL
2006

An efficient relational deductive system for propositional non-classical logics

13 years 3 months ago
An efficient relational deductive system for propositional non-classical logics
We describe a relational framework that uniformly supports formalization and automated reasoning in various propositional modal logics. The proof system we propose is a relational variant of the classical Rasiowa-Sikorski proof system. We introduce a compact graph-based representation of formulae and proofs supporting an efficient implementation of the basic inference engine, as well as of a number of refinements.
Andrea Formisano, Marianna Nicolosi Asmundo
Added 13 Dec 2010
Updated 13 Dec 2010
Type Journal
Year 2006
Where JANCL
Authors Andrea Formisano, Marianna Nicolosi Asmundo
Comments (0)