Login / Signup

Cirquent Calculus System Cl8s versus Calculus of Structures System Sksg for Propositional Logic.

Wenyan XuSanyang Liu
Published in: QLSC (2012)
Keyphrases
  • propositional logic
  • proof procedure
  • first order logic
  • belief revision
  • theorem proving
  • lattice theory
  • quantified boolean formulae
  • possibilistic logic
  • artificial intelligence
  • knowledge base
  • predicate calculus