Login / Signup
Implications-as-Rules vs. Implications-as-Links: An Alternative Implication-Left Schema for the Sequent Calculus.
Peter Schroeder-Heister
Published in:
J. Philos. Log. (2011)
Keyphrases
</>
sequent calculus
cut elimination
inference rules
sufficient conditions
bayesian networks
association rules
modal logic