63 search results - page 1 / 13 » Canonical Inference for Implicational Systems |
CADE
2008
Springer
13 years 6 months ago
2008
Springer
Completion is a general paradigm for applying inferences to generate a canonical presentation of a logical theory, or to semi-decide the validity of theorems, or to answer queries....
BIRTHDAY
2006
Springer
13 years 8 months ago
2006
Springer
CORR
2010
Springer
13 years 4 months ago
2010
Springer
Canonical inference rules and canonical systems are defined in the framework of non-strict single-conclusion sequent systems, in which the succeedents of sequents can be empty. Imp...
BIRTHDAY
2010
Springer
13 years 2 months ago
2010
Springer
We define the notions of a canonical inference rule and a canonical constructive system in the framework of strict single-conclusion Gentzen-type systems (or, equivalently, natural...
COCOON
2007
Springer
13 years 11 months ago
2007
Springer
We investigate the connection between propositional proof systems and their canonical pairs. It is known that simulations between proof systems translate to reductions between the...