Sign in
Expansion Nets: Proof-Nets for Propositional Classical Logic.
Richard McKinley
Published in:
LPAR (Yogyakarta) (2010)
Keyphrases
</>
classical logic
default logic
automated theorem proving
autoepistemic logic
logic programming
modal logic
propositional logic
intuitionistic logic
linear logic
valued logic
neural network
control system
first order logic
theorem proving
possibilistic logic