Login / Signup
A note on natural deduction in many-valued logic.
Bruce White
Published in:
Notre Dame J. Formal Log. (1974)
Keyphrases
</>
natural deduction
inference rules
cut elimination
intuitionistic logic
theorem prover
modal logic
truth values
sequent calculus
theorem proving
linear time temporal logic
classical logic
logic programming
first order logic
linear logic
markov random field