Translations between linear and Tree Natural Deduction Systems for Relevant Logics.

Shawn Standefer

Published in: Rev. Symb. Log. (2021)

Keyphrases

natural deduction
management system
linear systems
distributed systems
expressive power
complex systems
modal logic
machine learning
knowledge base
supervised learning
computer systems
theorem prover