Reduction Rules for Intuitionistic λρ-calculus.

Ken-etsu Fujita Ryo Kashima Yuichi Komori Naosuke Matsuda

Published in: Stud Logica (2015)

Keyphrases

cut elimination
sequent calculus
linear logic
natural deduction
production rules
machine learning
association rule mining
rule sets
data mining
artificial intelligence
domain experts
theorem prover
rule learning
rule discovery
interval valued