Login / Signup
Consequential implication. A correction to: "Decision procedures for logics of consequential implication".
Claudio Pizzi
Published in:
Notre Dame J. Formal Log. (1993)
Keyphrases
</>
decision procedures
modal logic
theorem proving
automated reasoning
functional dependencies
expressive power
conjunctive queries
satisfiability problem
query containment
quantified boolean formulas
artificial intelligence
expert systems
integrity constraints
temporal logic