Login / Signup

-Decidable Deductive Procedure for Non-Horn Sequents of a Restricted FTL.

Regimantas Pliuskevicius
Published in: Computational Logic (2000)
Keyphrases
  • linear logic
  • propositional logic
  • sequent calculus
  • np hard
  • first order logic
  • knowledge representation
  • object oriented