Login / Signup
On Natural Deduction for Herbrand Constructive Logics III: The Strange Case of the Intuitionistic Logic of Constant Domains.
Federico Aschieri
Published in:
CL&C (2018)
Keyphrases
</>
intuitionistic logic
natural deduction
classical logic
inference rules
linear logic
logic programming
theorem prover
first order logic
sequent calculus
cut elimination
proof theoretic
logic programs
artificial intelligence
theorem proving
proof theory