Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

10

CADE
2008
Springer

favoriteEmaildiscussreport

137views Logical Reasoning» more CADE 2008»

Canonical Inference for Implicational Systems

13 years 6 months ago

Canonical Inference for Implicational Systems

Download www.cs.tau.ac.il

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. We investigate what canonicity means for implicational systems that are axiomatizations of Moore families

Maria Paola Bonacina, Nachum Dershowitz

Real-time Traffic

CADE 2008 | Canonical Systems | Implicational Systems | Logical Reasoning | Propositional Horn Theories |

claim paper

Related Content

» Completion Is an Instance of Abstract Canonical System Inference

» On Constructive Connectives and Systems

» Strict Canonical Constructive Systems

» The Informational Content of Canonical Disjoint NPPairs

» Evolutionary Generation of Implicative Fuzzy Rules for Design Knowledge Representation

» On the Logical Implication of Multivalued Dependencies with Null Values

» Focusing on Binding and Computation

» Internet routing resilience to failures analysis and implications

» Using Littles Law to estimate cycle time and cost

Post Info
More Details (n/a)

Added	12 Oct 2010
Updated	12 Oct 2010
Type	Conference
Year	2008
Where	CADE
Authors	Maria Paola Bonacina, Nachum Dershowitz

Comments (0)