From Primal Infon Logic with Individual Variables to Datalog Nikolaj Bjørner1 , Guido de Caso2 , and Yuri Gurevich1 1 2

First Page		Document Content
Date: 2012-03-26 16:39:48 Symbol Admissible rule Entailment Constructible universe Logic Deduction Propositional calculus		From Primal Infon Logic with Individual Variables to Datalog Nikolaj Bjørner1 , Guido de Caso2 , and Yuri Gurevich1 1 2 Add to Reading List Source URL: research.microsoft.com Download Document from Source Website File Size: 330,82 KB Share Document on Facebook